[jira] [Created] (CALCITE-1511) RelDecorrelator's allLessThan failing for NOT EXISTS subquery

["Vineet Garg (JIRA)" <ji...@apache.org>]

Vineet Garg created CALCITE-1511:
------------------------------------

             Summary: RelDecorrelator's allLessThan failing for NOT EXISTS subquery
                 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


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)