if (part_relid!=RelationGetRelid(default_rel))

{

part_rel=heap_open(part_relid,NoLock);

if (PartConstraintImpliedByRelConstraint(part_rel,

def_part_constraints))

{

ereport(INFO,

(errmsg("partition constraint for table \"%s\" is implied by existing constraints",

RelationGetRelationName(part_rel))));

heap_close(part_rel,NoLock);

continue;

}

}

part_rel=default_rel;

ALTER TABLE list_parted2 ATTACH PARTITION list_parted2 FOR VALUES IN (0);

ERROR: circular inheritance not allowed

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

-- If the partitioned table being attached 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.

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

-- as a paritition 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);

CREATE TABLE quuux_default PARTITION OF quuux DEFAULT PARTITION BY LIST (b);

CREATE TABLE quuux_default1 PARTITION OF quuux_default (

CREATE TABLE quuux2 (a int, b text);

ALTER TABLE quuux ATTACH PARTITION quuux2 FOR VALUES IN (2); -- skip validation

INFO: updated partition constraint for default partition "quuux_default1" is implied by existing constraints

DROP TABLE quuux1, quuux2;

-- should validate for quuux1, but not for quuux2

CREATE TABLE quuux1 PARTITION OF quuux FOR VALUES IN (1);

CREATE TABLE quuux2 PARTITION OF quuux FOR VALUES IN (2);

INFO: partition constraint for table "quuux_default1" is implied by existing constraints

DROP TABLE quuux;

--

-- DETACH PARTITION

ALTERTABLE part_5 ATTACH PARTITION list_parted2 FORVALUESIN ('b');

ALTERTABLE list_parted2 ATTACH PARTITION list_parted2 FORVALUESIN (0);

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

CREATETABLEquuux_default PARTITION OF quuux DEFAULT PARTITION BY LIST (b);

CREATETABLEquuux_default1 PARTITION OF quuux_default (

ALTERTABLE quuux ATTACH PARTITION quuux1 FORVALUESIN (1);-- validate!

CREATETABLEquuux2 (aint, btext);

ALTERTABLE quuux ATTACH PARTITION quuux2 FORVALUESIN (2);-- skip validation

DROPTABLE quuux1, quuux2;

CREATETABLEquuux1 PARTITION OF quuux FORVALUESIN (1);

CREATETABLEquuux2 PARTITION OF quuux FORVALUESIN (2);

DROPTABLE quuux;