BUG #18156: Self-referential foreign key in partitioned table not enforced on deletes

From: PG Bug reporting form <noreply(at)postgresql(dot)org>
To: pgsql-bugs(at)lists(dot)postgresql(dot)org
Cc: fastcat(at)gmail(dot)com
Subject: BUG #18156: Self-referential foreign key in partitioned table not enforced on deletes
Date: 2023-10-13 14:26:56
Message-ID: 18156-a44bc7096f0683e6@postgresql.org
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-bugs

The following bug has been logged on the website:

Bug reference: 18156
Logged by: Matthew Gabeler-Lee
Email address: fastcat(at)gmail(dot)com
PostgreSQL version: 16.0
Operating system: Linux
Description:

When a partitioned table has a self-referential foreign key, I'm finding
that the key is not enforced during deletes from the table.

A simple repro script:

create table x (
p int4 not null,
i int4 not null,
f int4 null,
primary key (p, i),
foreign key (p, f) references x (p, i)
)
partition by list (p);
create table x1 partition of x for values in (0);

insert into x values (0,1,null), (0,2,1);
delete from x where (p,i) = (0,1);
select * from x;

The final select shows the one row with the clearly violated foreign key
values:
p | i | f
---+---+---
0 | 2 | 1
(1 row)

I've reproduced this with 15.4 and 16.0 using the official docker images,
specifically `postgres/15-alpine` and `postgres/16-alpine`. I haven't tested
older versions as my application requires features new to 15.x. I've tried
with both list and hash partitioning, and it reproduces with both. I can
only reproduce it with self-referential foreign keys and only with
partitioned tables.

I discovered this with a slightly more complex situation involving an `on
delete set null` clause in the FK, but as seen above that is not required to
reproduce the issue.

Responses

Browse pgsql-bugs by date

  From Date Subject
Next Message Alexander Lakhin 2023-10-13 15:00:00 Re: BUG #18014: Releasing catcache entries makes schema_to_xmlschema() fail when parallel workers are used
Previous Message Amit Kapila 2023-10-13 04:51:25 Re: BUG #18155: Logical Apply Worker Timeout During TableSync Causes Either Stuckness or Data Loss