Fix NO ACTION temporal foreign keys when the referenced endpoints change

If a referenced UPDATE changes the temporal start/end times, shrinking
the span the row is valid, we get a false return from
ri_Check_Pk_Match(), but overlapping references may still be valid, if
their reference didn't overlap with the removed span.

We need to consider what span(s) are still provided in the referenced
table.  Instead of returning that from ri_Check_Pk_Match(), we can
just look it up in the main SQL query.

Reported-by: Sam Gabrielsson <s...@movsom.se>
Author: Paul Jungwirth <p...@illuminatedcomputing.com>
Discussion: 
https://www.postgresql.org/message-id/flat/CA+renyUApHgSZF9-nd-a0+OPGharLQLO=mdhcy4_qq0+noc...@mail.gmail.com

Branch
------
master

Details
-------
https://git.postgresql.org/pg/commitdiff/1772d554b089c4779eaa13ae1487721e3080d119

Modified Files
--------------
src/backend/catalog/pg_constraint.c            | 17 ++++-
src/backend/commands/tablecmds.c               |  4 +-
src/backend/utils/adt/ri_triggers.c            | 94 +++++++++++++++++++++++++-
src/include/catalog/pg_constraint.h            |  3 +-
src/include/catalog/pg_operator.dat            |  6 +-
src/test/regress/expected/without_overlaps.out | 62 +++++++++++++++++
src/test/regress/sql/without_overlaps.sql      | 54 +++++++++++++++
7 files changed, 233 insertions(+), 7 deletions(-)

Reply via email to