[CALCITE-5798] Improve simplification of '(x < y) IS NOT TRUE' when x and y are not nullable

• Type: Improvement
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 1.34.0
• Fix Version/s: 1.35.0
• Component/s: core
• Labels: pull-request-available
• Assignee: Runkang He
• Reporter: Runkang He
• Created: 25/Jun/23 23:52
• Updated: 27/Jul/23 10:22
• Resolved: 05/Jul/23 02:02

Description

Currently '(1 < x) IS NOT TRUE' when pulled up predicates contain 'x IS NOT NULL' is not simplified, and keeps it as it is.
 
It can and should be simplified to '1 >= x', which is more concise and useful for further simplification, such as CALCITE-5780
 
Note that this Jira is splited from CALCITE-5780, which makes this part of codes more clear, and follows the principle that a Jira only discusses one issue.

Issue Links

• is related to: CALCITE-5780 Simplify '1 > x OR 1 <= x OR x IS NULL' to TRUE
• links to: GitHub Pull Request #3279