[CALCITE-3837] AntiJoin with empty right input can always be transformed as its left input

• Type: Improvement
• Status: Closed
• Priority: Minor
• Resolution: Fixed
• Affects Version/s: 1.22.0
• Fix Version/s: 1.23.0
• Component/s: core
• Labels: pull-request-available
• Assignee: Ruben Q L
• Reporter: Ruben Q L
• Created: 02/Mar/20 10:28
• Updated: 24/May/20 12:00
• Resolved: 06/Mar/20 08:32

Description

CALCITE-3783 fixed PruneEmptyRules#JOIN_RIGHT_INSTANCE for join type ANTI:

Join(Scan(Emp), Empty, ANTI) becomes Scan(Emp)

However, it performs this transformation only in case of anti equi-join (in case of non-equi, no transformation is made).
Re-considering this, I believe this is a mistake, and the transformation can always be performed, independently of the join condition (equi / non-equi, it does not matter).

Issue Links

• is related to: CALCITE-3783 PruneEmptyRules#JOIN_RIGHT_INSTANCE wrong behavior for JoinRelType.ANTI
• links to: GitHub Pull Request #1843