[jira] [Created] (CALCITE-2838) Simplification: Remove redundant IS TRUE checks

["Zoltan Haindrich (JIRA)" <ji...@apache.org>]

Zoltan Haindrich created CALCITE-2838:
-----------------------------------------

             Summary: Simplification: Remove redundant IS TRUE checks
                 Key: CALCITE-2838
                 URL: https://issues.apache.org/jira/browse/CALCITE-2838
             Project: Calcite
          Issue Type: Improvement
            Reporter: Zoltan Haindrich
            Assignee: Zoltan Haindrich


In case simplifcation is already processing in unknownAsFalse mode, {{expr IS TRUE}} is redundant - and may just prevent further optimizations from happening:

{code}
  @Test public void testRedundantIsTrue() {
    // in case of unknownAsFalse
    // x is TRUE <=> x
    checkSimplify3(isTrue(vBool(1)),
        "IS TRUE(?0.bool1)",
        "?0.bool1",
        "IS TRUE(?0.bool1)");
  }
{code}

there are some further possibilities
{code}
(unknownAsTrue) x is NOT FALSE <=> x
(unknownAsTrue) x is FALSE <=> not x
{code}





--
This message was sent by Atlassian JIRA
(v7.6.3#76005)