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

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

VotersWatch issueWatchersLinkCloneUpdate Comment AuthorReplace String in CommentUpdate Comment VisibilityDelete Comments
    XMLWordPrintableJSON

    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

              Dates

              • Created:
                Updated:
                Resolved:

                Issue deployment