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