Postgres循环外键级联删除无DEFERRABLE仍正常执行的原因

为什么非延迟循环外键的级联删除可以正常执行 #

Postgres 处理ON DELETE CASCADE时有内置的防循环逻辑，核心是会维护全局的待删除行队列，不会重复处理同一行，你的测试用例执行流程如下：

1. 执行DELETE FROM a WHERE id=5，首先将a.id=5标记为待删除，加入待处理队列
2. 取出队列中第一条待处理行a.id=5，遍历所有引用a.id的外键约束，找到b.aid的级联约束，查询到b.aid=5对应的行是b.id=10，检查这行未被标记过，将其加入待处理队列
3. 取出b.id=10，遍历所有引用b.id的外键约束，找到a.bid的级联约束，查询到a.bid=10对应的行是a.id=5，检查发现这行已经在待删除集合中，直接跳过，不再重复触发级联
4. 待处理队列为空，批量删除所有标记的行，操作完成

默认的NOT DEFERRABLE外键是行级修改后立即检查，但级联删除属于同一个删除操作的衍生动作，待删除的行之间的引用不会触发约束报错——因为这些行最终都会被删除，不存在残留的非法引用。

DEFERRABLE 外键的作用 #

你遇到的删除场景确实不需要DEFERRABLE，该参数的适用场景是循环外键的插入、更新操作，而非删除场景：
比如你测试用例的插入操作，是通过「先插a无bid的行→插b关联a→更新a关联b」的分步操作完成的，每一步执行完都满足外键约束，所以用非延迟约束可以正常执行。但如果遇到以下场景，非延迟约束就会报错：

• 需要在单个语句中同时插入两张表互相引用的行
• 需要修改互相引用的主键值，比如把a.id=5改为6，同时把b.aid=5也改为6
• 其他需要临时让约束处于不满足状态，等事务内多个操作全部完成后再统一检查的场景

DEFERRABLE参数允许你将外键约束的检查时机推迟到语句执行完成后、甚至整个事务提交时再执行，避免中间状态的约束报错。

内容的提问来源于stack exchange，提问作者SDRay