[CALCITE-4364] Simplify "a IN (1, 2) AND a = 1" to "a = 1"

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 1.26.0
• Fix Version/s: 1.27.0
• Component/s: core
• Labels: pull-request-available
• Assignee: Danny Chen
• Reporter: Danny Chen
• Created: 29/Oct/20 09:57
• Updated: 30/May/23 09:53
• Resolved: 12/Nov/20 09:39

Description

Calcite should simplify "a IN (1, 2) AND a = 1" to "a = 1". Check this test in RexProgramTest:

@Test void testSimplifyInAnd() {
    // deptno in (20, 10) and deptno = 10
    //   ==>
    // deptno = 10
    final RexNode e =
        and(
            in(vInt(), literal(20), literal(10)),
            eq(vInt(), literal(10)));
    checkSimplify(e, "=(?0.int0, 10)");
  }

Issue Links

• causes: FLINK-19811 FlinkRexUtil#simplify should simplify search in conjunctions
• depends upon: CALCITE-4352 RelBuilder/RexSimplify/Sarg incorrectly transforms complex expressions with IS NULL/IS NOT NULL
• duplicates: CALCITE-4365 SEARCHes in ANDs and ORs cannot be simplified if the complexity of its SARG can actually be reduced to 1
• links to: GitHub Pull Request #2238
• links to: GitHub Pull Request #2265