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 1rsGuF-005yUu-G0 for pgsql-bugs@arkaria.postgresql.org; Thu, 04 Apr 2024 06:49:04 +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 1rsGuE-00GUcH-Mv for pgsql-bugs@arkaria.postgresql.org; Thu, 04 Apr 2024 06:49:02 +0000 Received: from magus.postgresql.org ([2a02:c0:301:0:ffff::29]) by malur.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1rsGNU-00G1Ap-BK for pgsql-bugs@lists.postgresql.org; Thu, 04 Apr 2024 06:15:12 +0000 Received: from mahout.postgresql.org ([2001:4800:3e1:1::227]) by magus.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1rsGNP-000YDq-PE for pgsql-bugs@lists.postgresql.org; Thu, 04 Apr 2024 06:15:11 +0000 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=postgresql.org; s=20171124; h=Message-ID:Date:Reply-To:Cc:From:To:Subject: MIME-Version:Content-Type:Sender:Content-Transfer-Encoding:Content-ID: Content-Description:In-Reply-To:References; bh=meoDw3x67baajTFPPjUDenuGacUSEtTph3qYy0+xOmM=; b=rKbholXQT36fq6uu/gMYf8lxvY yqM+iwtsRCyDeo4zEiitLGxbGqIs7EwT71GIgQkHG2ZZCUjXc12zywnyn8vmYDnrJW8IvMnDsud0g IukISg9ZT1LPNwh99qo94dUPUWycGLCh4p97qthoa3YMr+TR4aCY424PcAyi+XCqypjKiL8j4sSbY 1EBe25WKtND67YTM3OdIjYldQkHbb7dQXdnaE0PlosdSNx9aQ0h8RRrlcjN+Qu6XS2EEYwLHQmTiR vcS2ZN+8mXCFhmeKQqiJXifO8WQx0s8QXzef+T896QZukXB4bL97Dr+BHfSq+YairHERW4fe0oQS1 +gVTc8vw==; Received: from wrigleys.postgresql.org ([2a02:16a8:dc51::60]) by mahout.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1rsGNN-001Hu0-7G for pgsql-bugs@lists.postgresql.org; Thu, 04 Apr 2024 06:15:06 +0000 Received: from localhost ([127.0.0.1] helo=wrigleys.postgresql.org) by wrigleys.postgresql.org with esmtp (Exim 4.94.2) (envelope-from ) id 1rsGNL-00481M-4q for pgsql-bugs@lists.postgresql.org; Thu, 04 Apr 2024 06:15:03 +0000 Content-Type: multipart/mixed; boundary="===============4092355527978104527==" MIME-Version: 1.0 Subject: BUG #18420: Unexpected values appeared in select query statements that should logically imply each other To: pgsql-bugs@lists.postgresql.org From: PG Bug reporting form Cc: akuluasan@163.com Reply-To: akuluasan@163.com, pgsql-bugs@lists.postgresql.org Date: Thu, 04 Apr 2024 06:14:03 +0000 Message-ID: <18420-a898ab9e4f2b21bd@postgresql.org> X-Auto-Response-Suppress: All Auto-Submitted: auto-generated List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk --===============4092355527978104527== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlIGZvbGxvd2luZyBidWcgaGFzIGJlZW4gbG9nZ2VkIG9uIHRoZSB3ZWJzaXRlOgoKQnVnIHJl ZmVyZW5jZTogICAgICAxODQyMApMb2dnZWQgYnk6ICAgICAgICAgIEhlaWwKRW1haWwgYWRkcmVz czogICAgICBha3VsdWFzYW5AMTYzLmNvbQpQb3N0Z3JlU1FMIHZlcnNpb246IDE2LjIKT3BlcmF0 aW5nIHN5c3RlbTogICB1YnVudHUgMjAuMDQKRGVzY3JpcHRpb246ICAgICAgICAKCkluIHRoZW9y eSx0aGUgcmVzdWx0IG9mIHNxbDIgc2hvdWxkIOKIiCB0aGUgcmVzdWx0IG9mIHNxbDEuVGhlIGNv bnN0cmFpbnQgb2YgYQpXSEVSRSBjbGF1c2Ugc2hvdWxkIGJlIGdyZWF0ZXIgdGhhbiBvciBlcXVh bCB0byBXSEVSRSBGQUxTRS4NCg0KaG93ZXZlcix0aGUgdmFsdWUgMSBjaGFuZ2UgdG8gMS4wMDAw MDAwMDAwMDAwMDAwIGFmdGVyIGNoYW5naW5nIHRoZSBXSEVSRQpjbGF1c2Usd2hpY2ggc2VlbXMg bGlrZSBhIGxvZ2ljYWwgYnVnDQoNCi0tLS1jcmVhdGUgZGF0YS0tLS0NCmNyZWF0ZSB0YWJsZSB0 YWJsZV8zX3V0ZjhfdW5kZWYgKA0KaWQgU0VSSUFMIFBSSU1BUlkgS0VZLA0KImNvbF9pbnRfdW5k ZWZfc2lnbmVkIiBpbnQgICwNCiJjb2xfaW50X2tleV9zaWduZWQiIGludCAgLA0KImNvbF9iaWdp bnRfdW5kZWZfc2lnbmVkIiBiaWdpbnQgICwNCiJjb2xfYmlnaW50X2tleV9zaWduZWQiIGJpZ2lu dCAgLA0KImNvbF9yZWFsX3VuZGVmX3NpZ25lZCIgcmVhbCAgLA0KImNvbF9yZWFsX2tleV9zaWdu ZWQiIHJlYWwgICwNCiJjb2xfZG91YmxlIHByZWNpc2lvbl91bmRlZl9zaWduZWQiIGRvdWJsZSBw cmVjaXNpb24gICwNCiJjb2xfZG91YmxlIHByZWNpc2lvbl9rZXlfc2lnbmVkIiBkb3VibGUgcHJl Y2lzaW9uICAsDQoiY29sX251bWVyaWMoNDAsIDIwKV91bmRlZl9zaWduZWQiIG51bWVyaWMoNDAs IDIwKSAgLA0KImNvbF9udW1lcmljKDQwLCAyMClfa2V5X3NpZ25lZCIgbnVtZXJpYyg0MCwgMjAp ICAsDQoiY29sX2NoYXIoMjApX3VuZGVmX3NpZ25lZCIgY2hhcigyMCkgICwNCiJjb2xfY2hhcigy MClfa2V5X3NpZ25lZCIgY2hhcigyMCkgICwNCiJjb2xfdmFyY2hhcigyMClfdW5kZWZfc2lnbmVk IiB2YXJjaGFyKDIwKSAgLA0KImNvbF92YXJjaGFyKDIwKV9rZXlfc2lnbmVkIiB2YXJjaGFyKDIw KSAgDQopIDsNCmluc2VydCBpbnRvIHRhYmxlXzNfdXRmOF91bmRlZiB2YWx1ZXMKKDAsODIuMTg0 NywxLDM5LjA0MjUsLTAuMDAwMSwtOS4xODMsLTEsLTkuMTgzLDM4LjEwODksLTEsLTkuMTgzLCdq dXN0JywnMwknLCczDQonLCctMScpLCgxLDEyLjk5MSwtMCwtMiwxOTc1NSwtMTMwNjQsLTkuMTgz LDAsMSwtMCw3OS4xNDI5LCczDQonLCczCScsJ3dlbGwnLCczDQonKSwoMiw5LjExOTQsMSwyMC4w MDc4LC05LjE4Myw2OC4xOTU3LDEsMiwxLC0xLDAuMDAwMSwnDQozJywnDQozJywnLTAnLCctMScp Ow0KY3JlYXRlIHRhYmxlIHRhYmxlXzdfdXRmOF91bmRlZiAoDQppZCBTRVJJQUwgUFJJTUFSWSBL RVksDQoiY29sX2ludF91bmRlZl9zaWduZWQiIGludCAgLA0KImNvbF9pbnRfa2V5X3NpZ25lZCIg aW50ICAsDQoiY29sX2JpZ2ludF91bmRlZl9zaWduZWQiIGJpZ2ludCAgLA0KImNvbF9iaWdpbnRf a2V5X3NpZ25lZCIgYmlnaW50ICAsDQoiY29sX3JlYWxfdW5kZWZfc2lnbmVkIiByZWFsICAsDQoi Y29sX3JlYWxfa2V5X3NpZ25lZCIgcmVhbCAgLA0KImNvbF9kb3VibGUgcHJlY2lzaW9uX3VuZGVm X3NpZ25lZCIgZG91YmxlIHByZWNpc2lvbiAgLA0KImNvbF9kb3VibGUgcHJlY2lzaW9uX2tleV9z aWduZWQiIGRvdWJsZSBwcmVjaXNpb24gICwNCiJjb2xfbnVtZXJpYyg0MCwgMjApX3VuZGVmX3Np Z25lZCIgbnVtZXJpYyg0MCwgMjApICAsDQoiY29sX251bWVyaWMoNDAsIDIwKV9rZXlfc2lnbmVk IiBudW1lcmljKDQwLCAyMCkgICwNCiJjb2xfY2hhcigyMClfdW5kZWZfc2lnbmVkIiBjaGFyKDIw KSAgLA0KImNvbF9jaGFyKDIwKV9rZXlfc2lnbmVkIiBjaGFyKDIwKSAgLA0KImNvbF92YXJjaGFy KDIwKV91bmRlZl9zaWduZWQiIHZhcmNoYXIoMjApICAsDQoiY29sX3ZhcmNoYXIoMjApX2tleV9z aWduZWQiIHZhcmNoYXIoMjApICANCikgOw0KaW5zZXJ0IGludG8gdGFibGVfN191dGY4X3VuZGVm IHZhbHVlcwooMCwyLDYxLC0wLC0wLjAwMDEsLTkuMTgzLDEsLTEsMiwxMi45OTEsLTE0NjE2LCcw JywnDQozJywnMwknLCcxJyksKDEsMSwxLC0yLC0wLjAwMDEsMSwtMjEyNDcsMS4wMDksMiwxLjAw OSwwLjAwMDEsJy0wJywnYW5kJywnDQozJywnMw0KJyksKDIsLTIsMiwtMCwwLjAwMDEsLTIsMC4x NTk4LDQ3LjE1MTUsMS4wMDksMiwtMCwnbicsJ2UnLCcNCjMnLCctMCcpLCgzLDEuMTM4NCwyLDE1 LjEyNzEsLTAsMTIuOTkxLC0yLDAuMDAwMSwzNi4xMjcwLDc5LjE4MTksMC4wMDAxLCcwJywnLTEn LCctMScsJ3QnKSwoNCw1Mi4wODE4LC0wLDAuMDAwMSwtMCwxLC0wLC0yLDc5LDEyLjk5MSwxMDcs JzMNCicsJ2onLCcxJywnMScpLCg1LDAsMS4wMDksMS4wMDksMzQsLTksMSwtMSwtMTE0LDY5LjAy MDgsMSwnDQozJywnMw0KJywndicsJ2EnKSwoNiwxMi45OTEsLTI0NjU3LDM3NzUsLTAuMDAwMSww LjAwMDEsLTIsMSwtOS4xODMsMSwxMi45OTEsJzEnLCczCScsJ24nLCcwJyk7DQoNCg0KDQoNCi0t LS1zcWwxLS0tLQ0KDQoNCldJVEggIk1ZV0lUSCIgQVMgKChTRUxFQ1QgKENFSUxJTkcoMC4yNDgz ODIpKSBBUyAiZjEiLChDSEFSX0xFTkdUSCgKJ2dxbmpydXknKSkgQVMgImYyIiwoQ0hBUl9MRU5H VEgoICd2ZnRkeHVwJykpIEFTICJmMyIgRlJPTSAoU0VMRUNUIAoiY29sX2JpZ2ludF9rZXlfc2ln bmVkIiBBUyAiZjQiLCAiY29sX3JlYWxfa2V5X3NpZ25lZCIgQVMgImY1IiwgImNvbF9kb3VibGUK cHJlY2lzaW9uX3VuZGVmX3NpZ25lZCIgQVMgImY2IiBGUk9NICJ0YWJsZV8zX3V0ZjhfdW5kZWYi KSBBUyAidDEiIA0KDQpXSEVSRSAoKChOT1QgKChMRUZUKCAnd3h5bmh3aScsIDMpKSBJTiAoU0VM RUNUIAoiY29sX3ZhcmNoYXIoMjApX3VuZGVmX3NpZ25lZCIgRlJPTSAidGFibGVfM191dGY4X3Vu ZGVmIikpKSBPUiAoKFJPVyhBU0NJSSgKJ3lkYWRpeXgnKTw8OTcwLDQpIE5PVCBJTiAoU0VMRUNU ICAiY29sX2ludF91bmRlZl9zaWduZWQiLCAiY29sX2RvdWJsZQpwcmVjaXNpb25fa2V5X3NpZ25l ZCIgRlJPTSAidGFibGVfM191dGY4X3VuZGVmIikpIElTIEZBTFNFKSkgQU5ECigoKFJPVyhBQlMo MC4yNzczMTUpLEFDT1MoMC45NzY1MTUpLVBJKCkpIElOIChTRUxFQ1QgICJjb2xfZG91YmxlCnBy ZWNpc2lvbl9rZXlfc2lnbmVkIiwgImNvbF9udW1lcmljKDQwLCAyMClfa2V5X3NpZ25lZCIgRlJP TQoidGFibGVfM191dGY4X3VuZGVmIikpIElTIEZBTFNFKSBPUiAoKFRSVUUpIElTIEZBTFNFKSkp IElTIFRSVUUgT1JERVIgQlkKImY0IikgDQoNClVOSU9OIChTRUxFQ1QgKENFSUxJTkcoMC41Njc3 MzMpXkNFSUwoMC44OTE4NDUpKSBBUyAiZjEiLChDSEFSX0xFTkdUSCgKJ3B6ZGt3ZmsnKSkgQVMg ImYyIiwoQ0hBUl9MRU5HVEgoICd5cndnbGNiJykpIEFTICJmMyIgRlJPTSAoU0VMRUNUIAoiY29s X3JlYWxfa2V5X3NpZ25lZCIgQVMgImYxMCIsICJjb2xfYmlnaW50X2tleV9zaWduZWQiIEFTICJm OCIsCiJjb2xfaW50X3VuZGVmX3NpZ25lZCIgQVMgImYxMSIgRlJPTSAidGFibGVfM191dGY4X3Vu ZGVmIikgQVMgInQyIiBOQVRVUkFMCkpPSU4gKFNFTEVDVCAgImNvbF9kb3VibGUgcHJlY2lzaW9u X3VuZGVmX3NpZ25lZCIgQVMgImY3IiwKImNvbF9pbnRfdW5kZWZfc2lnbmVkIiBBUyAiZjEyIiwg ImNvbF9udW1lcmljKDQwLCAyMClfdW5kZWZfc2lnbmVkIiBBUyAiZjkiCkZST00gInRhYmxlXzNf dXRmOF91bmRlZiIpIEFTICJ0MyIpKSBTRUxFQ1QgKiBGUk9NICJNWVdJVEgiOw0KDQogZjEgfCBm MiB8IGYzIA0KLS0tLSstLS0tKy0tLS0NCiAgMSB8ICA3IHwgIDcNCg0KDQoNCg0KLS0tLXNxbDIt LS0tDQpXSVRIICJNWVdJVEgiIEFTICgoU0VMRUNUIChDRUlMSU5HKDAuMjQ4MzgyKSkgQVMgImYx IiwoQ0hBUl9MRU5HVEgoCidncW5qcnV5JykpIEFTICJmMiIsKENIQVJfTEVOR1RIKCAndmZ0ZHh1 cCcpKSBBUyAiZjMiIEZST00gKFNFTEVDVCAKImNvbF9iaWdpbnRfa2V5X3NpZ25lZCIgQVMgImY0 IiwgImNvbF9yZWFsX2tleV9zaWduZWQiIEFTICJmNSIsICJjb2xfZG91YmxlCnByZWNpc2lvbl91 bmRlZl9zaWduZWQiIEFTICJmNiIgRlJPTSAidGFibGVfM191dGY4X3VuZGVmIikgQVMgInQxIiAN Cg0KV0hFUkUgRkFMU0UgT1JERVIgQlkgImY0IikgDQoNClVOSU9OIChTRUxFQ1QgKENFSUxJTkco MC41Njc3MzMpXkNFSUwoMC44OTE4NDUpKSBBUyAiZjEiLChDSEFSX0xFTkdUSCgKJ3B6ZGt3Zmsn KSkgQVMgImYyIiwoQ0hBUl9MRU5HVEgoICd5cndnbGNiJykpIEFTICJmMyIgRlJPTSAoU0VMRUNU IAoiY29sX3JlYWxfa2V5X3NpZ25lZCIgQVMgImYxMCIsICJjb2xfYmlnaW50X2tleV9zaWduZWQi IEFTICJmOCIsCiJjb2xfaW50X3VuZGVmX3NpZ25lZCIgQVMgImYxMSIgRlJPTSAidGFibGVfM191 dGY4X3VuZGVmIikgQVMgInQyIiBOQVRVUkFMCkpPSU4gKFNFTEVDVCAgImNvbF9kb3VibGUgcHJl Y2lzaW9uX3VuZGVmX3NpZ25lZCIgQVMgImY3IiwKImNvbF9pbnRfdW5kZWZfc2lnbmVkIiBBUyAi ZjEyIiwgImNvbF9udW1lcmljKDQwLCAyMClfdW5kZWZfc2lnbmVkIiBBUyAiZjkiCkZST00gInRh YmxlXzNfdXRmOF91bmRlZiIpIEFTICJ0MyIpKSBTRUxFQ1QgKiBGUk9NICJNWVdJVEgiOw0KDQog ICAgICAgICBmMSAgICAgICAgIHwgZjIgfCBmMyANCi0tLS0tLS0tLS0tLS0tLS0tLS0tKy0tLS0r LS0tLQ0KIDEuMDAwMDAwMDAwMDAwMDAwMCB8ICA3IHwgIDcKCg== --===============4092355527978104527==--