Here are a couple new isolation tests for foreign keys, based on feedback from the Advanced Patch Review session at PGConf.dev.
The goal is to show that temporal foreign keys do not violate
referential integrity under concurrency. Non-temporal foreign keys use
a crosscheck snapshot to avoid this. Temporal foreign keys do the
same, but this test gives us more assurance.
I noticed that traditional foreign keys didn't have a test either, at
least for the case we discussed: one transaction INSERTS a referencing
row, while the other DELETEs the referenced row. So I have two patches
here: one adding tests for the traditional case; another, the temporal
case.
There is a final patch improving the comment for some snapshot macros.
While fixing a typo I thought I could improve their clarity a bit as
well.
Yours,
--
Paul ~{:-)
p...@illuminatedcomputing.com
v1-0003-Improve-comment-about-snapshot-macros.patch
Description: Binary data
v1-0001-Fill-testing-gap-for-possible-referential-integri.patch
Description: Binary data
v1-0002-Add-test-for-temporal-referential-integrity.patch
Description: Binary data
