Re: BUG #13592: Optimizer throws out join constraint causing incorrect result - Mailing list pgsql-bugs

From Kristoffer Gustafsson
Subject Re: BUG #13592: Optimizer throws out join constraint causing incorrect result
Date
Msg-id DB5PR03MB112634A7F5EA93E31DD75178C5600@DB5PR03MB1126.eurprd03.prod.outlook.com
Whole thread Raw
In response to Re: BUG #13592: Optimizer throws out join constraint causing incorrect result  ("David G. Johnston" <david.g.johnston@gmail.com>)
Responses Re: BUG #13592: Optimizer throws out join constraint causing incorrect result  (Tom Lane <tgl@sss.pgh.pa.us>)
List pgsql-bugs
REo6DQrigItJIGRvIG5vdCBmb2xsb3cgYnV0IHRoZSBmYWN0IHRoYXQgYSBkaXZpc2lvbi1ieS16
ZXJvIGV4Y2VwdGlvbiBvY2N1cnMgaW4gc29tZSBleGVjdXRpb24gcGxhbnMgYnV0IG5vdCBvdGhl
cnMgaXMgbm90IGEgYnVnLuKAiyAgSWYgeW91IGRvIG5vdCB3YW50IGFueSByb3dzIHdoZXJlIChj
LkNfVkFMMDFfRFAgPSAwKSB0byBiZSBjb25zaWRlcmVkIHlvdSBzaG91bGQgYWx0ZXIgdGhlIHF1
ZXJ5IHNvIHRoYXQgaW5zdGVhZCBvZiBsaW5raW5nIHRvIGV2ZXJ5dGhpbmcgaW4gImMiIHlvdSBv
bmx5IGNvbnNpZGVyIHRob3NlIHJvd3MgaGF2aW5nIGEgbm9uLXplcm8gQ19WQUwwMV9EUCBhdHRy
aWJ1dGUuDQoNCg0KS0c6DQpTb3JyeSwgSSBjYW4ndCBwcm92aWRlIG1vcmUgaW5mby93b3JraW5n
IHNhbXBsZS4gVGhlIGFuYWx5emUgZml4ZWQgdGhlIGV2YWx1YXRpb24gb3JkZXIuDQoNClNob3Vs
ZCBJIGludGVycHJldCB5b3VyIHJlc3BvbnNlIHRoYXQgdGhlIGlubmVyIGpvaW5zIGFyZSBvZiBu
byBhY3R1YWwgdmFsdWUgaW4gZGV0ZXJtaW5pbmcgdGhlIHJlc3VsdCBzZXRzIHVzZWQgYnkgdGhl
IG9wdGltaXplcj8NCg0KVGhlIEZST00gaGFzIHNldCBBIHdoaWNoIGlzIGpvaW5lZCB3aXRoIHNl
dCBCIHdoaWNoIGxpbmtzIHNldCBDLg0KVGhlcmUgaXMgYSBwYXRoIHdpdGgga2V5cyBnb2luZyBm
cm9tIEEgdG8gQiB0byBDLg0KVGhlcmUgaXMgbm8gbGluayBmcm9tIEEgdG8gQy4NCkMgaXMgb25s
eSB2YWxpZCBhcyBwYXJ0IG9mIEIuDQpTZWxlY3RpbmcgdGhlIGZ1bGwgc2V0IG9mIEEgYW5kIEMg
d2l0aG91dCB0aGUgbGltaXQgZnJvbSBCIGluY2x1ZGVzIGFsbCBlbnRyaWVzIGZyb20gQyBldmVu
IHdoZW4gb25seSB0aGUgc3Vic2V0IGxpbmtlZCBieSBCIHNob3VsZCBiZSBjb25zaWRlcmVkIGFz
IHZhbGlkIGFjY29yZGluZyB0byBGUk9NLg0KDQpPZiBjb3Vyc2UgeW91IGNhbiB3cml0ZSB0aGUg
V0hFUkUgY3JpdGVyaWEgdG8gbm90IGNvbnRhaW4gZXhwcmVzc2lvbnMvY2FsY3VsYXRpb25zIGFu
ZCBkdXBsaWNhdGUgdGhlIGNvbnN0cmFpbnQgZXhwcmVzc2VkIGJ5IHRoZSBGUk9NIHNlY3Rpb24s
IGJ1dCBkb2Vzbid0IHRoYXQgZGVmZWF0IHRoZSBwdXJwb3NlIG9mIGRlY2xhcmluZyB0aGUgam9p
bnMgaW4gRlJPTT8NCg0KImMuQ19WQUwwMV9EUCA9IDAiIHNob3VsZCBwZXIgZGVmaW5pdGlvbiBv
ZiB0aGUgRlJPTSBuZXZlciBiZSBpbmNsdWRlZCBzaW5jZSBub25lIG9mIHRoZSB2YWxpZCBlbnRy
aWVzIHNwZWNpZmllZCBieSB0aGUgcmVsYXRpb25zaGlwIGhhcyB0aGF0IHZhbHVlLg0KDQpEb2lu
ZyB0aGUgZXZhbHVhdGlvbiBpbiB0aGlzIG90aGVyIG9yZGVyIGlzIG9uZSB3YXkgb2YgZ2VuZXJh
dGluZyB0aGUgcmVzdWx0LCBidXQgaXQgaXMgaWdub3JpbmcgdGhlIHJlbGF0aW9uc2hpcCBleHBy
ZXNzZWQgYnkgdGhlIEZST00gc2VjdGlvbiBhbmQgdXNpbmcgaXQgYXMgYW55IG90aGVyIGZpbHRl
ci4NCg0KQnV0IGlmIHRoaXMgaXMgd29ya2luZyBhcyBpbnRlbmRlZCBzbyBiZSBpdCwgd2lsbCBq
dXN0IGhhdmUgdG8gY292ZXIgZm9yIGl0IHdpdGggYWRkaXRpb25hbCBjcml0ZXJpYSBpbiBxdWVy
aWVzLg0KDQoNCg0K4oCLDQpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXw0KDQoNCg0K
RGV0dGEgbWVkZGVsYW5kZSBvY2ggYWxsYSBiaWxhZ29yIMOkciBrb25maWRlbnRpZWxsYSBvY2gg
YXZzZWRkYSBmw7ZyIGRlbiBuYW1uZ2l2bmEgbW90dGFnYXJlbi4gT20gZHUgaGFyIGbDpXR0IGRl
dHRhIG1lZGRlbGFuZGUgYXYgbWlzc3RhZywgdsOkbmxpZ2VuIG1lZGRlbGEgb21lZGVsYmFydCBh
dnPDpG5kYXJlbiBvY2ggdGEgc2VkYW4gYm9ydCBtZWRkZWxhbmRldC4gQWxsIG90aWxsw6V0ZW4g
bW9kaWZpZXJpbmcsIGFudsOkbmRuaW5nIGVsbGVyIHNwcmlkbmluZyDDpHIgZsO2cmJqdWRlbi4g
QXZzw6RuZGFyZW4gw6RyIGludGUgYW5zdmFyaWcgZsO2ciBkZXR0YSBtZWRkZWxhbmRlIG9tIGRl
dCBoYXIgw6RuZHJhdHMsIGbDtnJmYWxza2F0cywgcmVkaWdlcmF0cywgc21pdHRhdCBhdiBldHQg
dmlydXMgZWxsZXIgc3ByaWRpdHMgdXRhbiB0aWxsc3TDpW5kLiBTa3JpdiBpbnRlIHV0IGRldHRh
IG1lZGRlbGFuZGUgb20gZGV0IGludGUgw6RyIG7DtmR2w6RuZGlndCwgdMOkbmsgcMOlIG1pbGrD
tm4uDQoNClRoaXMgbWVzc2FnZSBhbmQgYW55IGF0dGFjaG1lbnRzIGFyZSBjb25maWRlbnRpYWwg
YW5kIGludGVuZGVkIGZvciB0aGUgbmFtZWQgYWRkcmVzc2VlKHMpIG9ubHkuIElmIHlvdSBoYXZl
IHJlY2VpdmVkIHRoaXMgbWVzc2FnZSBpbiBlcnJvciwgcGxlYXNlIG5vdGlmeSBpbW1lZGlhdGVs
eSB0aGUgc2VuZGVyLCB0aGVuIGRlbGV0ZSB0aGUgbWVzc2FnZS4gQW55IHVuYXV0aG9yaXplZCBt
b2RpZmljYXRpb24sIGVkaXRpb24sIHVzZSBvciBkaXNzZW1pbmF0aW9uIGlzIHByb2hpYml0ZWQu
IFRoZSBzZW5kZXIgaXMgbm90IGxpYWJsZSBmb3IgdGhpcyBtZXNzYWdlIGlmIGl0IGhhcyBiZWVu
IG1vZGlmaWVkLCBhbHRlcmVkLCBmYWxzaWZpZWQsIGluZmVjdGVkIGJ5IGEgdmlydXMgb3IgZXZl
biBlZGl0ZWQgb3IgZGlzc2VtaW5hdGVkIHdpdGhvdXQgYXV0aG9yaXphdGlvbi4gRG8gbm90IHBy
aW50IHRoaXMgbWVzc2FnZSB1bmxlc3MgaXQgaXMgbmVjZXNzYXJ5LCBjb25zaWRlciB0aGUgZW52
aXJvbm1lbnQuDQo=

pgsql-bugs by date:

Previous
From: "David G. Johnston"
Date:
Subject: Re: BUG #13592: Optimizer throws out join constraint causing incorrect result
Next
From: Tom Lane
Date:
Subject: Re: BUG #13592: Optimizer throws out join constraint causing incorrect result