定义​

SAT-TC(Satisfiability-Transitive Closure) 重写优化会分析一组谓词，并试图判断:

1. 谓词间是否存在矛盾(例如 c_custkey=1 AND c_custkey=0),或者

2. 是否可以从谓词集中推断出新的谓词(例如 c_custkey=1 AND c_custkey=o_custkey 意味着 o_custkey=1)。

3. 谓词是否可以简化(例如 c_custkey <> c_custkey or c_name = 'b' 可以简化为 c_name = 'b')

SAT优化与TC优化是两个联系紧密且相互作用的优化方法，他们常在一起被使用。

收益​

Copyright © 2023 PawSQL

数据库索引是一种用于加快数据库查询速度的数据结构，它类似于书籍的目录，可以帮助快速定位到表中某个或某些特定的行。数据库索引通常由一组索引键（或索引字段）构成，这些键的值被存储在一个数据结构中，以便快速查找特定的行。

索引的类型（实现方式）​

Copyright © 2023 PawSQL

问题定义​

CROSS JOIN会将第一张表的每一行与第二张表的每一行进行笛卡尔乘积。它会生成表1行数x表2行数的记录。理论上它等价与条件为1=1的内连接。CROSS JOIN可以快速将多表拼接，但是其会产生大量记录,造成效率低下；而且不指定连接条件,结果可能没有实际意义。

PawSQL对使用STRAIGHT_JOIN的语句进行了风险提示，以避免其引发的性能问题。

Copyright © 2023 PawSQL

问题定义​

ORDER BY 子句中的所有表达式必须按统一的 ASC 或 DESC 方向排序，以便利用索引；如果ORDER BY 语句对多个不同条件使用不同方向的排序无法使用索引。

譬如在TPCH的lineitem的表上创建索引：

create index l_partkey_suppkey_idx on lineitem(l_partkey, l_suppkey);

Copyright © 2023 PawSQL

定义​

natural join是一种特殊的等值连接,它可以和内连接、外连接及全连接配合使用，它会自动搜索两张表中所有相同列名和类型的列，并且以这些列为条件进行等值连接。natural join可以简化语句,但隐式连接条件降低代码的可读性，不利于理解表之间的关系，而且容易出现误连接。PawSQL对使用STRAIGHT_JOIN的语句进行了风险提示，以避免其引发的正确性问题。 以tpch库中的lineitem和orders表为例

SELECT *
FROM lineitem 
NATURAL JOIN orders;