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 1roIQw-000hrF-2v for pgsql-hackers@arkaria.postgresql.org; Sun, 24 Mar 2024 07:38:23 +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 1roIQt-00C7Zn-T2 for pgsql-hackers@arkaria.postgresql.org; Sun, 24 Mar 2024 07:38:20 +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 1roIQs-00C7Zd-8S for pgsql-hackers@lists.postgresql.org; Sun, 24 Mar 2024 07:38:20 +0000 Received: from fout1-smtp.messagingengine.com ([103.168.172.144]) by magus.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1roIQo-006CNq-2M for pgsql-hackers@lists.postgresql.org; Sun, 24 Mar 2024 07:38:18 +0000 Received: from compute2.internal (compute2.nyi.internal [10.202.2.46]) by mailfout.nyi.internal (Postfix) with ESMTP id 79C2B1380086; Sun, 24 Mar 2024 03:38:11 -0400 (EDT) Received: from mailfrontend2 ([10.202.2.163]) by compute2.internal (MEProxy); Sun, 24 Mar 2024 03:38:11 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=eisentraut.org; h=cc:cc:content-transfer-encoding:content-type:content-type :date:date:from:from:in-reply-to:in-reply-to:message-id :mime-version:references:reply-to:subject:subject:to:to; s=fm1; t=1711265891; x=1711352291; bh=TCwZgTcylkhUaWBByWm/zadFSE63yUvr z2vw0diM0+8=; b=FdaUZHRBrx/fQcif3rQfU9gvPTUKAaMWHwOpnBXjqerqUU2s fxMzqDqzNCSl2rB2TmRzMRkf7lTuHlXBBoFiIcPifRKNScH2sGkPGkKBRrlJnt48 Xw/OT30voNsTLYmF6DycwiGXvcV5zfqPvVbl8meFYZlg6eXDzivdgYJdLrdqXW7A JIrZspWCzRKfSDhB0AfjLXG8gkVwc4J29z7ohj2z7jsMMI61VvwtCsyGlPRB2vPA 8Irpe/B/vBxMMohpcMrBoGlqra2e6/1+e3sk2Gz+gOz4875gAId6zC5iuRQMGV/v 8+nrNkoC2i62VkPnWPf01jht5qIZfOcaF05ItQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:cc:content-transfer-encoding :content-type:content-type:date:date:feedback-id:feedback-id :from:from:in-reply-to:in-reply-to:message-id:mime-version :references:reply-to:subject:subject:to:to:x-me-proxy:x-me-proxy :x-me-sender:x-me-sender:x-sasl-enc; s=fm2; t=1711265891; x= 1711352291; bh=TCwZgTcylkhUaWBByWm/zadFSE63yUvrz2vw0diM0+8=; b=Y l0VTlPcJmS68JPA2n4Pck/5Dq69lRNC9c5sd1KG4wsVDq8ISdjEgVIKUlqS27O91 rxGsle3Xgepv/hFaUCJ6SBUf4AXgC2DW9Nep8U+UNFBdkoAXNsqd4uagsRbq16JF 9+XNxJNsLE6jIpbLHDKh7kEtG+Lnbvj9vMBZMW4gAvZiKhramMZJubfZ1laK5Wao 2Z57BgLWWqeRGurQ6hz1FnCXmELE40XM5wZ/Kifk1442QuQcGFwGDp/cV8MIb5bz MWHiul1f/Hj1mM9t+wZh2R3KkbWar24PG5S+MEMQsdhqe6ZDm9HTk9qpv1HokKWZ RfhTTMna5M+Hed98PAP9A== X-ME-Sender: X-ME-Received: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedvledruddtiedgtdejucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmne cujfgurhepkfffgggfuffvvehfhfgjtgfgsehtjeertddtvdejnecuhfhrohhmpefrvght vghrucfgihhsvghnthhrrghuthcuoehpvghtvghrsegvihhsvghnthhrrghuthdrohhrgh eqnecuggftrfgrthhtvghrnhepgfejtdfhkeeftdeugfeileehteeljeeghfeuledthfeu tedvffdukeefjefhgeehnecuvehluhhsthgvrhfuihiivgeptdenucfrrghrrghmpehmrg hilhhfrhhomhepphgvthgvrhesvghishgvnhhtrhgruhhtrdhorhhg X-ME-Proxy: Feedback-ID: ie0a040ee:Fastmail Received: by mail.messagingengine.com (Postfix) with ESMTPA; Sun, 24 Mar 2024 03:38:10 -0400 (EDT) Message-ID: <1edb3b79-a4bc-43b1-80aa-2e090472fe32@eisentraut.org> Date: Sun, 24 Mar 2024 08:38:08 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: SQL:2011 application time Content-Language: en-US To: Paul Jungwirth , jian he Cc: PostgreSQL Hackers References: <41b57948-f4d3-455f-8880-e0ce7e61ffc1@illuminatedcomputing.com> <0d977c63-f4a6-43ba-aad0-35c06c55df11@eisentraut.org> <85dd3ad0-fa79-46e8-a08b-c426c76825f3@eisentraut.org> <49c07eac-18ec-4aff-929c-e81b87df1092@eisentraut.org> From: Peter Eisentraut In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk On 23.03.24 18:42, Paul Jungwirth wrote: > Now this is a long chain of reasoning to say rangetypes are safe. I > added a comment. Note it doesn't apply to arbitrary types, so if we > support those eventually we should just require a recheck always, or > alternately use equals, not containedby. (That would require storing > equals somewhere. It could go in ffeqop, but that feels like a footgun > since pfeqop and ppeqop need overlaps.) Ok, this explanation is good enough for now. I have committed the patches v33-0001-Add-temporal-FOREIGN-KEYs.patch and v33-0002-Support-multiranges-in-temporal-FKs.patch (together).