Re: unique, partitioned index fails to distinguish index key from INCLUDEd columns

2019-01-14 Thread Alvaro Herrera
On 2019-Jan-14, Justin Pryzby wrote: > On Mon, Jan 14, 2019 at 07:31:07PM -0300, Alvaro Herrera wrote: > > Doh. Fix pushed. Commit 8224de4f42cc should have changed one > > appearance of ii_NumIndexAttrs to ii_NumIndexKeyAttrs, but because of > > the nature of concurrent development, nobody

Re: unique, partitioned index fails to distinguish index key from INCLUDEd columns

2019-01-14 Thread Justin Pryzby
On Mon, Jan 14, 2019 at 07:31:07PM -0300, Alvaro Herrera wrote: > On 2019-Jan-09, Justin Pryzby wrote: > > > -- Fails to error > > postgres=# CREATE UNIQUE INDEX ON t(j) INCLUDE(i); > > > > -- Fail to enforce uniqueness across partitions due to failure to enforce > > inclusion of partition key

Re: unique, partitioned index fails to distinguish index key from INCLUDEd columns

2019-01-14 Thread Alvaro Herrera
On 2019-Jan-09, Justin Pryzby wrote: > -- Fails to error > postgres=# CREATE UNIQUE INDEX ON t(j) INCLUDE(i); > > -- Fail to enforce uniqueness across partitions due to failure to enforce > inclusion of partition key in index KEY > postgres=# INSERT INTO t VALUES(1,1); > postgres=# INSERT INTO

unique, partitioned index fails to distinguish index key from INCLUDEd columns

2019-01-08 Thread Justin Pryzby
eb7ed3f3063401496e4aa4bd68fa33f0be31a72f Allow UNIQUE indexes on partitioned tables 8224de4f42ccf98e08db07b43d52fed72f962ebb Indexes with INCLUDE columns and their support in B-tree postgres=# CREATE TABLE t(i int,j int) PARTITION BY LIST (i); postgres=# CREATE TABLE t1 PARTITION OF t FOR