You are viewing a plain text version of this content. The canonical link for it is here.

Posted to issues@calcite.apache.org by "Chunwei Lei (Jira)" <ji...@apache.org> on 2020/02/17 09:13:01 UTC

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

     [ https://issues.apache.org/jira/browse/CALCITE-3803?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Chunwei Lei updated CALCITE-3803:
---------------------------------
    Description: 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.}}  (was: 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.}})

> 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
>            Priority: Major
>
> 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)