constraint_exclusion
constraint_exclusion：允许规划器利用约束排除不可能匹配的表。实测在档范围为 PG9.0–19 Beta 3；最后在档的 PG19 Beta 3 启动默认值为 partition，context 为 user。这是测试版快照事实，PostgreSQL 19 正式发布前仍可能变化。
说明
Fact — 官方简述译文：允许规划器利用约束排除不可能匹配的表。
身份
生命周期
| Fact | 值 |
|---|---|
| 首次观测 | PG9.0（研究下界） |
| 在档版本 | PG9.0–19 Beta 3 |
| 移除版本 | 否 |
| 引入提交 | 不作断言：早于 PG9.0 研究边界 |
| 提交日期 | — |
| Discussion | — |
默认值变迁
| 版本 | 原始 boot_val |
单位 | 人类可读值 |
|---|---|---|---|
| PG9.0–19 Beta 3 | partition |
— | partition |
机制详解
constraint_exclusion 允许规划器把查询谓词与 CHECK 约束比较，并排除约束可证明不可能匹配的关系。partition 只对传统继承子表和 UNION ALL 分支执行该工作；它与声明式分区裁剪不同。
证明发生在规划阶段，因此更广泛地开启会增加规划工作，即使最终没有关系可排除。它依赖规划器可见且与查询条件逻辑矛盾的约束。
对声明式分区表，enable_partition_pruning 才是主要开关。constraint_exclusion 仍适用于继承式分区以及精心构造、由约束支撑的 UNION ALL 视图。其 user 上下文允许按会话或事务局部修改，之后执行或重新规划的工作会读取新值。
调优建议
提示
Advice。 以下建议是工作负载起点，必须用真实测量验证。
| 场景 | 建议 |
|---|---|
| OLTP | 除非代表性计划显示可重复的全负载问题，否则保留 constraint_exclusion 上游默认值。先测试局部覆盖，并同时计入规划延迟与执行延迟。 |
| OLAP | 分析 SQL 的连接、游标或递归规模更大，constraint_exclusion 的影响可能更明显。应测试完整语句族并检查估算，不要照搬一次成功的取值。 |
| 小规格 | 小主机上不要在无实测收益时通过 constraint_exclusion 增加规划搜索或内存压力。优先调整查询结构或使用限定角色设置，而不是集群级覆盖。 |
Pigsty 取值
以下值来自固定 8 核、32 GiB、100 GiB SSD 夹具，并按 PG19 Beta 3 渲染当前 Pigsty 模板；这不表示 Pigsty 当前支持该历史或测试版本。
| 模板 | 有效值 | 与上游 boot 比较 | 源表达式 |
|---|---|---|---|
| OLTP | 未修改 | — | — |
| OLAP | 未修改 | — | — |
| CRIT | 未修改 | — | — |
| TINY | 未修改 | — | — |
注意
Advice — 待人工复核。 当前 Pigsty 模板投影事实：OLTP: PG9.0–19 Beta 3 未修改；OLAP: PG9.0–19 Beta 3 未修改；CRIT: PG9.0–19 Beta 3 未修改；TINY: PG9.0–19 Beta 3 未修改。 未发现覆盖值，因此不推断 Pigsty 专属理由。
常见坑
- 把 constraint_exclusion 当作执行器资源上限，而不是规划假设或策略。
- 只测试一组参数值或一种数据分布。
- 期待已经缓存的计划自动重写。
- 用全局覆盖掩盖陈旧统计信息或脆弱 SQL 结构。
关联参数
enable_partition_pruning · from_collapse_limit · join_collapse_limit · default_statistics_target