</para>

<para>

When used on partitioned tables, unique constraints must include all the

columns of the partition key.

If any partitions are in turn partitioned, all columns of each partition

key are considered at each level below the <literal>UNIQUE</literal>

constraint.

When establishing a unique constraint for a multi-level partition

hierarchy, all the columns in the partition key of the target

partitioned table, as well as those of all its descendant partitioned

tables, must be included in the constraint definition.

</para>

</listitem>

</varlistentry>

ERROR: circular inheritance not allowed

DETAIL: "list_parted2" is already a child of "list_parted2".

-- If a partitioned table being created or an existing table being attached

-- as aparitition does not have a constraint that would allow validation scan

-- as apartition does not have a constraint that would allow validation scan

-- to be skipped, but an individual partition does, then the partition's

-- validation scan is skipped.

CREATE TABLE quuux (a int, b text) PARTITION BY LIST (a);

ERROR: insufficient columns in PRIMARY KEY constraint definition

DETAIL: PRIMARY KEY constraint on table "idxpart2" lacks column "b" which is part of the partition key.

drop table idxpart;

-- Ditto for the ATTACH PARTITION case

create table idxpart (a int primary key, b int) partition by range (a);

create table idxpart1 (a int not null, b int, primary key (a, b))

partition by range (a, b);

alter table idxpart attach partition idxpart1 for values from (1) to (1000);

ERROR: insufficient columns in PRIMARY KEY constraint definition

DETAIL: PRIMARY KEY constraint on table "idxpart1" lacks column "b" which is part of the partition key.

DROP TABLE idxpart, idxpart1;

-- Multi-layer partitioning works correctly in this case:

create table idxpart (a int, b int, primary key (a, b)) partition by range (a);

create table idxpart2 partition of idxpart for values from (0) to (1000) partition by range (b);

ALTERTABLE list_parted2 ATTACH PARTITION list_parted2 FORVALUESIN (0);

CREATETABLEquuux (aint, btext) PARTITION BY LIST (a);

forvaluesfrom (0) to (1000) partition by range (b);-- fail

droptable idxpart;

createtableidxpart (aintprimary key, bint) partition by range (a);

createtableidxpart1 (aintnot null, bint,primary key (a, b))

partition by range (a, b);

altertable idxpart attach partition idxpart1 forvaluesfrom (1) to (1000);

DROPTABLE idxpart, idxpart1;

createtableidxpart (aint, bint,primary key (a, b)) partition by range (a);

createtableidxpart2 partition of idxpart forvaluesfrom (0) to (1000) partition by range (b);