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)