Fix unique INCLUDE indexes on partitioned tables

alvherre · alvherre · commit 74aa7e046e4a · 2019-01-14T19:25:19.000-03:00
We were considering the INCLUDE columns as part of the key, allowing unicity-violating rows to be inserted in different partitions. Concurrent development conflict in eb7ed3f and 8224de4. Reported-by: Justin Pryzby Discussion: https://postgr.es/m/20190109065109.GA4285@telsasoft.com
diff --git a/src/backend/commands/indexcmds.c b/src/backend/commands/indexcmds.c
@@ -722,7 +722,7 @@ DefineIndex(Oid relationId,
 						 errdetail("%s constraints cannot be used when partition keys include expressions.",
 								   constraint_type)));
 
-			for (j = 0; j < indexInfo->ii_NumIndexAttrs; j++)
+			for (j = 0; j < indexInfo->ii_NumIndexKeyAttrs; j++)
 			{
 				if (key->partattrs[i] == indexInfo->ii_IndexAttrNumbers[j])
 				{
diff --git a/src/test/regress/expected/indexing.out b/src/test/regress/expected/indexing.out
@@ -1384,3 +1384,6 @@ insert into covidxpart values (4, 1);
 insert into covidxpart values (4, 1);
 ERROR:  duplicate key value violates unique constraint "covidxpart4_a_b_idx"
 DETAIL:  Key (a)=(4) already exists.
+create unique index on covidxpart (b) include (a); -- should fail
+ERROR:  insufficient columns in UNIQUE constraint definition
+DETAIL:  UNIQUE constraint on table "covidxpart" lacks column "a" which is part of the partition key.
diff --git a/src/test/regress/sql/indexing.sql b/src/test/regress/sql/indexing.sql
@@ -739,3 +739,4 @@ create unique index on covidxpart4 (a);
 alter table covidxpart attach partition covidxpart4 for values in (4);
 insert into covidxpart values (4, 1);
 insert into covidxpart values (4, 1);
+create unique index on covidxpart (b) include (a); -- should fail

Original file line number	Diff line number	Diff line change
`@@ -722,7 +722,7 @@ DefineIndex(Oid relationId,`
`722`	`722`	`errdetail("%s constraints cannot be used when partition keys include expressions.",`
`723`	`723`	`constraint_type)));`
`724`	`724`
`725`		`- for (j = 0; j < indexInfo->ii_NumIndexAttrs; j++)`
	`725`	`+ for (j = 0; j < indexInfo->ii_NumIndexKeyAttrs; j++)`
`726`	`726`	`{`
`727`	`727`	`if (key->partattrs[i] == indexInfo->ii_IndexAttrNumbers[j])`
`728`	`728`	`{`