Key joins 争论卡在语法与实现位置 RSS

Arne Roland 的 key joins 补丁引入了 LEFT JOIN FOR KEY 这样的语法，靠外键关系给连接提供正确性保证。Tomas Vondra 的反馈集中在三点：这个特性是否非要有真实存在的外键约束、唯一约束够不够；验证该放在解析分析阶段还是规划器阶段；以及视图、SQL 函数和策略带来的 DDL 处理复杂性。Arne 认为解析期验证是正确性证明所必需的，计划把 DDL 处理拆成独立补丁。

发布于 2026-09-10T10:59:43.205602Z · Arne Roland · pgsql-hackers

SQL 标准 外键 规划器

Arne Roland 的 key joins 补丁引入了 LEFT JOIN FOR KEY 这样的语法，靠外键关系给连接提供正确性保证。Tomas Vondra 的反馈集中在三点：这个特性是否非要有真实存在的外键约束、唯一约束够不够；验证该放在解析分析阶段还是规划器阶段；以及视图、SQL 函数和策略带来的 DDL 处理复杂性。Arne 认为解析期验证是正确性证明所必需的，计划把 DDL 处理拆成独立补丁。

Arne Roland 的 key joins 补丁引入了 LEFT JOIN FOR KEY 这样的语法，靠外键关系给连接提供正确性保证。Tomas Vondra 的反馈集中在三点：这个特性是否非要有真实存在的外键约束、唯一约束够不够；验证该放在解析分析阶段还是规划器阶段；以及视图、SQL 函数和策略带来的 DDL 处理复杂性。Arne 认为解析期验证是正确性证明所必需的，计划把 DDL 处理拆成独立补丁。

原始来源 ↗

来源记录

• center.info_item · e0f190db1db386d1 · 2026-10-03T04:08:35.169032Z
• pgweb.info_item · e0f190db1db386d1 · 2026-10-03T04:08:55.967155Z