[jira] [Created] (CALCITE-1526) Use Strong to infer whether a predicate's inputs may be null

[Julian Hyde (JIRA)]

Julian Hyde created CALCITE-1526:
------------------------------------

             Summary: Use Strong to infer whether a predicate's inputs may be 
null
                 Key: CALCITE-1526
                 URL: https://issues.apache.org/jira/browse/CALCITE-1526
             Project: Calcite
          Issue Type: Bug
            Reporter: Julian Hyde
            Assignee: Julian Hyde


{{RexImplicationChecker}} must use 
[Strong|https://calcite.apache.org/apidocs/org/apache/calcite/plan/Strong.html] 
to infer whether a predicate's inputs may be null. In particular the code in 
{{RexImplicationChecker.implies2}}.

Also {{RelMdPredicates.projectPredicate}}.

[~jcamachorodriguez], Could/should {{RexUtil.ExprSimplifier}} be using 
{{Strong}}?

Also, maybe, {{RexUtil.simplifyIs}}.

Also, {{LogicVisitor}} might be able to deduce that an expression is never null 
if certain input fields are not null.



--
This message was sent by Atlassian JIRA
(v6.3.4#6332)