MIME-Version: 1.0
References: <19435-3cc1a87f291129f1@postgresql.org> <CAHGQGwEEHFnH8DsZbwxdZeiHozm2LCRTLSgL8Qn=5MoN4450ZA@mail.gmail.com>
 <CAPpHfdsDQhDqvqi+-UxvyYRP72ASkdWzCn43e2Hj6WsY15opvA@mail.gmail.com>
 <CAHewXNmU3E0oXLgvoOtXw7kfTiAZsKu8La_hQ=pyScgxvP45iw@mail.gmail.com>
 <CAHewXN=LjuWz3PcyhjdbJAyo+Zs9MisPDRYnSZBUy4PMeKi+zA@mail.gmail.com>
 <CALdSSPj1kTTQvmV3H3HMf5P3um8ybxoH3DaTPm+XgdYAur1Q4A@mail.gmail.com>
 <CAHewXNndByMu3S+_h4LLDkXA5qrO1s=s-CE8HqUtc9vTA9yrjg@mail.gmail.com>
 <CAPpHfdv6gzSTXHJxYSgB8sULadXM4wvhgoQODaOxYCJfagKNPw@mail.gmail.com>
 <CAHewXN=7kDJjUcgEm+6qhaKOXuqzvhRqAAKdafNCRgn0yH7BGg@mail.gmail.com>
 <CAHewXNm5OOREJ8wZ1cLJdQz7O1aQ0E1RBB55S6O138K8vBdc9g@mail.gmail.com>
 <CAPpHfducqLJ=o3LkoPKGfZJVQuuei+P=2oUF6hX6rzHTZSxoyA@mail.gmail.com>
 <a78fe5d4-e6b8-4b3c-9cfd-135edbb68e4c@gmail.com> <CAPpHfduTWFCHaK8U7bDfYid5pjVA=FHG1b0nTEMFqFKHebGJxQ@mail.gmail.com>
 <a498f5b8-2f17-4ee0-b021-63ff9829b45b@gmail.com> <CALdSSPhpUdY7-5Zg38oS1uRtu5iTFzdo0R7Z2YZD603M9RpJxg@mail.gmail.com>
 <5a039d60-d13b-4cf0-a807-9c7269f06831@gmail.com>
In-Reply-To: <5a039d60-d13b-4cf0-a807-9c7269f06831@gmail.com>
From: Alexander Korotkov <aekorotkov@gmail.com>
Date: Thu, 19 Mar 2026 15:03:17 +0200
Message-ID: <CAPpHfdsyNYEbjjLdsa8i8Ds-5=4pFif1+uCHn3vwzx2Pq5y29A@mail.gmail.com>
Subject: Re: BUG #19435: Error: "No relation entry for relid 2" Triggered by
 Complex Join with Self-Referencing Tables
To: Andrei Lepikhov <lepihov@gmail.com>
Cc: Kirill Reshke <reshkekirill@gmail.com>, Tender Wang <tndrwang@gmail.com>, 
	Fujii Masao <masao.fujii@gmail.com>, ammmkilo@163.com, pgsql-bugs@lists.postgresql.org
Content-Type: multipart/mixed; boundary="000000000000e99246064d603137"
Archived-At: <https://www.postgresql.org/message-id/CAPpHfdsyNYEbjjLdsa8i8Ds-5%3D4pFif1%2BuCHn3vwzx2Pq5y29A%40mail.gmail.com>
Precedence: bulk

--000000000000e99246064d603137
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Thu, Mar 19, 2026 at 9:18=E2=80=AFAM Andrei Lepikhov <lepihov@gmail.com>=
 wrote:
> On 18/3/26 18:55, Kirill Reshke wrote:
> > On Wed, 18 Mar 2026 at 18:31, Andrei Lepikhov <lepihov@gmail.com> wrote=
:
> >>
> >> On 18/3/26 13:21, Alexander Korotkov wrote:
> >>> On Wed, Mar 18, 2026 at 2:18=E2=80=AFPM Andrei Lepikhov <lepihov@gmai=
l.com> wrote:
> >>>> What is the reason for the second change? Tender, can you show us ho=
w to
> >>>> reproduce the issue so we can support your update to
> >>>> restrict_infos_logically_equal? If we include it, we should add a te=
st.
> >>>
> >>> I think Tender already shown this in [1].  The same qual is present
> >>> twice in the plan.
> >> Got it. I suggest making this a separate commit to keep the history
> >> clear. Let me share a draft with a test case for the bug fix first.
> > Hi!
> > Is `cool_bool` a typo of `col_bool` in regression test ?
>
> This is actually a happy coincidence, not a typo. We made this mistake
> during initial development because I didn't realise that a boolean
> operation on a bool variable is never wrapped in an expression
> structure. It's a 'cool' example that shows a rare edge case.
>
>  > And the patch seems to have forgotten to add "Reported by".
>
> Yeah, let the committer manage the award part.

I've revised the patch.  Renamed cool_bool to cool_col, added
"Reported by", and revised authors list according to my opinion.

------
Regards,
Alexander Korotkov
Supabase

--000000000000e99246064d603137
Content-Type: application/octet-stream; 
	name="v2-0001-Fix-self-join-removal-to-update-bare-Var-referenc.patch"
Content-Disposition: attachment; 
	filename="v2-0001-Fix-self-join-removal-to-update-bare-Var-referenc.patch"
Content-Transfer-Encoding: base64
Content-ID: <f_mmxhcb0y0>
X-Attachment-Id: f_mmxhcb0y0

RnJvbSA0ODJlY2MxMjM2MzIzMGI5NmNjZjRmYTM5ZmQyZmNjMmI3N2I0ODZhIE1vbiBTZXAgMTcg
MDA6MDA6MDAgMjAwMQpGcm9tOiAiQW5kcmVpIFYuIExlcGlraG92IiA8bGVwaWhvdkBnbWFpbC5j
b20+CkRhdGU6IFdlZCwgMTggTWFyIDIwMjYgMTQ6MjM6NDYgKzAxMDAKU3ViamVjdDogW1BBVENI
IHYyXSBGaXggc2VsZi1qb2luIHJlbW92YWwgdG8gdXBkYXRlIGJhcmUgVmFyIHJlZmVyZW5jZXMg
aW4KIGpvaW4gY2xhdXNlcwoKU2VsZi1qb2luIHJlbW92YWwgZmFpbGVkIHRvIHVwZGF0ZSBWYXIg
bm9kZXMgd2hlbiB0aGUgam9pbiBjbGF1c2Ugd2FzIGEKYmFyZSBWYXIgKGUuZy4sIE9OIHQxLmJv
b2xfY29sKSByYXRoZXIgdGhhbiBhbiBleHByZXNzaW9uIGNvbnRhaW5pbmcKVmFycy4gIENoYW5n
ZVZhck5vZGVzV2Fsa0V4cHJlc3Npb24oKSB1c2VkIGV4cHJlc3Npb25fdHJlZV93YWxrZXIoKSwK
d2hpY2ggZGVzY2VuZHMgaW50byBjaGlsZCBub2RlcyBidXQgZG9lcyBub3QgcHJvY2VzcyB0aGUg
dG9wLWxldmVsIG5vZGUKaXRzZWxmLiAgV2hlbiBhIGJhcmUgVmFyIHJlZmVyZW5jaW5nIHRoZSBy
ZW1vdmVkIHJlbGF0aW9uIGFwcGVhcmVkIGFzCnRoZSBjbGF1c2UsIGl0cyB2YXJubyB3YXMgbGVm
dCB1bmNoYW5nZWQsIGxlYWRpbmcgdG8gIm5vIHJlbGF0aW9uIGVudHJ5CmZvciByZWxpZCBOIiBl
cnJvcnMuCgpGaXggYnkgY2FsbGluZyBDaGFuZ2VWYXJOb2Rlc193YWxrZXIoKSBkaXJlY3RseSBp
bnN0ZWFkIG9mCmV4cHJlc3Npb25fdHJlZV93YWxrZXIoKSwgc28gdGhlIHRvcC1sZXZlbCBub2Rl
IGlzIGFsc28gcHJvY2Vzc2VkLgoKQnVnOiAjMTk0MzUKUmVwb3J0ZWQtYnk6IEhhbmcgQW1tbWtp
bG8gPGFtbW1raWxvQDE2My5jb20+CkF1dGhvcjogQW5kcmVpIExlcGlraG92IDxsZXBpaG92QGdt
YWlsLmNvbT4KQ28tYXV0aG9yZWQtYnk6IFRlbmRlciBXYW5nIDx0bmRyd2FuZ0BnbWFpbC5jb20+
CkNvLWF1dGhvcmVkLWJ5OiBBbGV4YW5kZXIgS29yb3Rrb3YgPGFla29yb3Rrb3ZAZ21haWwuY29t
PgpSZXZpZXdlZC1ieTogS2lyaWxsIFJlc2hrZSA8cmVzaGtla2lyaWxsQGdtYWlsLmNvbT4KRGlz
Y3Vzc2lvbjogaHR0cHM6Ly93d3cucG9zdGdyZXNxbC5vcmcvbWVzc2FnZS1pZC9mbGF0LzE5NDM1
LTNjYzFhODdmMjkxMTI5ZjElNDBwb3N0Z3Jlc3FsLm9yZwotLS0KIHNyYy9iYWNrZW5kL3Jld3Jp
dGUvcmV3cml0ZU1hbmlwLmMgfCAgNCArLS0tCiBzcmMvdGVzdC9yZWdyZXNzL2V4cGVjdGVkL2pv
aW4ub3V0IHwgMTYgKysrKysrKysrKysrKysrKwogc3JjL3Rlc3QvcmVncmVzcy9zcWwvam9pbi5z
cWwgICAgICB8ICA2ICsrKysrKwogMyBmaWxlcyBjaGFuZ2VkLCAyMyBpbnNlcnRpb25zKCspLCAz
IGRlbGV0aW9ucygtKQoKZGlmZiAtLWdpdCBhL3NyYy9iYWNrZW5kL3Jld3JpdGUvcmV3cml0ZU1h
bmlwLmMgYi9zcmMvYmFja2VuZC9yZXdyaXRlL3Jld3JpdGVNYW5pcC5jCmluZGV4IDUyODJmNjBl
NTMxLi43MjQ5ZmZiZmIzNiAxMDA2NDQKLS0tIGEvc3JjL2JhY2tlbmQvcmV3cml0ZS9yZXdyaXRl
TWFuaXAuYworKysgYi9zcmMvYmFja2VuZC9yZXdyaXRlL3Jld3JpdGVNYW5pcC5jCkBAIC03NDQs
OSArNzQ0LDcgQEAgQ2hhbmdlVmFyTm9kZXMoTm9kZSAqbm9kZSwgaW50IHJ0X2luZGV4LCBpbnQg
bmV3X2luZGV4LCBpbnQgc3VibGV2ZWxzX3VwKQogYm9vbAogQ2hhbmdlVmFyTm9kZXNXYWxrRXhw
cmVzc2lvbihOb2RlICpub2RlLCBDaGFuZ2VWYXJOb2Rlc19jb250ZXh0ICpjb250ZXh0KQogewot
CXJldHVybiBleHByZXNzaW9uX3RyZWVfd2Fsa2VyKG5vZGUsCi0JCQkJCQkJCSAgQ2hhbmdlVmFy
Tm9kZXNfd2Fsa2VyLAotCQkJCQkJCQkgICh2b2lkICopIGNvbnRleHQpOworCXJldHVybiBDaGFu
Z2VWYXJOb2Rlc193YWxrZXIobm9kZSwgY29udGV4dCk7CiB9CiAKIC8qCmRpZmYgLS1naXQgYS9z
cmMvdGVzdC9yZWdyZXNzL2V4cGVjdGVkL2pvaW4ub3V0IGIvc3JjL3Rlc3QvcmVncmVzcy9leHBl
Y3RlZC9qb2luLm91dAppbmRleCBlYTNkYWJmZjc3Yy4uZGM1Yjc5OGMzMzYgMTAwNjQ0Ci0tLSBh
L3NyYy90ZXN0L3JlZ3Jlc3MvZXhwZWN0ZWQvam9pbi5vdXQKKysrIGIvc3JjL3Rlc3QvcmVncmVz
cy9leHBlY3RlZC9qb2luLm91dApAQCAtODA5MSw2ICs4MDkxLDIyIEBAIFdIRVJFIHEwLmEgPSAx
OwogICAgLT4gIFNlcSBTY2FuIG9uIHNqIG4xCiAoNyByb3dzKQogCistLSBEbyBub3QgZm9yZ2V0
IHRvIHJlcGxhY2UgcmVsaWQgaW4gYmFyZSBWYXIgam9pbiBjbGF1c2UgKGJ1ZyAjMTk0MzUpCitB
TFRFUiBUQUJMRSBzbCBBREQgQ09MVU1OIGJvb2xfY29sIGJvb2xlYW47CitFWFBMQUlOIChDT1NU
UyBPRkYpCitTRUxFQ1QgMSBBUyBjMSBGUk9NIHNsIHNsMSBMRUZUIEpPSU4gKHNsIEFTIHNsMiBO
QVRVUkFMIEpPSU4gc2wgQVMgc2wzKQorICBPTiBzbDIuYm9vbF9jb2wgTEVGVCBKT0lOIHNsIEFT
IHNsNCBPTiBzbDIuYm9vbF9jb2w7CisgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg
ICAgICAgICAgICAgICAgICAgICAgUVVFUlkgUExBTiAgICAgICAgICAgICAgICAgICAgICAgICAg
ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgCistLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCisgTmVzdGVkIExvb3AgTGVm
dCBKb2luCisgICAtPiAgU2VxIFNjYW4gb24gc2wgc2wxCisgICAtPiAgTmVzdGVkIExvb3AgTGVm
dCBKb2luCisgICAgICAgICBKb2luIEZpbHRlcjogc2wzLmJvb2xfY29sCisgICAgICAgICAtPiAg
U2VxIFNjYW4gb24gc2wgc2wzCisgICAgICAgICAgICAgICBGaWx0ZXI6IChib29sX2NvbCBBTkQg
KGEgSVMgTk9UIE5VTEwpIEFORCAoYiBJUyBOT1QgTlVMTCkgQU5EIChjIElTIE5PVCBOVUxMKSBB
TkQgKGJvb2xfY29sIElTIE5PVCBOVUxMKSkKKyAgICAgICAgIC0+ICBTZXEgU2NhbiBvbiBzbCBz
bDQKKyg3IHJvd3MpCisKIC0tIENoZWNrIG9wdGltaXphdGlvbiBkaXNhYmxpbmcgaWYgaXQgd2ls
bCB2aW9sYXRlIHNwZWNpYWwgam9pbiBjb25kaXRpb25zLgogLS0gVHdvIGlkZW50aWNhbCBqb2lu
ZWQgcmVsYXRpb25zIHNhdGlzZmllcyBzZWxmIGpvaW4gcmVtb3ZhbCBjb25kaXRpb25zIGJ1dAog
LS0gc3RheSBpbiBkaWZmZXJlbnQgc3BlY2lhbCBqb2luIGluZm9zLgpkaWZmIC0tZ2l0IGEvc3Jj
L3Rlc3QvcmVncmVzcy9zcWwvam9pbi5zcWwgYi9zcmMvdGVzdC9yZWdyZXNzL3NxbC9qb2luLnNx
bAppbmRleCBhZDkwYzMyNmMwMC4uZjU2MzFiZjk3ZmYgMTAwNjQ0Ci0tLSBhL3NyYy90ZXN0L3Jl
Z3Jlc3Mvc3FsL2pvaW4uc3FsCisrKyBiL3NyYy90ZXN0L3JlZ3Jlc3Mvc3FsL2pvaW4uc3FsCkBA
IC0zMTU2LDYgKzMxNTYsMTIgQEAgU0VMRUNUICogRlJPTQogKFNFTEVDVCBuMi5hIEZST00gc2og
bjEsIHNqIG4yIFdIRVJFIG4xLmEgPD4gbjIuYSkgcTAsIHNsCiBXSEVSRSBxMC5hID0gMTsKIAor
LS0gRG8gbm90IGZvcmdldCB0byByZXBsYWNlIHJlbGlkIGluIGJhcmUgVmFyIGpvaW4gY2xhdXNl
IChidWcgIzE5NDM1KQorQUxURVIgVEFCTEUgc2wgQUREIENPTFVNTiBib29sX2NvbCBib29sZWFu
OworRVhQTEFJTiAoQ09TVFMgT0ZGKQorU0VMRUNUIDEgQVMgYzEgRlJPTSBzbCBzbDEgTEVGVCBK
T0lOIChzbCBBUyBzbDIgTkFUVVJBTCBKT0lOIHNsIEFTIHNsMykKKyAgT04gc2wyLmJvb2xfY29s
IExFRlQgSk9JTiBzbCBBUyBzbDQgT04gc2wyLmJvb2xfY29sOworCiAtLSBDaGVjayBvcHRpbWl6
YXRpb24gZGlzYWJsaW5nIGlmIGl0IHdpbGwgdmlvbGF0ZSBzcGVjaWFsIGpvaW4gY29uZGl0aW9u
cy4KIC0tIFR3byBpZGVudGljYWwgam9pbmVkIHJlbGF0aW9ucyBzYXRpc2ZpZXMgc2VsZiBqb2lu
IHJlbW92YWwgY29uZGl0aW9ucyBidXQKIC0tIHN0YXkgaW4gZGlmZmVyZW50IHNwZWNpYWwgam9p
biBpbmZvcy4KLS0gCjIuMzkuNSAoQXBwbGUgR2l0LTE1NCkKCg==
--000000000000e99246064d603137--