yanjing.wang created CALCITE-6718:
-------------------------------------
Summary: Optimize SubstitutionVisitor's splitFilter with early
return and uniform simplification for equivalence checking
Key: CALCITE-6718
URL: https://issues.apache.org/jira/browse/CALCITE-6718
Project: Calcite
Issue Type: Improvement
Components: core
Affects Versions: 1.38.0
Reporter: yanjing.wang
Assignee: yanjing.wang
Fix For: 1.39.0
The {{splitFilter}} function in {{SubstitutionVisitor}} is designed to compute
compensation predicates for materialized view substitution.
According to the documentation, if the condition is stronger than the target,
the function returns the residue. This means that if the target is always true,
we can return the condition early.
When checking if {{{}(condition AND target) = condition{}}}, only the first
argument used simplifyUnknownAsFalse, the second argument used simplify
actually.
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
