行模式识别匹配器经交叉验证查出三处缺陷 RSS

Henson Choi 用 Oracle 23ai 和 Trino 471 作参照，对约 1000 条 PATTERN 语句做了系统交叉验证。匹配器的优先级逻辑里查出三个正确性缺陷：循环守卫误判重复变量状态、空迭代停止规则处理不当、固定计数分组的快进顺序错误。上下文吸收优化里还发现两个错误结果和一处可能的规划期死循环。PostgreSQL 相比 Oracle 在解析阶段拒绝的 11 条查询都有记录在案的设计依据。

发布于 2026-09-10T10:59:46.240654Z · Henson Choi · PostgreSQL hackers

正确性 行模式识别

Henson Choi 用 Oracle 23ai 和 Trino 471 作参照，对约 1000 条 PATTERN 语句做了系统交叉验证。匹配器的优先级逻辑里查出三个正确性缺陷：循环守卫误判重复变量状态、空迭代停止规则处理不当、固定计数分组的快进顺序错误。上下文吸收优化里还发现两个错误结果和一处可能的规划期死循环。PostgreSQL 相比 Oracle 在解析阶段拒绝的 11 条查询都有记录在案的设计依据。

Henson Choi 用 Oracle 23ai 和 Trino 471 作参照，对约 1000 条 PATTERN 语句做了系统交叉验证。匹配器的优先级逻辑里查出三个正确性缺陷：循环守卫误判重复变量状态、空迭代停止规则处理不当、固定计数分组的快进顺序错误。上下文吸收优化里还发现两个错误结果和一处可能的规划期死循环。PostgreSQL 相比 Oracle 在解析阶段拒绝的 11 条查询都有记录在案的设计依据。

原始来源 ↗

来源记录

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