[jira] [Created] (CALCITE-3803) Enhance RexSimplify to simplify 'a>1 or (a<3 and b)' to 'a>1 or b' if column a is not nullable

["Chunwei Lei (Jira)" <ji...@apache.org>]

Chunwei Lei created CALCITE-3803:
------------------------------------

             Summary: Enhance RexSimplify to simplify 'a>1 or (a<3 and b)' to 'a>1 or b' if column a is not nullable
                 Key: CALCITE-3803
                 URL: https://issues.apache.org/jira/browse/CALCITE-3803
             Project: Calcite
          Issue Type: Improvement
          Components: core
            Reporter: Chunwei Lei
            Assignee: Chunwei Lei


For {{a>1 or (a<3 and b)}}, with short-circuit, we know {{a<=1}} if {{a>1}} is false when column a is not nullable. Then {{(a<3 and b) }}can be simplified to {{b}}. Thus, {{a>1 or (a<3 and b) }}is simplified to {{a>1 or b.}}



--
This message was sent by Atlassian Jira
(v8.3.4#803005)