[CALCITE-3803] Enhance RexSimplify to simplify 'a>1 or (a<3 and b)' to 'a>1 or b' if column a is not nullable

• Type: Improvement
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 1.22.0
• Component/s: core
• Labels: pull-request-available
• Assignee: Chunwei Lei
• Reporter: Chunwei Lei
• Created: 17/Feb/20 09:08
• Updated: 06/Mar/20 04:35
• Resolved: 19/Feb/20 12:29

Description

For a>1 or (a<3 and b), with short-circuit, we know a<=1 if a>1 is false when column a is not nullable. Then (a<3 and b) can be simplified to b. Thus, a>1 or (a<3 and b)is simplified to a>1 or b.

Issue Links

• links to: GitHub Pull Request #1815