]> granicus.if.org Git - postgresql/commit
ALTER TABLE: skip FK validation when it's safe to do so
authorAlvaro Herrera <alvherre@alvh.no-ip.org>
Mon, 27 Feb 2012 21:28:00 +0000 (18:28 -0300)
committerAlvaro Herrera <alvherre@alvh.no-ip.org>
Mon, 27 Feb 2012 22:10:24 +0000 (19:10 -0300)
commitcb3a7c2b95a28e57c56562d48d2a3aa5eeb7fa29
tree399601e99374adf2a74ea00a04f2ec337ecd2d8d
parent9bf8603c7a9153cada7e32eb0cf7ac1feb1d3b56
ALTER TABLE: skip FK validation when it's safe to do so

We already skip rewriting the table in these cases, but we still force a
whole table scan to validate the data.  This can be skipped, and thus
we can make the whole ALTER TABLE operation just do some catalog touches
instead of scanning the table, when these two conditions hold:

(a) Old and new pg_constraint.conpfeqop match exactly.  This is actually
stronger than needed; we could loosen things by way of operator
families, but it'd require a lot more effort.

(b) The functions, if any, implementing a cast from the foreign type to
the primary opcintype are the same.  For this purpose, we can consider a
binary coercion equivalent to an exact type match.  When the opcintype
is polymorphic, require that the old and new foreign types match
exactly.  (Since ri_triggers.c does use the executor, the stronger check
for polymorphic types is no mere future-proofing.  However, no core type
exercises its necessity.)

Author: Noah Misch

Committer's note: catalog version bumped due to change of the Constraint
node.  I can't actually find any way to have such a node in a stored
rule, but given that we have "out" support for them, better be safe.
src/backend/commands/tablecmds.c
src/backend/nodes/copyfuncs.c
src/backend/nodes/equalfuncs.c
src/backend/nodes/outfuncs.c
src/backend/utils/adt/ri_triggers.c
src/include/catalog/catversion.h
src/include/nodes/parsenodes.h