| From: | Jehan-Guillaume de Rorthais <jgdr(at)dalibo(dot)com> | 
|---|---|
| To: | "pgsql-hackers(at)postgresql(dot)org" <pgsql-hackers(at)postgresql(dot)org>, Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)org> | 
| Subject: | [BUG] Fix DETACH with FK pointing to a partitioned table fails | 
| Date: | 2023-07-05 21:30:28 | 
| Message-ID: | 20230705233028.2f554f73@karst | 
| Views: | Whole Thread | Raw Message | Download mbox | Resend email | 
| Thread: | |
| Lists: | pgsql-hackers | 
Hi,
(patch proposal below).
Consider a table with a FK pointing to a partitioned table.
  CREATE TABLE p ( id bigint PRIMARY KEY )
    PARTITION BY list (id);
  CREATE TABLE p_1 PARTITION OF p FOR VALUES IN (1);
  CREATE TABLE r_1 (
    id   bigint PRIMARY KEY,
    p_id bigint NOT NULL,
    FOREIGN KEY (p_id) REFERENCES p (id)
  );
Now, attach this table "refg_1" as partition of another one having the same FK:
  CREATE TABLE r (
    id   bigint PRIMARY KEY,
    p_id bigint NOT NULL,
    FOREIGN KEY (p_id) REFERENCES p (id)
  ) PARTITION BY list (id);
ALTER TABLE r ATTACH PARTITION r_1 FOR VALUES IN (1);
The old sub-FKs (below 18289) created in this table to enforce the action
triggers on referenced partitions are not deleted when the table becomes a
partition. Because of this, we have additional and useless triggers on the
referenced partitions and we can not DETACH this partition on the referencing
side anymore:
  => ALTER TABLE r DETACH PARTITION r_1;
  ERROR:  could not find ON INSERT check triggers of foreign key
          constraint 18289
  => SELECT c.oid, conparentid, 
       conrelid::regclass, 
       confrelid::regclass, 
       t.tgfoid::regproc
     FROM pg_constraint c 
     JOIN pg_trigger t ON t.tgconstraint = c.oid
     WHERE confrelid::regclass = 'p_1'::regclass;
    oid  │ conparentid │ conrelid │ confrelid │         tgfoid         
  ───────┼─────────────┼──────────┼───────────┼────────────────────────
   18289 │       18286 │ r_1      │ p_1       │ "RI_FKey_noaction_del"
   18289 │       18286 │ r_1      │ p_1       │ "RI_FKey_noaction_upd"
   18302 │       18299 │ r        │ p_1       │ "RI_FKey_noaction_del"
   18302 │       18299 │ r        │ p_1       │ "RI_FKey_noaction_upd"
  (4 rows)
The legitimate constraint and triggers here are 18302. The old sub-FK
18289 having 18286 as parent should have gone during the ATTACH PARTITION.
Please, find in attachment a patch dropping old "sub-FK" during the ATTACH
PARTITION command and adding a regression test about it. At the very least, it
help understanding the problem and sketch a possible solution.
Regards,
| Attachment | Content-Type | Size | 
|---|---|---|
| v1-0001-Remove-useless-parted-FK-constraints-when-attachi.patch | text/x-patch | 6.9 KB | 
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Andres Freund | 2023-07-05 21:59:39 | Re: Autogenerate some wait events code and documentation | 
| Previous Message | Nathan Bossart | 2023-07-05 21:29:27 | Re: Should we remove db_user_namespace? |