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)
