boolresult;

Assert(ri_NullCheck(RelationGetDescr(fk_rel),old_row,riinfo, true)==RI_KEYS_NONE_NULL);

Assert(ri_NullCheck(RelationGetDescr(pk_rel),old_row,riinfo, true)==RI_KEYS_NONE_NULL);

if (SPI_connect()!=SPI_OK_CONNECT)

elog(ERROR,"SPI_connect failed");

(10 rows)

delete from t1 where a = 1;

-- Test a primary key with attributes located in later attnum positions

-- compared to the fk attributes.

create table pktable2 (a int, b int, c int, d int, e int, primary key (d, e));

create table fktable2 (d int, e int, foreign key (d, e) references pktable2);

insert into pktable2 values (1, 2, 3, 4, 5);

insert into fktable2 values (4, 5);

delete from pktable2;

ERROR: update or delete on table "pktable2" violates foreign key constraint "fktable2_d_fkey" on table "fktable2"

DETAIL: Key (d, e)=(4, 5) is still referenced from table "fktable2".

update pktable2 set d = 5;

ERROR: update or delete on table "pktable2" violates foreign key constraint "fktable2_d_fkey" on table "fktable2"

DETAIL: Key (d, e)=(4, 5) is still referenced from table "fktable2".

drop table pktable2, fktable2;

--

-- Test deferred FK check on a tuple deleted by a rolled-back subtransaction

--

explain (costs off)deletefrom t1where a=1;

deletefrom t1where a=1;

createtablepktable2 (aint, bint, cint, dint, eint,primary key (d, e));

createtablefktable2 (dint, eint,foreign key (d, e)references pktable2);

insert into pktable2values (1,2,3,4,5);

insert into fktable2values (4,5);

deletefrom pktable2;

update pktable2set d=5;

droptable pktable2, fktable2;