Received: from malur.postgresql.org ([217.196.149.56]) by arkaria.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1sQdGz-00AqCB-FH for pgsql-committers@arkaria.postgresql.org; Mon, 08 Jul 2024 01:34:33 +0000 Received: from localhost ([127.0.0.1] helo=malur.postgresql.org) by malur.postgresql.org with esmtp (Exim 4.94.2) (envelope-from ) id 1sQdGy-00HCWF-69 for pgsql-committers@arkaria.postgresql.org; Mon, 08 Jul 2024 01:34:32 +0000 Received: from makus.postgresql.org ([2001:4800:3e1:1::229]) by malur.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1sQdGx-00HCW7-Uj for pgsql-committers@lists.postgresql.org; Mon, 08 Jul 2024 01:34:31 +0000 Received: from mahout.postgresql.org ([2001:4800:3e1:1::227]) by makus.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1sQdGv-000vy5-BX for pgsql-committers@lists.postgresql.org; Mon, 08 Jul 2024 01:34:30 +0000 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=postgresql.org; s=20171124; h=Date:Message-Id:Subject:To:From:MIME-Version: Content-Type:Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID: Content-Description:In-Reply-To:References; bh=k34KIdVO4ZzsRltJrkyQbKsdvAh+u0Gi4PYBXpe/itc=; b=g16XO8PR5G90LehXfK4GY584rm Zp7iXLFEmgxkv5r0Tjdh73Pgeh1Jw+FdcTlsQE1FMuzEWPN53iHmWJvcfuLZMglwPiuBKa79o0gEd AvVi2vX5x4mI27tHh3rza9cfGREZMs4ENap4ja9ZGReO6XviCQZn9MXGknrOF8GcXhpTK4VRJxZnI BvVoM8n2HVoG0/4iSR3rNBaqTkT1N9vhuvKFhwiS4YKtpncumAgElQ1p1x68drlr4Y8IqTFa5j6Q0 COheP5y3UGxB2l1bSQFo7ZZUlqwXdcpBPgjSZ0/U4pie8bog3qsIiR7ojj3TDEmNSo7fcHPJw6Tpq AYpctNrA==; Received: from gemulon.postgresql.org ([2001:4800:3e1:1::198]) by mahout.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1sQdGu-002wCv-OX for pgsql-committers@lists.postgresql.org; Mon, 08 Jul 2024 01:34:28 +0000 Received: from localhost ([127.0.0.1] helo=gemulon.postgresql.org) by gemulon.postgresql.org with esmtp (Exim 4.94.2) (envelope-from ) id 1sQdGu-000mQU-BK for pgsql-committers@lists.postgresql.org; Mon, 08 Jul 2024 01:34:28 +0000 Content-Type: multipart/mixed; boundary="===============1301896078277214199==" MIME-Version: 1.0 From: Richard Guo To: pgsql-committers@lists.postgresql.org Subject: pgsql: Fix right-anti-joins when the inner relation is proven unique X-Auto-Response-Suppress: All Auto-Submitted: auto-generated Message-Id: Date: Mon, 08 Jul 2024 01:34:28 +0000 List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk --===============1301896078277214199== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Rml4IHJpZ2h0LWFudGktam9pbnMgd2hlbiB0aGUgaW5uZXIgcmVsYXRpb24gaXMgcHJvdmVuIHVu aXF1ZQoKRm9yIGFuIGlubmVyX3VuaXF1ZSBqb2luLCB3ZSBhbHdheXMgYXNzdW1lIHRoYXQgdGhl IGV4ZWN1dG9yIHdpbGwgc3RvcApzY2FubmluZyBmb3IgbWF0Y2hlcyBhZnRlciB0aGUgZmlyc3Qg bWF0Y2guICBUaGVyZWZvcmUsIGZvciBhIG1lcmdlam9pbgp0aGF0IGlzIGlubmVyX3VuaXF1ZSBh bmQgd2hvc2UgbWVyZ2VjbGF1c2VzIGFyZSBzdWZmaWNpZW50IHRvIGlkZW50aWZ5IGEKbWF0Y2gs IHdlIHNldCB0aGUgc2tpcF9tYXJrX3Jlc3RvcmUgZmxhZyB0byB0cnVlLCBpbmRpY2F0aW5nIHRo YXQgdGhlCmV4ZWN1dG9yIG5lZWQgbm90IGRvIG1hcmsvcmVzdG9yZSBjYWxscy4gIEhvd2V2ZXIs IG1lcmdlLXJpZ2h0LWFudGktam9pbgpkaWQgbm90IGdldCB0aGlzIG1lbW8gYW5kIGNvbnRpbnVl cyBzY2FubmluZyB0aGUgaW5uZXIgc2lkZSBmb3IgbWF0Y2hlcwphZnRlciB0aGUgZmlyc3QgbWF0 Y2guICBJZiB0aGVyZSBhcmUgZHVwbGljYXRlcyBpbiB0aGUgb3V0ZXIgc2Nhbiwgd2UKbWF5IGlu Y29ycmVjdGx5IHNraXAgbWF0Y2hpbmcgc29tZSBpbm5lciB0dXBsZXMsIHdoaWNoIGNhbiBsZWFk IHRvIHdyb25nCnJlc3VsdHMuCgpIZXJlIHdlIGZpeCB0aGlzIGlzc3VlIGJ5IGVuc3VyaW5nIHRo YXQgbWVyZ2UtcmlnaHQtYW50aS1qb2luIGFsc28KYWR2YW5jZXMgdG8gbmV4dCBvdXRlciB0dXBs ZSBhZnRlciB0aGUgZmlyc3QgbWF0Y2ggaW4gaW5uZXJfdW5pcXVlCmNhc2VzLiAgVGhpcyBhbHNv IHNhdmVzIGN5Y2xlcyBieSBhdm9pZGluZyB1bm5lY2Vzc2FyeSBzY2FubmluZyBvZiBpbm5lcgp0 dXBsZXMgYWZ0ZXIgdGhlIGZpcnN0IG1hdGNoLgoKQWx0aG91Z2ggaGFzaC1yaWdodC1hbnRpLWpv aW4gZG9lcyBub3Qgc3VmZmVyIGZyb20gdGhpcyB3cm9uZyByZXN1bHRzCmlzc3VlLCB3ZSBhcHBs eSB0aGUgc2FtZSBjaGFuZ2UgdG8gaXQgYXMgd2VsbCwgdG8gaGVscCBzYXZlIGN5Y2xlcyBmb3IK dGhlIHNhbWUgcmVhc29uLgoKUGVyIGJ1ZyAjMTg1MjIgZnJvbSBBbnR0aSBMYW1waW5lbiwgYW5k IGJ1ZyAjMTg1MjYgZnJvbSBGZWxpcGhlIFBvenplci4KQmFjay1wYXRjaCB0byB2MTYgd2hlcmUg cmlnaHQtYW50aS1qb2luIHdhcyBpbnRyb2R1Y2VkLgoKQXV0aG9yOiBSaWNoYXJkIEd1bwpEaXNj dXNzaW9uOiBodHRwczovL3Bvc3Rnci5lcy9tLzE4NTIyLWM3YTg5NTYxMjZhZmRmZDBAcG9zdGdy ZXNxbC5vcmcKCkJyYW5jaAotLS0tLS0KUkVMXzE3X1NUQUJMRQoKRGV0YWlscwotLS0tLS0tCmh0 dHBzOi8vZ2l0LnBvc3RncmVzcWwub3JnL3BnL2NvbW1pdGRpZmYvY2NjYWI4NWMyYmVhMjEzZmYw M2Y0N2E5MjYyZDBkNzgyNzViZDJhZgoKTW9kaWZpZWQgRmlsZXMKLS0tLS0tLS0tLS0tLS0Kc3Jj L2JhY2tlbmQvZXhlY3V0b3Ivbm9kZUhhc2hqb2luLmMgIHwgMjEgKysrKysrKy0tLS0tLS0Kc3Jj L2JhY2tlbmQvZXhlY3V0b3Ivbm9kZU1lcmdlam9pbi5jIHwgMjEgKysrKysrKy0tLS0tLS0Kc3Jj L3Rlc3QvcmVncmVzcy9leHBlY3RlZC9qb2luLm91dCAgIHwgNTQgKysrKysrKysrKysrKysrKysr KysrKysrKysrKysrKysrKysrCnNyYy90ZXN0L3JlZ3Jlc3Mvc3FsL2pvaW4uc3FsICAgICAgICB8 IDI0ICsrKysrKysrKysrKysrKysKNCBmaWxlcyBjaGFuZ2VkLCAxMDAgaW5zZXJ0aW9ucygrKSwg MjAgZGVsZXRpb25zKC0pCgo= --===============1301896078277214199==--