72、多查询计划生成的假设物理设计

多查询计划生成的假设物理设计

1. 问题背景与相关方法

在查询优化和物理设计领域，之前存在一些方法，但都有各自的局限性。例如，某些方法仅适用于物化视图，且可扩展性不佳。也有混合进化算法用于解决查询优化、寻找最佳全局处理计划以及从给定全局处理计划中选择物化视图的问题，但该方法计算时间过长，不适用于大量查询。为克服可扩展性障碍，提出了一种不使用单个查询计划来生成多查询计划（MQP）的方法，它将查询分组到多个不相交的组件中，每个组件内的查询高度共享公共子表达式，而组件之间的共享子表达式最少。

2. 问题形式化

2.1 符号、定义和初步结果

• 优化结构类 ：用 OS = {MV, HDP, I} 表示，分别代表物化视图、水平数据分区和索引。优化结构是所选类的实例，如 OS 为 MV 时，优化结构是要物化的视图集合 MV = {v1, …, vn}；OS 为 HDP 时，是分区模式 FS = {F1, …, FN}。
• 约束条件 ：每个 OS 类都有特定的约束集 C(OS)。例如，分区模式通常有生成片段的最大数量阈值 W；物化视图和索引有存储约束，还可能有付费部署的价格限制。
• MQP 相关定义 ：在 MQP 中，事实表和维度表的第一个直接连接称为枢轴节点。共享枢轴节点的多个查询构成 MQP 的一个连接组件。属于同一连接组件的查询存在交互，因为它们至少共享第一个连接操作。MQP 是多个连接组件的并集。节点 ni 的成本 cost(ni) 指 I/O 成本，计划的成本 cost(P) 定义为 co