SAT-TC Rewrite
Copyright © 2024 PawSQL
Definition
SAT-TC(Satisfiability-Transitive Closure) rewrite rule analyzes a set of predicates and try to determine if
- there is a contradiction (e.g.,
c_custkey=1 AND c_custkey=0
), or - new predicates can be inferred from the set (e.g.,
c_custkey=1 AND c_custkey=o_custkey
implieso_custkey=1
. - predicates can simplified (e.g.
c_custkey <> c_custkey or c_name = 'b'
can be simplified toc_name = 'b'
)
SAT and TC optimizations are two closely related and interacting optimization techniques, often used together.