]> git.ipfire.org Git - thirdparty/postgresql.git/commit
Reject degenerate SPLIT PARTITION with DEFAULT partition
authorAlexander Korotkov <akorotkov@postgresql.org>
Mon, 25 May 2026 08:57:42 +0000 (11:57 +0300)
committerAlexander Korotkov <akorotkov@postgresql.org>
Mon, 25 May 2026 08:57:42 +0000 (11:57 +0300)
commite64a9ba2b4fcd8956369ac6e2146ac816e590df2
tree05c444fbe93c725edf29d66e173e1670ae5bfce7
parent0b8fa5fd37b193c46a03aa5d2838f2c6af973782
Reject degenerate SPLIT PARTITION with DEFAULT partition

ALTER TABLE ... SPLIT PARTITION allows a DEFAULT partition to be created
as one of the replacement partitions when the parent table does not
already have one.  However, it should not allow the degenerate case where
a non-DEFAULT partition keeps exactly the same bound as the split
partition and the command merely adds a DEFAULT partition through the
SPLIT PARTITION path.

Detect that case by comparing the bound of the split partition with the
bound of the only non-DEFAULT replacement partition, and raise an error
when they are the same.  Users should add a DEFAULT partition directly
with CREATE TABLE ... PARTITION OF ... DEFAULT or ALTER TABLE ... ATTACH
PARTITION ... DEFAULT instead.

The comparison goes through the partition operator family rather than
byte equality so that values which are binary-different but compare
equal under the partition key's comparator are treated as the same
bound.  The corresponding regression test uses a float8 LIST partition
with -0.0 and 0.0 -- they have different bit patterns but are equal
under float8 -- to verify that a datumIsEqual()-based check would let
the degenerate split through while the partsupfunc-based check
correctly rejects it.

Author: Chao Li <lic@highgo.com>
Reviewed-by: Alexander Korotkov <aekorotkov@gmail.com>
Discussion: https://postgr.es/m/C18878AB-DEB2-4A61-9995-A035DD644B81@gmail.com
src/backend/partitioning/partbounds.c
src/test/regress/expected/partition_split.out
src/test/regress/sql/partition_split.sql