Received: from malur.postgresql.org ([217.196.149.56]) by arkaria.postgresql.org with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lhXjx-0001JK-Sr for pgsql-bugs@arkaria.postgresql.org; Fri, 14 May 2021 13:20:30 +0000 Received: from localhost ([127.0.0.1] helo=malur.postgresql.org) by malur.postgresql.org with esmtp (Exim 4.92) (envelope-from ) id 1lhXjw-0006al-NK for pgsql-bugs@arkaria.postgresql.org; Fri, 14 May 2021 13:20:28 +0000 Received: from makus.postgresql.org ([2001:4800:3e1:1::229]) by malur.postgresql.org with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lhX6W-0000LT-EA for pgsql-bugs@lists.postgresql.org; Fri, 14 May 2021 12:39:44 +0000 Received: from forward104j.mail.yandex.net ([5.45.198.247]) by makus.postgresql.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lhX6O-000372-K7 for pgsql-bugs@lists.postgresql.org; Fri, 14 May 2021 12:39:43 +0000 Received: from iva8-34fb5df223d4.qloud-c.yandex.net (iva8-34fb5df223d4.qloud-c.yandex.net [IPv6:2a02:6b8:c0c:b999:0:640:34fb:5df2]) by forward104j.mail.yandex.net (Yandex) with ESMTP id D34A04A0C83; Fri, 14 May 2021 15:39:32 +0300 (MSK) Received: from mail.yandex.ru (mail.yandex.ru [2a00:1838:36:267::596d]) by iva8-34fb5df223d4.qloud-c.yandex.net (mxback/Yandex) with HTTP id VdO73XRJPOs1-dVJmW8DN; Fri, 14 May 2021 15:39:32 +0300 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yandex.ru; s=mail; t=1620995972; bh=w+1d77wQScM/D7PmpBpbfVWRAW5sjb7K9OSaTFDptpY=; h=Message-Id:Cc:Subject:In-Reply-To:Date:References:To:From; b=EHNPfNLXr/mWwwIxpJLwneUr/qq3HKXAdNMngcdGL2Re915VLkB9V0lWcrWNg7rFo hwvIpPN2T6sVoTZmyvS/tf1wKfVSlCeJv0AUIg2tl/HpVIcgiOm0MUpYg5Fvt7YM2j LSHCH+mQfDK14HmSjgkB5+pyxrrcSm6WW9VTjq4M= Authentication-Results: iva8-34fb5df223d4.qloud-c.yandex.net; dkim=pass header.i=@yandex.ru Received: by iva6-161d47f95e63.qloud-c.yandex.net with HTTP; Fri, 14 May 2021 15:39:31 +0300 From: KES To: David Rowley Cc: PG Bug reporting form , PostgreSQL mailing lists , pgsql-performance , "ladayaroslav@yandex.ru" In-Reply-To: References: <16968-9c8a1708c1c04355@postgresql.org> <846547866.20210416222735@yandex.ru> <226821618.20210513163513@yandex.ru> Subject: Re: BUG #16968: Planner does not recognize optimization MIME-Version: 1.0 X-Mailer: Yamail [ http://yandex.ru ] 5.0 Date: Fri, 14 May 2021 15:39:31 +0300 Message-Id: <55211620994674@mail.yandex.ru> Content-Transfer-Encoding: base64 Content-Type: text/html; charset=utf-8 List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk PGRpdj5UaGFuayB5b3UgZm9yIGRldGFpbGVkIGV4cGxhbmF0aW9uLiBJIGdsYWQgdG8gaGVhciB0 aGF0IEkgY2FuIHVzZSBhbGlhc2VzIGFuZCB0aGlzIHdpbGwgYmUgcmVjb2duaXplZCBhbmQgb3B0 aW1pemF0aW9uIGlzIGFwcGxpZWQuPC9kaXY+PGRpdj7CoDwvZGl2PjxkaXY+Jmd0O1dlJ2QgbmVl ZCBzb21lIHNvcnQgb2YgYWJpbGl0eSB0byBhc3NpZ24gcmVzc29ydGdyb3VwcmVmIHRvIGEgcGFy dGljdWxhciBjb2x1bW4gd2l0aGluIGE8ZGl2Pndob2xlLXJvdyB2YXI8L2Rpdj48ZGl2PkNvdWxk IGl0IGJlIHBvc3NpYmxlIHRvIGNyZWF0ZSBoaWRkZW4gYWxpYXMgaW4gc2FtZSB3YXkgYXMgSSBk aWQgdGhhdCBtYW51YWxseT88L2Rpdj48ZGl2PsKgPC9kaXY+PGRpdj5BbGdvcml0aG0gc2VlbXMg bm90IGNvbXBsZXg6PC9kaXY+PGRpdj4xLiBVc2VyIHJlZmVyIGNvbHVtbiBmcm9tIGNvbXBvc2l0 ZSB0eXBlL3dob2xlLXJvdzogKG8pLmFncmVlbWVudF9pZDwvZGl2PjxkaXY+Mi4gQ3JlYXRlIGhp ZGRlbiBjb2x1bW4gYXQgc2VsZWN0OiBfb19hZ3JlZW1lbnRfaWQ8L2Rpdj48ZGl2PjMuIFJlcGxh Y2Ugb3RoZXIgcmVmZXJlbmNlcyB0byAobykuYWdyZWVtZW50X2lkIGJ5IF9vX2FncmVlbWVudF9p ZDwvZGl2PjxkaXY+NC4gUHJvY2VzcyBxdWVyeSBhcyB1c3VhbCBhZnRlciByZXBsYWNlbWVudHM8 L2Rpdj48ZGl2PsKgPC9kaXY+PC9kaXY+PGRpdj7CoDwvZGl2PjxkaXY+MTQuMDUuMjAyMSwgMDI6 NTIsICJEYXZpZCBSb3dsZXkiICZsdDtkZ3Jvd2xleW1sQGdtYWlsLmNvbSZndDs6PC9kaXY+PGJs b2NrcXVvdGU+PHA+T24gRnJpLCAxNCBNYXkgMjAyMSBhdCAwMjozOCwgRXVnZW4gS29ua292ICZs dDs8YSBocmVmPSJtYWlsdG86a2VzLWtlc0B5YW5kZXgucnUiIHJlbD0ibm9vcGVuZXIgbm9yZWZl cnJlciI+a2VzLWtlc0B5YW5kZXgucnU8L2E+Jmd0OyB3cm90ZTo8L3A+PGJsb2NrcXVvdGU+wqBO b3cgSSBjcmVhdGUgbWluaW1hbCByZXByb2R1Y2libGUgdGVzdCBjYXNlLjxiciAvPsKgPGEgaHJl Zj0iaHR0cHM6Ly9kYmZpZGRsZS51ay8/cmRibXM9cG9zdGdyZXNfMTMmYW1wO2ZpZGRsZT03NjFh MDBmYjU5OTc4OWQzZGIzMWIxMjA4NTFkNjM0MSIgcmVsPSJub29wZW5lciBub3JlZmVycmVyIj5o dHRwczovL2RiZmlkZGxlLnVrLz9yZGJtcz1wb3N0Z3Jlc18xMyZhbXA7ZmlkZGxlPTc2MWEwMGZi NTk5Nzg5ZDNkYjMxYjEyMDg1MWQ2MzQxPC9hPjxiciAvPjxiciAvPsKgT3B0aW1pemF0aW9uIGlz IG5vdCBhcHBseWVkIHdoZW4gSSBmaWx0ZXIvcGFydGl0aW9uIGJ5IGNvbHVtbiB1c2luZyBjb21w b3NpdGUgdHlwZSBuYW1lLjwvYmxvY2txdW90ZT48cD48YnIgLz5Zb3UgcHJvYmFibHkgYWxyZWFk eSBrbm93IHRoaXMgcGFydCwgYnV0IGxldCBtZSBleHBsYWluIGl0IGp1c3QgaW48YnIgLz5jYXNl IGl0J3Mgbm90IGNsZWFyLjxiciAvPjxiciAvPlRoZSBwdXNoZG93biBvZiB0aGUgcXVhbCBmcm9t IHRoZSB0b3AtbGV2ZWwgcXVlcnkgaW50byB0aGUgc3VicXVlcnksPGJyIC8+b3IgZnVuY3Rpb24s IGluIHRoaXMgY2FzZSwgaXMgb25seSBsZWdhbCB3aGVuIHRoZSBxdWFsIHJlZmVyZW5jZXMgYTxi ciAvPmNvbHVtbiB0aGF0J3MgaW4gdGhlIFBBUlRJVElPTiBCWSBjbGF1c2Ugb2YgYWxsIHdpbmRv dyBmdW5jdGlvbnMgaW48YnIgLz50aGUgc3VicXVlcnkuIFRoZSByZWFzb24gZm9yIHRoaXMgaXMs IGlmIHdlIGZpbHRlciByb3dzIGJlZm9yZTxiciAvPmNhbGxpbmcgdGhlIHdpbmRvdyBmdW5jdGlv biwgdGhlbiBpdCBjb3VsZCBhZmZlY3Qgd2hpY2ggcm93cyBhcmUgaW48YnIgLz5zZWUgaW4gdGhl IHdpbmRvdydzIGZyYW1lLiBJZiBpdCBkaWQgZmlsdGVyLCB0aGF0IGNvdWxkIGNhdXNlPGJyIC8+ aW5jb3JyZWN0IHJlc3VsdHMuIFdlIGNhbiByZWxheCB0aGUgcmVzdHJpY3Rpb24gYSBiaXQgaWYg d2UgY2FuPGJyIC8+ZWxpbWluYXRlIGVudGlyZSBwYXJ0aXRpb25zIGF0IG9uY2UuIFRoZSB3aW5k b3cgZnVuY3Rpb24gcmVzdWx0cyBhcmU8YnIgLz5pbmRlcGVuZGVudCBiZXR3ZWVuIHBhcnRpdGlv bnMsIHNvIHdlIGNhbiBhbGxvdyBxdWFsIHB1c2hkb3ducyB0aGF0PGJyIC8+YXJlIGluIGFsbCBQ QVJUSVRJT04gQlkgY2xhdXNlcy48YnIgLz48YnIgLz5BcyBmb3IgdGhlIHJlYXNvbiB5b3UncmUg aGF2aW5nIHRyb3VibGUgZ2V0dGluZyB0aGlzIHRvIHdvcmssIGl0J3M8YnIgLz5kb3duIHRvIHRo ZSB3YXkgeW91J3JlIHVzaW5nIHdob2xlLXJvdyB2YXJzIGluIHlvdXIgdGFyZ2V0bGlzdC48YnIg Lz48YnIgLz5BIHNsaWdodGx5IHNpbXBsaWZpZWQgY2FzZSB3aGljaCBzaG93cyB0aGlzIHByb2Js ZW0gaXM6PGJyIC8+PGJyIC8+Y3JlYXRlIHRhYmxlIGFiKGEgaW50LCBiIGludCk7PGJyIC8+ZXhw bGFpbiBzZWxlY3QgKiBmcm9tIChzZWxlY3QgYWIgYXMgd2hvbGVyb3d2YXIscm93X251bWJlcigp IG92ZXI8YnIgLz4ocGFydGl0aW9uIGJ5IGEpIGZyb20gYWIpIGFiIHdoZXJlIChhYi53aG9sZXJv d3ZhcikuYT0xOzxiciAvPjxiciAvPlRoZSByZWFzb24gaXQgZG9lcyBub3Qgd29yayBpcyBkb3du IHRvIGhvdyB0aGlzIGlzIGltcGxlbWVudGVkPGJyIC8+aW50ZXJuYWxseS4gVGhlIGRldGFpbHMg YXJlLCB0cmFuc2Zvcm1Hcm91cENsYXVzZSgpIG5vdCBhc3NpZ25pbmcgYTxiciAvPnJlc3NvcnRn cm91cHJlZiB0byB0aGUgd2hvbGUtcm93IHZhci4gSXQncyB1bmFibGUgdG8gYmVjYXVzZSB0aGVy ZSBpczxiciAvPm5vIHdheSB0byB0cmFjayB3aGljaCBhY3R1YWwgY29sdW1uIHdpdGhpbiB0aGUg d2hvbGUgcm93IHZhciBpcyBpbiB0aGU8YnIgLz5wYXJ0aXRpb24gYnkgY2xhdXNlLiBXaGVuIGl0 IGNvbWVzIHRvIHRoZSBjb2RlIHRoYXQgdHJpZXMgdG8gcHVzaCB0aGU8YnIgLz5xdWFsIGRvd24g aW50byB0aGUgc3VicXVlcnksIGNoZWNrX291dHB1dF9leHByZXNzaW9ucygpIGNoZWNrcyBpZiB0 aGU8YnIgLz5jb2x1bW4gaW4gdGhlIHN1YnF1ZXJ5IGlzIG9rIHRvIGFjY2VwdCBwdXNoIGRvd25z IG9yIG5vdC4gT25lIG9mIHRoZTxiciAvPmNoZWNrcyBpcyB0byBzZWUgaWYgdGhlIHF1ZXJ5IGhh cyB3aW5kb3dpbmcgZnVuY3Rpb25zIGFuZCB0byBlbnN1cmU8YnIgLz50aGF0IHRoZSBjb2x1bW4g aXMgaW4gYWxsIHRoZSBQQVJUSVRJT04gQlkgY2xhdXNlcyBvZiBlYWNoIHdpbmRvd2luZzxiciAv PmZ1bmN0aW9uLiBUaGF0IGNoZWNrIGlzIGRvbmUgYnkgY2hlY2tpbmcgaWYgYSByZXNzb3J0Z3Jv dXByZWYgaXM8YnIgLz5hc3NpZ25lZCBhbmQgbWF0Y2hlcyBhIHRsZVNvcnRHcm91cFJlZiBpbiB0 aGUgUEFSVElUSU9OIEJZIGNsYXVzZS4gSW48YnIgLz50aGlzIGNhc2UsIGl0IGRvZXMgbm90IG1h dGNoLiBXZSBkaWRuJ3QgYXNzaWduIGFueSByZXNzb3J0Z3JvdXByZWYgdG88YnIgLz50aGUgd2hv bGUtcm93IHZhci48YnIgLz48YnIgLz5VbmZvcnR1bmF0ZWx5LCB3aG9sZS1yb3cgdmFycyBhcmUg YSBiaXQgdG8gMm5kIGNsYXNzIGNpdGl6ZW4gd2hlbiBpdDxiciAvPmNvbWVzIHRvIHRoZSBxdWVy eSBwbGFubmVyLiBBbHNvLCBpdCB3b3VsZCBiZSBxdWl0ZSBhIGJpdCBvZiBlZmZvcnQgdG88YnIg Lz5tYWtlIHRoZSBwbGFubmVyIHB1c2ggZG93biB0aGUgcXVhbCBpbiB0aGlzIGNhc2UuIFdlJ2Qg bmVlZCBzb21lIHNvcnQ8YnIgLz5vZiBhYmlsaXR5IHRvIGFzc2lnbiByZXNzb3J0Z3JvdXByZWYg dG8gYSBwYXJ0aWN1bGFyIGNvbHVtbiB3aXRoaW4gYTxiciAvPndob2xlLXJvdyB2YXIgYW5kIHdl J2QgbmVlZCB0byBhZGp1c3QgdGhlIGNvZGUgdG8gY2hlY2sgZm9yIHRoYXQgd2hlbjxiciAvPmRv aW5nIHN1YnF1ZXJ5IHB1c2hkb3ducyB0byBhbGxvdyBpdCB0byBtZW50aW9uIHdoaWNoIGNvbHVt bnMgd2l0aGluPGJyIC8+d2hvbGUtcm93IHZhcnMgY2FuIGxlZ2FsbHkgYWNjZXB0IHB1c2hkb3du cy4gSSBpbWFnaW5lIHRoYXQnczxiciAvPnVubGlrZWx5IHRvIGJlIGZpeGVkIGFueSB0aW1lIHNv b24uIFdob2xlLXJvdyB2YXJzIGp1c3QgZG9uJ3Qgc2VlbSB0bzxiciAvPmJlIHVzZWQgY29tbW9u bHkgZW5vdWdoIHRvIHdhcnJhbnQgZ29pbmcgdG8gdGhlIGVmZm9ydCBvZiBtYWtpbmcgdGhpczxi ciAvPnN0dWZmIHdvcmsuPGJyIC8+PGJyIC8+VG8gd29yayBhcm91bmQgdGhpcywgeW91IHNob3Vs ZCBpbmNsdWRlIGEgcmVmZXJlbmNlIHRvIHRoZSBhY3R1YWw8YnIgLz5jb2x1bW4gaW4gdGhlIHRh cmdldGxpc3Qgb2YgdGhlIHN1YnF1ZXJ5LCBvciB5b3VyIGZ1bmN0aW9uLCBpbiB0aGlzPGJyIC8+ Y2FzZSwgYW5kIGVuc3VyZSB5b3UgdXNlIHRoYXQgc2FtZSBjb2x1bW4gaW4gdGhlIFBBUlRJVElP TiBCWSBjbGF1c2UuPGJyIC8+WW91J2xsIHRoZW4gbmVlZCB0byB3cml0ZSB0aGF0IGNvbHVtbiBp biB5b3VyIGNvbmRpdGlvbiB0aGF0IHlvdSBuZWVkPGJyIC8+cHVzaGVkIGludG8gdGhlIHN1YnF1 ZXJ5LiBJJ20gc29ycnkgaWYgdGhhdCBtZXNzZXMgdXAgeW91ciBkZXNpZ24uPGJyIC8+SG93ZXZl ciwgSSBpbWFnaW5lIHRoaXMgaXMgbm90IHRoZSBvbmx5IG9wdGltaXNhdGlvbiB0aGF0IHlvdSds bCBtaXNzPGJyIC8+b3V0IG9uIGJ5IGRvaW5nIHRoaW5ncyB0aGUgd2F5IHlvdSBhcmUuPGJyIC8+ PGJyIC8+RGF2aWQ8L3A+PC9ibG9ja3F1b3RlPg==