第十章-生成执行计划

公共处理（create_scan_plan函数）#

在处理具体扫描路径前，所有扫描节点需要完成以下公共任务：

1. 获取过滤条件：

   • 普通扫描：从RelOptInfo->baserestrictinfo获取
   • 索引扫描：从IndexOptInfo->indrestrictinfo获取（可能与baserestrictinfo不同）

2. 处理参数化约束条件：

   • 如果扫描节点上层是连接操作，可能有下推的参数化约束条件
   • 通过join_clause_is_movable_to函数判断是否可下推
   • 示例：Nested Loop中内表的Index Scan使用外表列作为参数

3. 常量约束条件优化：

   • 将常量约束条件作为gating约束条件
   • 因为常量条件不受执行时变量影响，可能带来优化

4. 投影列优化：

   • 对于基表扫描，即使只查询部分列，也可能投影所有列以提高效率
   • 但如果有上层节点（如Hash、Sort、Material）要求最小投影，则设置CP_SMALL_TLIST标志

顺序扫描计划（create_seqscan_plan）#

生成步骤：

1. 调整约束条件执行顺序：

   • 安全级别相同时，按表达式代价排序
   • 代价越低的约束条件越靠前

2. 提取表达式：

   • 从RestrictInfo结构体中提取表达式
   • 执行器只需要执行表达式，不需要优化信息

3. 参数替换（如果是参数化路径）：

   • 检查约束条件是否引用外表列
   • 将Var或PlaceHolderVar替换为Param
   • 建立对应的NestloopParam结构体

索引扫描计划（create_indexscan_plan）#

比顺序扫描复杂，主要处理：

1. 约束条件分类：

   • 匹配索引的约束条件：用于索引查找（Index Cond）
   • 不匹配索引的约束条件：作为过滤条件（Filter）

2. Var替换：

   • 将表上的Var替换为索引上的Var
   • 通过fix_indexqual_references函数实现
   • 示例：TEST_A(b) → TEST_A_B_IDX(b)

3. 过滤条件收集：

   • 从scan_clauses中减去indexquals
   • 跳过伪常量约束条件
   • 跳过与索引条件基于同一等价类的冗余条件
   • 跳过被索引条件蕴含的条件

4. 蕴含关系判断：

   • 使用predicate_implied_by函数
   • 支持9种蕴含关系（atom、AND-expr、OR-expr之间的组合）
   • 示例：(a=1) => (a=1 OR c=2)，因此c=2条件可消除

连接类型#

• MergeJoin：需要排序的等值连接
• HashJoin：使用哈希表的等值连接
• NestLoopJoin：嵌套循环连接

MergeJoin转换要点#

1. 子计划递归生成：

   • 调用create_plan_recurse将子路径转为子计划
   • 如果子路径需要排序，设置CP_SMALL_TLIST避免扩展投影列

2. 约束条件分类：

   • 连接条件：用于连接操作
   • 过滤条件：连接后的过滤
   • 通过is_pushed_down变量区分（true表示过滤条件）

3. MergeJoinable条件：

   • 用于排序和合并的等值条件
   • 其他条件作为连接过滤条件

4. 显式排序：

   • 根据PathKeys添加Sort节点
   • 虽然Sort在计划生成时创建，但代价已在路径计算时考虑