Oceanbase查询改写：查询下推

概述

默认情况下，当查询语句中存在视图时，需要等待视图中的查询执行完毕后再执行父查询。为此，Oceanbase中定义了查询下推规则，能够将满足条件的父查询下推合并到视图查询中，从而消除视图，提升查询性能。

基本原理

考虑如下情况：

SELECT * FROM (SELECT * FROM t1 ORDER BY c3) WHERE c2 > 2

对于上述查询，可以通过改写消除视图，如下所示：

SELECT * FROM t1 ORDER BY c3 WHERE c2 > 2

代码解析

查询下推规则的入口为ObTransformQueryPushDown::transform_one_stmt，执行流程如下：

1. 调用check_transform_validity函数检查查询语句是否能够被改写。

2. 调用do_transform函数执行改写，将父查询内容下推至视图查询。

3. 使用视图查询替换父查询。

check_transform_validity函数会对查询语句中的各项成员检查，判断其能否满足合并要求，执行流程如下：

1. 检查查询语句的基本属性是否满足如下条件：

1. 父查询不为集合语句。

2. 视图查询不为递归union语句，或父查询为spj查询。

3. 父查询不包含group by表达式，或子查询为spj查询。

2. 调用check_rownum_push_down函数检查父查询和视图查询中是否包含无法被合并的的rownum函数，需要满足如下条件：

1. 父查询中不包含rownum函数。

2. 视图查询中不包含rownum函数，或父查询中不包含where条件、窗口函数、group by表达式和order by表达式。

3. 调用check_select_item_push_down函数检查父查询和视图查询中的select列是否被合并的select列，执行流程如下：

1. 调用check_select_item_subquery函数检查视图查询中select列表中包含子查询的列在父查询中是否被作为相关条件用在其他子查询中，如果有则无法进行改写。

2. 调用is_select_item_same函数检查父查询的select列是否与子查询中的列相匹配，同时保存列映射关系和常量列列表。

4. 调用check_where_condition_push_down函数检查是否可以将父查询中的where条件合并至视图查询，需满足如下条件：

1. 视图查询中不包含窗口函数和liimt表达式。

2. 视图查询不为集合语句。

3. 如果视图查询中包含group by表达式，则where条件中不能包含子查询。

5. 调用check_window_function_push_down函数检查是否可以将父查询中的窗口函数合并至视图查询，需满足如下条件：

1. 视图查询中不包含窗口函数、order by表达式和limit表达式。

2. 视图查询中不包含distinct标记。

3. 视图查询不为集合语句。

6. 调用check_distinct_push_down函数检查是否可以将父查询中的distinct标记合并至视图查询，即视图查询不能包含limit表达式。

7. 调用can_limit_merge函数检查是否可以将父查询中的limit表达式合并至视图查询，需满足如下条件之一：

1. 视图查询中不包含limit表达式。

2. 父查询和视图查询的limit表达式中均不涉及percent或with ties。

do_transform函数负责将父查询下推合并至子查询，执行流程如下：

1. 调用replace_stmt_exprs函数将父查询的列依赖替换成子查询中的select列。

2. 调用push_down_stmt_exprs函数将父查询中的各项成员合并到视图查询中。

push_down_stmt_exprs函数逻辑较为简单，主要是将父查询中的各项成员合并到视图查询中的对应位置。如果视图查询语句为集合语句，则需要调用recursive_adjust_select_item函数递归地更新集合查询中的select列，后者会使用前面获得的select列映射关系和常量列列表对集合语句的子查询中的select列进行替换。