[jira] [Created] (CALCITE-6718) Optimize SubstitutionVisitor's splitFilter with early return and uniform simplification for equivalence checking

["yanjing.wang (Jira)" <ji...@apache.org>]

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)