[CALCITE-2968] New AntiJoin relational expression

• Type: New Feature
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 1.20.0
• Labels: pull-request-available
• Assignee: Ruben Q L
• Reporter: Ruben Q L
• Created: 01/Apr/19 10:01
• Updated: 24/Jun/19 15:01
• Resolved: 07/Jun/19 14:59

Description

The goal of this ticket is to follow the discussion started in CALCITE-2920 (and its PR).

With the implementation of CALCITE-2920, RelBuilder has now a method to create an AntiJoin. However, since, for the moment, there is no "AntiJoin" expression, the only possibility to build an AntiJoin is using a LogicalCorrelate with SemiJoinType.ANTI, and that's exactly what this method does, for now.
The idea would be to "generalize" this with the creation of a new AntiJoin (a.k.a. AntiSemiJoin) relational expression. With the implementation of CALCITE-2969 (re-design of join-like expressions), it seems clear that the new AntiJoin expression will be a LogicalJoin with JoinType=ANTI. Also, it will have to be verified that:

• this new AntiJoin works fine in EnumerableConvention with all types of join condition (equi-join, partial equi-join, non equi-join)
• this new AntiJoin can be correctly transformed into a Correlate (type ANTI) via JoinToCorrelateRule

Issue Links

• causes: CALCITE-3119 Deprecate Linq4j CorrelateJoinType (in favor of JoinType)
• is superceded by: CALCITE-2969 Improve design of join-like relational expressions
• relates to: CALCITE-2857 Complicated plan generated for subuqery with both equi and non-equi condition
• links to: GitHub Pull Request #1246