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优化是两个联系紧密且相互作用的优化方法,他们常在一起被使用。