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

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

    XMLWordPrintableJSON

Details

    • Bug
    • Status: Closed
    • Major
    • Resolution: Fixed
    • None
    • 1.11.0
    • None
    • 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.

      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.

      Attachments

        Issue Links

          Activity

            People

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

              Dates

                Created:
                Updated:
                Resolved: