如何排查表达式约束导致的计划不命中

在 OceanBase 数据库，SQL执行能够命中计划，可以减少解析时间，提高执行效率。但是，计划匹配的标准非常严格，计划不命中的原因往往多种多样。 本文介绍如何排查计划匹配中由于表达式约束的原因，导致计划不命中。

详细说明

在排查由于表达式约束的原因导致计划不命中之前，首先需要按照常规的方式确认 param_infos、sys_var、schema_info 等条件均相同。在分析问题的时候，可以借助 gv$ob_plan_cache_plan_stat，计划，OBServer 日志，优化器 trace 等排查可能不命中的原因。

下面通过一个例子详细介绍排查过程。

1. 首先通过 observer.log 定位计划不匹配的原因。（当前这部分代码的报错不是十分友好，不能直接给出具体计划不匹配的原因，只是提供了一个十分宽泛的原因）。 这里只是说明参数不匹配，但是实际排查下来，参数是没有问题的。

   

2. 接下来需要通过 explain 计划进一步查看相关约束。 在这个计划的约束中只有表达式约束，需要结合原始 SQL，理解确认对应的表达式以及表达式是否正确。

   

   在上面的例子中，推导出了 0 >= 0 result is FALSE， 但是这个表达式本身是不正确的，0 >= 0 的结果应该是恒 true 的。

3. 接下来需要分析这个表达式约束产生的来源。上面的例子中，如 cast()，trim()，T_OP_OR (operator)... 这种往往能够比较直观的对应到 SQL 中产生表达式的部分。0 >= 0 result is FALSE 可以关注 SQL 中是否有类似 rownum，limit 这样的部分，结合计划分析是否会推导出来这样一个约束。

4. 之后可以结合表达式的特点和对应代码部分进一步分析产生的原因/是否有已知问题等。

   表达式约束导致的计划不命中问题，通常是由于表达式处理的不够准确而导致的计划不命中。需要在充分理解 SQL，表达式含义，产生的原因 和改写的内容（ObTransformSimplifyExpr）等情况下，做出准确的判断。

适用版本

OceanBase 数据库 V4.x 版本。