opteryx
opteryx copied to clipboard
✨ common clauses in disjunctions (Boolean Factorization)
Promote common parts of disjunctions to reduce the evaluation effort
WHERE ( A = B AND C = D ) OR ( A = B AND E = F )
=>
WHERE ( A = B ) AND ( E = F OR C = D )