SAT-TC(Satisfiability-Transitive Closure) 重写优化会分析一组谓词，并试图判断:
-
谓词间是否存在矛盾(例如 c_custkey=1 AND c_custkey=0),或者
-
是否可以从谓词集中推断出新的谓词(例如 c_custkey=1 AND c_custkey=o_custkey 意味着 o_custkey=1)。
-
谓词是否可以简化(例如 c_custkey <> c_custkey or c_name = 'b' 可以简化为 c_name = 'b')
SAT优化与TC优化是两个联系紧密且相互作用的优化方法，他们常在一起被使用。
