[jira] [Updated] (CALCITE-1511) RelDecorrelator's allLessThan failing for NOT EXISTS sub-query

["Julian Hyde (JIRA)" <ji...@apache.org>]

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

Julian Hyde updated CALCITE-1511:
---------------------------------
    Summary: RelDecorrelator's allLessThan failing for NOT EXISTS sub-query  (was: RelDecorrelator's allLessThan failing for NOT EXISTS subquery)

> RelDecorrelator's allLessThan failing for NOT EXISTS sub-query
> --------------------------------------------------------------
>
>                 Key: CALCITE-1511
>                 URL: https://issues.apache.org/jira/browse/CALCITE-1511
>             Project: Calcite
>          Issue Type: Bug
>          Components: core
>            Reporter: Vineet Garg
>            Assignee: Julian Hyde
>              Labels: sub-query
>
> Calcite hits an assertion for following query (planning is done by calling SubQueryRemoveRule followed by decorrelateQuery )
> {code}  select * from emp where EXISTS (select * from emp e where emp.deptno = e.deptno) AND NOT EXISTS (select * from emp ee where ee.job = emp.job AND ee.sal=34) {code}
> Assertion
> {noformat} Caused by: java.lang.AssertionError: out of range; value: 3, limit: 3 {noformat}
> This assertion is hit in {noformat} RelDecorrelator's allLessThan {noformat} which is called while registering newly de-correlated LogicalAggregate. 
> Plan just before SubqueryRemoveRule
> {noformat}
> LogicalProject(EMPNO=[$0], ENAME=[$1], JOB=[$2], MGR=[$3], HIREDATE=[$4], SAL=[$5], COMM=[$6], DEPTNO=[$7], SLACKER=[$8])
>   LogicalFilter(condition=[AND(EXISTS({
> LogicalFilter(condition=[=($cor0.DEPTNO, $7)])
>   LogicalTableScan(table=[[CATALOG, SALES, EMP]])
> }), NOT(EXISTS({
> LogicalFilter(condition=[AND(=($2, $cor0.JOB), =($5, 34))])
>   LogicalTableScan(table=[[CATALOG, SALES, EMP]])
> })))], variablesSet=[[$cor0]])
>     LogicalTableScan(table=[[CATALOG, SALES, EMP]])
> {noformat}
> Plan just after SubqueryRemoveRule:
> {noformat}
> LogicalProject(EMPNO=[$0], ENAME=[$1], JOB=[$2], MGR=[$3], HIREDATE=[$4], SAL=[$5], COMM=[$6], DEPTNO=[$7], SLACKER=[$8])
>   LogicalProject(EMPNO=[$0], ENAME=[$1], JOB=[$2], MGR=[$3], HIREDATE=[$4], SAL=[$5], COMM=[$6], DEPTNO=[$7], SLACKER=[$8])
>     LogicalProject(EMPNO=[$0], ENAME=[$1], JOB=[$2], MGR=[$3], HIREDATE=[$4], SAL=[$5], COMM=[$6], DEPTNO=[$7], SLACKER=[$8], i=[$9])
>       LogicalFilter(condition=[AND(OR(IS NULL($12), =($10, 0)), OR(>=($11, $10), =($10, 0)))])
>         LogicalJoin(condition=[true], joinType=[left])
>           LogicalJoin(condition=[true], joinType=[inner])
>             LogicalCorrelate(correlation=[$cor0], joinType=[INNER], requiredColumns=[{7}])
>               LogicalTableScan(table=[[CATALOG, SALES, EMP]])
>               LogicalAggregate(group=[{0}])
>                 LogicalProject(i=[true])
>                   LogicalFilter(condition=[=($cor0.DEPTNO, $7)])
>                     LogicalTableScan(table=[[CATALOG, SALES, EMP]])
>             LogicalAggregate(group=[{}], c=[COUNT()], ck=[COUNT($0, $1, $2, $3, $4, $5, $6, $7, $8)])
>               LogicalFilter(condition=[AND(=($2, $cor0.JOB), =($5, 34))])
>                 LogicalTableScan(table=[[CATALOG, SALES, EMP]])
>           LogicalAggregate(group=[{0}])
>             LogicalProject(i=[true])
>               LogicalFilter(condition=[AND(=($2, $cor0.JOB), =($5, 34))])
>                 LogicalTableScan(table=[[CATALOG, SALES, EMP]])
> {noformat}



--
This message was sent by Atlassian JIRA
(v6.3.4#6332)