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

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 1.11.0
• Assignee: Julian Hyde
• Reporter: Julian Hyde
• Created: 02/Dec/16 20:58
• Updated: 27/Feb/24 22:23
• Resolved: 10/Dec/16 02:33

Description

RexImplicationChecker must use Strong 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.

Issue Links

• duplicates: CALCITE-1920 Add IS_NOT_NULL predicate on not-nullable equi-join keys
• relates to: CALCITE-1338 JoinProjectTransposeRule makes wrong transformation when the right child of left outer join has a RexLiteral project expression