I found a corner case in which it is possible for RI_FKey_check's call
authorTom Lane <tgl@sss.pgh.pa.us>
Sat, 30 Oct 2004 20:53:06 +0000 (20:53 +0000)
committerTom Lane <tgl@sss.pgh.pa.us>
Sat, 30 Oct 2004 20:53:06 +0000 (20:53 +0000)
commit80559fa9e9657ecfdb92a210971b8d0aa6e82e39
tree9580827e5de6b17cc7bd66a9c36bc5e119a872c4
parent88868d4fbcef1e5d608c0305670465a2a0651c9e
I found a corner case in which it is possible for RI_FKey_check's call
of HeapTupleSatisfiesItself() to trigger a hint-bit update on the tuple:
if the row was updated or deleted by a subtransaction of my own transaction
that was later rolled back.  This cannot occur in pre-8.0 of course, so
the hint-bit patch applied a couple weeks ago is OK for existing releases.
But for 8.0 it seems we had better fix things so that RI_FKey_check can
pass the correct buffer number to HeapTupleSatisfiesItself.  Accordingly,
add fields to the TriggerData struct to carry the buffer ID(s) for the
old and new tuple(s).  There are other possible solutions but this one
seems cleanest; it will allow other AFTER-trigger functions to safely
do tqual.c calls if they want to.  Put new fields at end of struct so
that there is no API breakage.
doc/src/sgml/trigger.sgml
src/backend/commands/tablecmds.c
src/backend/commands/trigger.c
src/backend/utils/adt/ri_triggers.c
src/include/commands/trigger.h