[ 
https://issues.apache.org/jira/browse/CALCITE-6948?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
 ]

Zhen Chen updated CALCITE-6948:
-------------------------------
    Description: 
Similar to IntersectToSemiJoinRule, we can implement MinusToAntiJoinRule. Like 
this:

from:
{code:java}
LogicalMinus(all=[false])
  LogicalProject(ENAME=[$1])
    LogicalFilter(condition=[=($7, 10)])
      LogicalTableScan(table=[[CATALOG, SALES, EMP]])
  LogicalProject(ENAME=[$1])
    LogicalFilter(condition=[=($7, 20)])
      LogicalTableScan(table=[[CATALOG, SALES, EMP]]) {code}
to:
{code:java}
LogicalAggregate(group=[{0}])
  LogicalJoin(condition=[IS NOT DISTINCT FROM($0, $1)], joinType=[anti])
    LogicalProject(ENAME=[$1])
      LogicalFilter(condition=[=($7, 10)])
        LogicalTableScan(table=[[CATALOG, SALES, EMP]])
    LogicalProject(ENAME=[$1])
      LogicalFilter(condition=[=($7, 20)])
        LogicalTableScan(table=[[CATALOG, SALES, EMP]]) {code}
SQL like:

from

 
{code:java}
select empid from emps
except
select empid from emps where empid > 150;{code}
to

 
{code:java}
SELECT empid
FROM emps A
WHERE NOT EXISTS (
    SELECT 1
    FROM emps B
    WHERE B.empid > 150 and A.empid is not distinct from B.empid
); {code}
 

  was:
Similar to IntersectToSemiJoinRule, we can implement MinusToAntiJoinRule. Like 
this:

from:
{code:java}
LogicalMinus(all=[false])
  LogicalProject(ENAME=[$1])
    LogicalFilter(condition=[=($7, 10)])
      LogicalTableScan(table=[[CATALOG, SALES, EMP]])
  LogicalProject(ENAME=[$1])
    LogicalFilter(condition=[=($7, 20)])
      LogicalTableScan(table=[[CATALOG, SALES, EMP]]) {code}
to:
{code:java}
LogicalAggregate(group=[{0}])
  LogicalJoin(condition=[IS NOT DISTINCT FROM($0, $1)], joinType=[anti])
    LogicalProject(ENAME=[$1])
      LogicalFilter(condition=[=($7, 10)])
        LogicalTableScan(table=[[CATALOG, SALES, EMP]])
    LogicalProject(ENAME=[$1])
      LogicalFilter(condition=[=($7, 20)])
        LogicalTableScan(table=[[CATALOG, SALES, EMP]]) {code}
SQL like:

from

 
{code:java}
select empid from emps
except
select empid from emps where empid > 150;{code}
to

 
{code:java}
SELECT empid
FROM emps A
WHERE NOT EXISTS (
    SELECT 1
    FROM emps B
    WHERE B.empid > 150 and A.empid is not distinct from B.empid
); {code}
Currently only EXCEPT is supported, EXCEPT ALL is not supported.


> Implement MinusToAntiJoinRule
> -----------------------------
>
>                 Key: CALCITE-6948
>                 URL: https://issues.apache.org/jira/browse/CALCITE-6948
>             Project: Calcite
>          Issue Type: Improvement
>          Components: core
>    Affects Versions: 1.39.0
>            Reporter: Zhen Chen
>            Assignee: Zhen Chen
>            Priority: Major
>              Labels: pull-request-available
>             Fix For: 1.40.0
>
>
> Similar to IntersectToSemiJoinRule, we can implement MinusToAntiJoinRule. 
> Like this:
> from:
> {code:java}
> LogicalMinus(all=[false])
>   LogicalProject(ENAME=[$1])
>     LogicalFilter(condition=[=($7, 10)])
>       LogicalTableScan(table=[[CATALOG, SALES, EMP]])
>   LogicalProject(ENAME=[$1])
>     LogicalFilter(condition=[=($7, 20)])
>       LogicalTableScan(table=[[CATALOG, SALES, EMP]]) {code}
> to:
> {code:java}
> LogicalAggregate(group=[{0}])
>   LogicalJoin(condition=[IS NOT DISTINCT FROM($0, $1)], joinType=[anti])
>     LogicalProject(ENAME=[$1])
>       LogicalFilter(condition=[=($7, 10)])
>         LogicalTableScan(table=[[CATALOG, SALES, EMP]])
>     LogicalProject(ENAME=[$1])
>       LogicalFilter(condition=[=($7, 20)])
>         LogicalTableScan(table=[[CATALOG, SALES, EMP]]) {code}
> SQL like:
> from
>  
> {code:java}
> select empid from emps
> except
> select empid from emps where empid > 150;{code}
> to
>  
> {code:java}
> SELECT empid
> FROM emps A
> WHERE NOT EXISTS (
>     SELECT 1
>     FROM emps B
>     WHERE B.empid > 150 and A.empid is not distinct from B.empid
> ); {code}
>  



--
This message was sent by Atlassian Jira
(v8.20.10#820010)

Reply via email to