OiddeleteTriggerOid,

updateTriggerOid;

Assert(CheckRelationLockedByMe(pkrel, ShareRowExclusiveLock, true));

Assert(CheckRelationLockedByMe(rel, ShareRowExclusiveLock, true));

/*

* Create the action triggers that enforce the constraint.

*/

OidpartIndexId;

ObjectAddress address;

/* XXX would it be better to acquire these locks beforehand? */

partRel = table_open(pd->oids[i], ShareRowExclusiveLock);

/*

updateTriggerOid;

Assert(OidIsValid(parentConstr));

Assert(CheckRelationLockedByMe(rel, ShareRowExclusiveLock, true));

Assert(CheckRelationLockedByMe(pkrel, ShareRowExclusiveLock, true));

if (rel->rd_rel->relkind == RELKIND_FOREIGN_TABLE)

ereport(ERROR,

continue;

}

/*

* Because we're only expanding the key space at the referenced side,

* we don't need to prevent any operation in the referencing table, so

* AccessShareLock suffices (assumes that dropping the constraint

* acquires AccessExclusiveLock).

*/

fkRel = table_open(constrForm->conrelid, AccessShareLock);

/* We need the same lock level that CreateTrigger will acquire */

fkRel = table_open(constrForm->conrelid, ShareRowExclusiveLock);

indexOid = constrForm->conindid;

DeconstructFkConstraintRow(tuple,

foreach(cell, fks)

{

ForeignKeyCacheInfo *fk = lfirst(cell);

HeapTuplecontup,

parentConTup;

HeapTuplecontup;

Form_pg_constraint conform;

OidinsertTriggerOid,

updateTriggerOid;

continue;

}

Assert(OidIsValid(conform->conparentid));

parentConTup = SearchSysCache1(CONSTROID,

ObjectIdGetDatum(conform->conparentid));

if (!HeapTupleIsValid(parentConTup))

elog(ERROR, "cache lookup failed for constraint %u",

conform->conparentid);

/*

* The constraint on this table must be marked no longer a child of

* the parent's constraint, as do its check triggers.

Oidconffeqop[INDEX_MAX_KEYS];

intnumfkdelsetcols;

AttrNumberconfdelsetcols[INDEX_MAX_KEYS];

AttrMap *attmap;

RelationrefdRel;

DeconstructFkConstraintRow(contup,

fkconstraint->old_pktable_oid = InvalidOid;

fkconstraint->location = -1;

attmap = build_attrmap_by_name(RelationGetDescr(partRel),

RelationGetDescr(rel),

false);

/* set up colnames, used to generate the constraint name */

for (int i = 0; i < numfks; i++)

{

Form_pg_attribute att;

att = TupleDescAttr(RelationGetDescr(partRel),

attmap->attnums[conkey[i] - 1] - 1);

conkey[i] - 1);

fkconstraint->fk_attrs = lappend(fkconstraint->fk_attrs,

makeString(NameStr(att->attname)));

}

refdRel = table_open(fk->confrelid,AccessShareLock);

refdRel = table_open(fk->confrelid,ShareRowExclusiveLock);

addFkRecurseReferenced(fkconstraint, partRel,

refdRel,

true,

InvalidOid, InvalidOid,

conform->conperiod);

table_close(refdRel,AccessShareLock);

table_close(refdRel,NoLock);/* keep lock till end of xact */

}

ReleaseSysCache(contup);

ReleaseSysCache(parentConTup);

}

list_free_deep(fks);

if (trigrel)

CREATE TABLE fk_p ( id int, jd int, PRIMARY KEY(id, jd)) PARTITION BY list (id)

CREATE TABLE fk_p_1 PARTITION OF fk_p FOR VALUES IN (1) PARTITION BY list (jd)

CREATE TABLE fk_p_1_1 PARTITION OF fk_p_1 FOR VALUES IN (1)

CREATE TABLE fk_p_1_2PARTITION OF fk_p_1 FOR VALUES IN (2)

CREATE TABLE fk_p_1_2(x int, y int, jd int NOT NULL, id int NOT NULL)

CREATE TABLE fk_p_2 PARTITION OF fk_p FOR VALUES IN (2) PARTITION BY list (jd)

CREATE TABLE fk_p_2_1 PARTITION OF fk_p_2 FOR VALUES IN (1)

CREATE TABLE fk_p_2_2 PARTITION OF fk_p_2 FOR VALUES IN (2)

CREATE TABLE fk_r_1 (id intPRIMARY KEY, p_id int NOT NULL, p_jd int NOT NULL)

CREATE TABLE fk_r_1 (p_jd intNOT NULL, x int, id int PRIMARY KEY, p_id int NOT NULL)

CREATE TABLE fk_r_2 ( id int PRIMARY KEY, p_id int NOT NULL, p_jd int NOT NULL) PARTITION BY list (id)

CREATE TABLE fk_r_2_1 PARTITION OF fk_r_2 FOR VALUES IN (2, 1)

CREATE TABLE fk_r ( id int PRIMARY KEY, p_id int NOT NULL, p_jd int NOT NULL,

FOREIGN KEY (p_id, p_jd) REFERENCES fk_p (id, jd)

) PARTITION BY list (id);

SET search_path TO fkpart12;

ALTER TABLE fk_p_1_2 DROP COLUMN x, DROP COLUMN y;

ALTER TABLE fk_p_1 ATTACH PARTITION fk_p_1_2 FOR VALUES IN (2);

ALTER TABLE fk_r_1 DROP COLUMN x;

INSERT INTO fk_p VALUES (1, 1);

ALTER TABLE fk_r ATTACH PARTITION fk_r_1 FOR VALUES IN (1);

ALTER TABLE fk_r ATTACH PARTITION fk_r_2 FOR VALUES IN (2);

"fk_r_p_id_p_jd_fkey" FOREIGN KEY (p_id, p_jd) REFERENCES fk_p(id, jd)

Number of partitions: 1 (Use \d+ to list them.)

INSERT INTO fk_r_1 VALUES (2, 1, 2); -- should fail

INSERT INTO fk_r_1(id, p_id, p_jd)VALUES (2, 1, 2); -- should fail

ERROR: insert or update on table "fk_r_1" violates foreign key constraint "fk_r_p_id_p_jd_fkey"

DETAIL: Key (p_id, p_jd)=(1, 2) is not present in table "fk_p".

DELETE FROM fk_p; -- should fail

CREATETABLEfk_p ( idint, jdint,PRIMARY KEY(id, jd)) PARTITION BY list (id)

CREATETABLEfk_p_1 PARTITION OF fk_p FORVALUESIN (1) PARTITION BY list (jd)

CREATETABLEfk_p_1_1 PARTITION OF fk_p_1 FORVALUESIN (1)

CREATETABLEfk_p_1_2PARTITION OF fk_p_1 FORVALUESIN (2)

CREATETABLEfk_p_1_2(xint, yint, jdintNOT NULL, idintNOT NULL)

CREATETABLEfk_p_2 PARTITION OF fk_p FORVALUESIN (2) PARTITION BY list (jd)

CREATETABLEfk_p_2_1 PARTITION OF fk_p_2 FORVALUESIN (1)

CREATETABLEfk_p_2_2 PARTITION OF fk_p_2 FORVALUESIN (2)

CREATETABLEfk_r_1 (idintPRIMARY KEY, p_idintNOT NULL, p_jdintNOT NULL)

CREATETABLEfk_r_1 (p_jdintNOT NULL, xint, idintPRIMARY KEY, p_idintNOT NULL)

CREATETABLEfk_r_2 ( idintPRIMARY KEY, p_idintNOT NULL, p_jdintNOT NULL) PARTITION BY list (id)

CREATETABLEfk_r_2_1 PARTITION OF fk_r_2 FORVALUESIN (2,1)

CREATETABLEfk_r ( idintPRIMARY KEY, p_idintNOT NULL, p_jdintNOT NULL,

FOREIGN KEY (p_id, p_jd)REFERENCES fk_p (id, jd)

) PARTITION BY list (id);

SET search_path TO fkpart12;

ALTERTABLE fk_p_1_2 DROP COLUMN x, DROP COLUMN y;

ALTERTABLE fk_p_1 ATTACH PARTITION fk_p_1_2 FORVALUESIN (2);

ALTERTABLE fk_r_1 DROP COLUMN x;

INSERT INTO fk_pVALUES (1,1);

ALTERTABLE fk_r ATTACH PARTITION fk_r_1 FORVALUESIN (1);

\d fk_r_2

INSERT INTO fk_r_1VALUES (2,1,2);-- should fail

INSERT INTO fk_r_1(id, p_id, p_jd)VALUES (2,1,2);-- should fail

DELETEFROM fk_p;-- should fail

ALTERTABLE fk_r ATTACH PARTITION fk_r_1 FORVALUESIN (1);