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 1sQdHs-00AqHl-Dc for pgsql-committers@arkaria.postgresql.org; Mon, 08 Jul 2024 01:35:28 +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 1sQdHq-00HDFY-Vf for pgsql-committers@arkaria.postgresql.org; Mon, 08 Jul 2024 01:35:26 +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 1sQdHq-00HDFQ-Nn for pgsql-committers@lists.postgresql.org; Mon, 08 Jul 2024 01:35:26 +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 1sQdHo-000vzH-3F for pgsql-committers@lists.postgresql.org; Mon, 08 Jul 2024 01:35:25 +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=3y/MCpW7R+HAxoYjRLlPz1w1Km+HoVWhPo2W8X/dQRE=; b=2SCl6jMfi+4R5Nxy4XeNWXBmTY bE99Jhn6gYBH9IQNE5P4lGPA6/ATx6AMW+cM4uIqvxD3vEQHVdhu18BEAwuN450BI5b4jWve0gnoR oHekk7L5H9s3OjygIoZfMq5QgBTFDJo5Ts4e/rElLkTAMKv1zfs+gesWIuFRFfeTZfJFIXhpChPBu dr8kjwXGZmED1SyxuCy4X++FOCxN4q3lm1eDnNhTJSwn7I29SeFI9P2w9g8csrF7MQyvfP/XYdnoe pRit/cJ7ABflzSnrigTYLBfPoCBMP8i2iwK5Sorv3n2V4fQZ9RpiIC4PXfEU0m3Oz7XlRckYtYYUj vIG6sMZA==; 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 1sQdHn-002wF7-JJ for pgsql-committers@lists.postgresql.org; Mon, 08 Jul 2024 01:35:23 +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 1sQdHn-000mR7-6t for pgsql-committers@lists.postgresql.org; Mon, 08 Jul 2024 01:35:23 +0000 Content-Type: multipart/mixed; boundary="===============5305327847932028358==" 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:35:23 +0000 List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk --===============5305327847932028358== 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 ZXNxbC5vcmcKCkJyYW5jaAotLS0tLS0KbWFzdGVyCgpEZXRhaWxzCi0tLS0tLS0KaHR0cHM6Ly9n aXQucG9zdGdyZXNxbC5vcmcvcGcvY29tbWl0ZGlmZi8wZmZjMGFjYWYzYmYzMDFiYThmZDQzZGMw ZTAwNGI4YjdjOWVjZDNhCgpNb2RpZmllZCBGaWxlcwotLS0tLS0tLS0tLS0tLQpzcmMvYmFja2Vu ZC9leGVjdXRvci9ub2RlSGFzaGpvaW4uYyAgfCAyMSArKysrKysrLS0tLS0tLQpzcmMvYmFja2Vu ZC9leGVjdXRvci9ub2RlTWVyZ2Vqb2luLmMgfCAyMSArKysrKysrLS0tLS0tLQpzcmMvdGVzdC9y ZWdyZXNzL2V4cGVjdGVkL2pvaW4ub3V0ICAgfCA1NCArKysrKysrKysrKysrKysrKysrKysrKysr KysrKysrKysrKysKc3JjL3Rlc3QvcmVncmVzcy9zcWwvam9pbi5zcWwgICAgICAgIHwgMjQgKysr KysrKysrKysrKysrKwo0IGZpbGVzIGNoYW5nZWQsIDEwMCBpbnNlcnRpb25zKCspLCAyMCBkZWxl dGlvbnMoLSkKCg== --===============5305327847932028358==--