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 1r464X-007KsN-SZ for pgsql-hackers@arkaria.postgresql.org; Fri, 17 Nov 2023 21:08:18 +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 1r464W-00G6aw-D3 for pgsql-hackers@arkaria.postgresql.org; Fri, 17 Nov 2023 21:08:16 +0000 Received: from makus.postgresql.org ([2001:4800:3e1:1::229]) by malur.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1r464V-00G6ab-Pa for pgsql-hackers@lists.postgresql.org; Fri, 17 Nov 2023 21:08:15 +0000 Received: from mail-pl1-x62c.google.com ([2607:f8b0:4864:20::62c]) by makus.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256 (Exim 4.94.2) (envelope-from ) id 1r464S-0064PP-IK for pgsql-hackers@postgresql.org; Fri, 17 Nov 2023 21:08:14 +0000 Received: by mail-pl1-x62c.google.com with SMTP id d9443c01a7336-1cc0e78ec92so18857855ad.3 for ; Fri, 17 Nov 2023 13:08:12 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=j-davis-com.20230601.gappssmtp.com; s=20230601; t=1700255291; x=1700860091; darn=postgresql.org; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:cc:to:from:subject:message-id:from:to:cc:subject :date:message-id:reply-to; bh=k/hYtSrhZVDB/hiiwTgmb3zfuTrF6Xh4Qh2rwX2JHI8=; b=FED7xJxLQZGYnM5W3g6v4VtCwVBN/YxRRg6YB/Vk5FwZ5XsQRdeuLsIsj5CV7jwIaj FOn1dOB0TuvD5HVz3537P2lNIXpv8jUT3nO+sDg5S7IVviaRIvXfSswGc8DZb2OXuQP6 d7ELmUYaBP0dLUam86swx77GmaC9hrP7jRjjDvE+4lgMtrGkrZyX/52lff2mgKSpb58J uEu16CxOKGdSBC6ewhF/tQHrBwwV5N3it3zFOHsU4ya1QzMpRfdNvueMBqtgXetdaKlv MVeB3HwX5OLLk/C8A3e2TLt/toSA9cZcq+B6j2LkTM04dU2CM8TOSx766scTtEpBxQXY Y0iw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1700255291; x=1700860091; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:cc:to:from:subject:message-id:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=k/hYtSrhZVDB/hiiwTgmb3zfuTrF6Xh4Qh2rwX2JHI8=; b=qeGwJ4wX+CkJqTlCiMKVYux4Bybc0jAqdxil+KeWnKUE6zmQBU+ARCg//JI4gUNmoB 7pTlRfviE99ur/WnbjxBAjQKACVINi1p+gotKqQYZxVxU3v0tCAkXo6jIt4uX57g9dM8 psmhwnPXufdpMQTsqbBFQxyXdpflNE5T2IHY+f3XscLUsMgRHt0hMzxBLQz7YhpUlpv4 iogNGqUnB3cACc3+RW9Q3vZga2RnGWsW7MKZjqHb1j8ZOYQwKw4xogUetC+YEgx3ObHA PNql1fpH0hFpKvizmM18sWaIQBTl6gCM5MekVXQ3rvXA1kAjf7lJ+dCD8RwIuoleGc1t ZIxg== X-Gm-Message-State: AOJu0YyneqLThR+l1IEpw035KdYTfwSCyq3Ti/ms+3txjBASzzOiIcSb QAa/3Gtc0IJUwFPR5961Xe2NnB+kEFZEoIH1Lbo= X-Google-Smtp-Source: AGHT+IFOcpTabFICpXV5O+uVi5TcLOTMpyP40zGJsg6vn2cmsdw3zTKpBzErgdI42nympbrQvl0ajQ== X-Received: by 2002:a17:903:1205:b0:1c9:e4f2:a39d with SMTP id l5-20020a170903120500b001c9e4f2a39dmr952744plh.49.1700255291350; Fri, 17 Nov 2023 13:08:11 -0800 (PST) Received: from [172.18.10.36] ([12.126.244.130]) by smtp.gmail.com with ESMTPSA id x13-20020a1709027c0d00b001c72d5e16acsm1803247pll.57.2023.11.17.13.08.10 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 17 Nov 2023 13:08:10 -0800 (PST) Message-ID: <081a16a7fcd3ec0bd17560ee5612655c1e04c78c.camel@j-davis.com> Subject: Re: should check collations when creating partitioned index From: Jeff Davis To: Tom Lane Cc: Peter Eisentraut , pgsql-hackers Date: Fri, 17 Nov 2023 13:08:09 -0800 In-Reply-To: <758153.1700252337@sss.pgh.pa.us> References: <3327cb54-f7f1-413b-8fdb-7a9dceebb938@eisentraut.org> <758153.1700252337@sss.pgh.pa.us> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable User-Agent: Evolution 3.44.4-0ubuntu2 MIME-Version: 1.0 List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk On Fri, 2023-11-17 at 15:18 -0500, Tom Lane wrote: > You keep harping on this idea that we are only concerned with > equality, > but I think you are wrong.=C2=A0 We expect a btree index to provide > ordering > not only equality, and this example definitely is a btree index. >=20 > Possibly, with a great deal more specificity added to the check, we > could distinguish the cases where ordering can't matter and allow > collation variance then.=C2=A0 I do not see the value of that, especially > not when measured against the risk of introducing subtle bugs. Fair point. As background, I don't see a complete solution to our collation problems and on the horizon. You've probably noticed that I'm looking for various ways to mitigate the problem, and this thread was about reducing the number of situations in which we rely on collation. I'll focus on other potential improvements/mitigations and see if I can make progress somewhere else. Regards, Jeff Davis