Uploaded image for project: 'Calcite'
  1. Calcite
  2. CALCITE-1526

Use Strong to infer whether a predicate's inputs may be null

    Details

    • Type: Bug
    • Status: Closed
    • Priority: Major
    • Resolution: Fixed
    • Affects Version/s: None
    • Fix Version/s: 1.11.0
    • Component/s: None
    • Labels:
      None

      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.

      Jesus Camacho Rodriguez, 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.

        Attachments

          Issue Links

            Activity

              People

              • Assignee:
                julianhyde Julian Hyde
                Reporter:
                julianhyde Julian Hyde
              • Votes:
                0 Vote for this issue
                Watchers:
                2 Start watching this issue

                Dates

                • Created:
                  Updated:
                  Resolved: