[CALCITE-2326] Generalize p(x) IS TRUE/FALSE/UNKNOWN handling in RexSimplify

• Type: Improvement
• Status: Open
• Priority: Major
• Resolution: Unresolved
• Assignee: Zoltan Haindrich
• Reporter: Zoltan Haindrich
• Created: 25/May/18 06:07
• Updated: 01/Dec/18 01:12

Description

Currently only IS TRUE is handle by the unknownAsFalse field variable.

The main goal would be to extend the logic to also handle IS FALSE cases (and possibly IS UNKNOWN too)

Issue Links

• is depended upon by: CALCITE-2575 Release Calcite 1.18.0
• is related to: CALCITE-2247 Simplify AND and OR conditions using predicates
• relates to: CALCITE-2451 RexSimplify: fuse unknownAsFalse and IS TRUE handling
• relates to: CALCITE-2421 RexSimplify#simplifyAnds foregoes some simplications if unknownAsFalse set to true
• relates to: CALCITE-2506 RexSimplify: coalesce(unaryPlus(nullInt), unaryPlus(vInt())) results in AssertionError: result mismatch
• relates to: CALCITE-2604 When simplifying an expression, say whether an UNKNOWN value will be interpreted as is, or as TRUE or FALSE