# 2001 September 15

#

# The author disclaims copyright to this source code.  In place of

# a legal notice, here is a blessing:

#

#    May you do good and not evil.

#    May you find forgiveness for yourself and forgive others.

#    May you share freely, never taking more than you give.

#

#***********************************************************************

# This file implements regression tests for SQLite library.  The

# focus of this file is testing SELECT statements that contain

# subqueries in their FROM clause.

#

# $Id: select6.test,v 1.28 2008/08/20 16:35:10 drh Exp $

set testdir [file dirname $argv0]

source $testdir/tester.tcl

# Omit this whole file if the library is build without subquery support.

ifcapable !subquery {

  finish_test

  return

}

do_test select6-1.0 {

  execsql {

    BEGIN;

    CREATE TABLE t1(x, y);

    INSERT INTO t1 VALUES(1,1);

    INSERT INTO t1 VALUES(2,2);

    INSERT INTO t1 VALUES(3,2);

    INSERT INTO t1 VALUES(4,3);

    INSERT INTO t1 VALUES(5,3);

    INSERT INTO t1 VALUES(6,3);

    INSERT INTO t1 VALUES(7,3);

    INSERT INTO t1 VALUES(8,4);

    INSERT INTO t1 VALUES(9,4);

    INSERT INTO t1 VALUES(10,4);

    INSERT INTO t1 VALUES(11,4);

    INSERT INTO t1 VALUES(12,4);

    INSERT INTO t1 VALUES(13,4);

    INSERT INTO t1 VALUES(14,4);

    INSERT INTO t1 VALUES(15,4);

    INSERT INTO t1 VALUES(16,5);

    INSERT INTO t1 VALUES(17,5);

    INSERT INTO t1 VALUES(18,5);

    INSERT INTO t1 VALUES(19,5);

    INSERT INTO t1 VALUES(20,5);

    COMMIT;

    SELECT DISTINCT y FROM t1 ORDER BY y;

  }

} {1 2 3 4 5}

do_test select6-1.1 {

  execsql2 {SELECT * FROM (SELECT x, y FROM t1 WHERE x<2)}

} {x 1 y 1}

do_test select6-1.2 {

  execsql {SELECT count(*) FROM (SELECT y FROM t1)}

} {20}

do_test select6-1.3 {

  execsql {SELECT count(*) FROM (SELECT DISTINCT y FROM t1)}

} {5}

do_test select6-1.4 {

  execsql {SELECT count(*) FROM (SELECT DISTINCT * FROM (SELECT y FROM t1))}

} {5}

do_test select6-1.5 {

  execsql {SELECT count(*) FROM (SELECT * FROM (SELECT DISTINCT y FROM t1))}

} {5}

do_test select6-1.6 {

  execsql {

    SELECT * 

    FROM (SELECT count(*),y FROM t1 GROUP BY y) AS a,

         (SELECT max(x),y FROM t1 GROUP BY y) as b

    WHERE a.y=b.y ORDER BY a.y

  }

} {1 1 1 1 2 2 3 2 4 3 7 3 8 4 15 4 5 5 20 5}

do_test select6-1.7 {

  execsql {

    SELECT a.y, a.[count(*)], [max(x)], [count(*)]

    FROM (SELECT count(*),y FROM t1 GROUP BY y) AS a,

         (SELECT max(x),y FROM t1 GROUP BY y) as b

    WHERE a.y=b.y ORDER BY a.y

  }

} {1 1 1 1 2 2 3 2 3 4 7 4 4 8 15 8 5 5 20 5}

do_test select6-1.8 {

  execsql {

    SELECT q, p, r

    FROM (SELECT count(*) as p , y as q FROM t1 GROUP BY y) AS a,

         (SELECT max(x) as r, y as s FROM t1 GROUP BY y) as b

    WHERE q=s ORDER BY s

  }

} {1 1 1 2 2 3 3 4 7 4 8 15 5 5 20}

do_test select6-1.9 {

  execsql {

    SELECT q, p, r, b.[min(x)+y]

    FROM (SELECT count(*) as p , y as q FROM t1 GROUP BY y) AS a,

         (SELECT max(x) as r, y as s, min(x)+y FROM t1 GROUP BY y) as b

    WHERE q=s ORDER BY s

  }

} {1 1 1 2 2 2 3 4 3 4 7 7 4 8 15 12 5 5 20 21}

do_test select6-2.0 {

  execsql {

    CREATE TABLE t2(a INTEGER PRIMARY KEY, b);

    INSERT INTO t2 SELECT * FROM t1;

    SELECT DISTINCT b FROM t2 ORDER BY b;

  }

} {1 2 3 4 5}

do_test select6-2.1 {

  execsql2 {SELECT * FROM (SELECT a, b FROM t2 WHERE a<2)}

} {a 1 b 1}

do_test select6-2.2 {

  execsql {SELECT count(*) FROM (SELECT b FROM t2)}

} {20}

do_test select6-2.3 {

  execsql {SELECT count(*) FROM (SELECT DISTINCT b FROM t2)}

} {5}

do_test select6-2.4 {

  execsql {SELECT count(*) FROM (SELECT DISTINCT * FROM (SELECT b FROM t2))}

} {5}

do_test select6-2.5 {

  execsql {SELECT count(*) FROM (SELECT * FROM (SELECT DISTINCT b FROM t2))}

} {5}

do_test select6-2.6 {

  execsql {

    SELECT * 

    FROM (SELECT count(*),b FROM t2 GROUP BY b) AS a,

         (SELECT max(a),b FROM t2 GROUP BY b) as b

    WHERE a.b=b.b ORDER BY a.b

  }

} {1 1 1 1 2 2 3 2 4 3 7 3 8 4 15 4 5 5 20 5}

do_test select6-2.7 {

  execsql {

    SELECT a.b, a.[count(*)], [max(a)], [count(*)]

    FROM (SELECT count(*),b FROM t2 GROUP BY b) AS a,

         (SELECT max(a),b FROM t2 GROUP BY b) as b

    WHERE a.b=b.b ORDER BY a.b

  }

} {1 1 1 1 2 2 3 2 3 4 7 4 4 8 15 8 5 5 20 5}

do_test select6-2.8 {

  execsql {

    SELECT q, p, r

    FROM (SELECT count(*) as p , b as q FROM t2 GROUP BY b) AS a,

         (SELECT max(a) as r, b as s FROM t2 GROUP BY b) as b

    WHERE q=s ORDER BY s

  }

} {1 1 1 2 2 3 3 4 7 4 8 15 5 5 20}

do_test select6-2.9 {

  execsql {

    SELECT a.q, a.p, b.r

    FROM (SELECT count(*) as p , b as q FROM t2 GROUP BY q) AS a,

         (SELECT max(a) as r, b as s FROM t2 GROUP BY s) as b

    WHERE a.q=b.s ORDER BY a.q

  }

} {1 1 1 2 2 3 3 4 7 4 8 15 5 5 20}

do_test select6-3.1 {

  execsql2 {

    SELECT * FROM (SELECT * FROM (SELECT * FROM t1 WHERE x=3));

  }

} {x 3 y 2}

do_test select6-3.2 {

  execsql {

    SELECT * FROM

      (SELECT a.q, a.p, b.r

       FROM (SELECT count(*) as p , b as q FROM t2 GROUP BY q) AS a,

            (SELECT max(a) as r, b as s FROM t2 GROUP BY s) as b

       WHERE a.q=b.s ORDER BY a.q)

    ORDER BY "a.q"

  }

} {1 1 1 2 2 3 3 4 7 4 8 15 5 5 20}

do_test select6-3.3 {

  execsql {

    SELECT a,b,a+b FROM (SELECT avg(x) as 'a', avg(y) as 'b' FROM t1)

  }

} {10.5 3.7 14.2}

do_test select6-3.4 {

  execsql {

    SELECT a,b,a+b FROM (SELECT avg(x) as 'a', avg(y) as 'b' FROM t1 WHERE y=4)

  }

} {11.5 4.0 15.5}

do_test select6-3.5 {

  execsql {

    SELECT x,y,x+y FROM (SELECT avg(a) as 'x', avg(b) as 'y' FROM t2 WHERE a=4)

  }

} {4.0 3.0 7.0}

do_test select6-3.6 {

  execsql {

    SELECT a,b,a+b FROM (SELECT avg(x) as 'a', avg(y) as 'b' FROM t1)

    WHERE a>10

  }

} {10.5 3.7 14.2}

do_test select6-3.7 {

  execsql {

    SELECT a,b,a+b FROM (SELECT avg(x) as 'a', avg(y) as 'b' FROM t1)

    WHERE a<10

  }

} {}

do_test select6-3.8 {

  execsql {

    SELECT a,b,a+b FROM (SELECT avg(x) as 'a', avg(y) as 'b' FROM t1 WHERE y=4)

    WHERE a>10

  }

} {11.5 4.0 15.5}

do_test select6-3.9 {

  execsql {

    SELECT a,b,a+b FROM (SELECT avg(x) as 'a', avg(y) as 'b' FROM t1 WHERE y=4)

    WHERE a<10

  }

} {}

do_test select6-3.10 {

  execsql {

    SELECT a,b,a+b FROM (SELECT avg(x) as 'a', y as 'b' FROM t1 GROUP BY b)

    ORDER BY a

  }

} {1.0 1 2.0 2.5 2 4.5 5.5 3 8.5 11.5 4 15.5 18.0 5 23.0}

do_test select6-3.11 {

  execsql {

    SELECT a,b,a+b FROM 

       (SELECT avg(x) as 'a', y as 'b' FROM t1 GROUP BY b)

    WHERE b<4 ORDER BY a

  }

} {1.0 1 2.0 2.5 2 4.5 5.5 3 8.5}

do_test select6-3.12 {

  execsql {

    SELECT a,b,a+b FROM 

       (SELECT avg(x) as 'a', y as 'b' FROM t1 GROUP BY b HAVING a>1)

    WHERE b<4 ORDER BY a

  }

} {2.5 2 4.5 5.5 3 8.5}

do_test select6-3.13 {

  execsql {

    SELECT a,b,a+b FROM 

       (SELECT avg(x) as 'a', y as 'b' FROM t1 GROUP BY b HAVING a>1)

    ORDER BY a

  }

} {2.5 2 4.5 5.5 3 8.5 11.5 4 15.5 18.0 5 23.0}

do_test select6-3.14 {

  execsql {

    SELECT [count(*)],y FROM (SELECT count(*), y FROM t1 GROUP BY y)

    ORDER BY [count(*)]

  }

} {1 1 2 2 4 3 5 5 8 4}

do_test select6-3.15 {

  execsql {

    SELECT [count(*)],y FROM (SELECT count(*), y FROM t1 GROUP BY y)

    ORDER BY y

  }

} {1 1 2 2 4 3 8 4 5 5}

do_test select6-4.1 {

  execsql {

    SELECT a,b,c FROM 

      (SELECT x AS 'a', y AS 'b', x+y AS 'c' FROM t1 WHERE y=4)

    WHERE a<10 ORDER BY a;

  }

} {8 4 12 9 4 13}

do_test select6-4.2 {

  execsql {

    SELECT y FROM (SELECT DISTINCT y FROM t1) WHERE y<5 ORDER BY y

  }

} {1 2 3 4}

do_test select6-4.3 {

  execsql {

    SELECT DISTINCT y FROM (SELECT y FROM t1) WHERE y<5 ORDER BY y

  }

} {1 2 3 4}

do_test select6-4.4 {

  execsql {

    SELECT avg(y) FROM (SELECT DISTINCT y FROM t1) WHERE y<5 ORDER BY y

  }

} {2.5}

do_test select6-4.5 {

  execsql {

    SELECT avg(y) FROM (SELECT DISTINCT y FROM t1 WHERE y<5) ORDER BY y

  }

} {2.5}

do_test select6-5.1 {

  execsql {

    SELECT a,x,b FROM

      (SELECT x+3 AS 'a', x FROM t1 WHERE y=3) AS 'p',

      (SELECT x AS 'b' FROM t1 WHERE y=4) AS 'q'

    WHERE a=b

    ORDER BY a

  }

} {8 5 8 9 6 9 10 7 10}

do_test select6-5.2 {

  execsql {

    SELECT a,x,b FROM

      (SELECT x+3 AS 'a', x FROM t1 WHERE y=3),

      (SELECT x AS 'b' FROM t1 WHERE y=4)

    WHERE a=b

    ORDER BY a

  }

} {8 5 8 9 6 9 10 7 10}

# Tests of compound sub-selects

#

do_test select6-6.1 {

  execsql {

    DELETE FROM t1 WHERE x>4;

    SELECT * FROM t1

  }

} {1 1 2 2 3 2 4 3}

ifcapable compound {

  do_test select6-6.2 {

    execsql {

      SELECT * FROM (

        SELECT x AS 'a' FROM t1 UNION ALL SELECT x+10 AS 'a' FROM t1

      ) ORDER BY a;

    }

  } {1 2 3 4 11 12 13 14}

  do_test select6-6.3 {

    execsql {

      SELECT * FROM (

        SELECT x AS 'a' FROM t1 UNION ALL SELECT x+1 AS 'a' FROM t1

      ) ORDER BY a;

    }

  } {1 2 2 3 3 4 4 5}

  do_test select6-6.4 {

    execsql {

      SELECT * FROM (

        SELECT x AS 'a' FROM t1 UNION SELECT x+1 AS 'a' FROM t1

      ) ORDER BY a;

    }

  } {1 2 3 4 5}

  do_test select6-6.5 {

    execsql {

      SELECT * FROM (

        SELECT x AS 'a' FROM t1 INTERSECT SELECT x+1 AS 'a' FROM t1

      ) ORDER BY a;

    }

  } {2 3 4}

  do_test select6-6.6 {

    execsql {

      SELECT * FROM (

        SELECT x AS 'a' FROM t1 EXCEPT SELECT x*2 AS 'a' FROM t1

      ) ORDER BY a;

    }

  } {1 3}

} ;# ifcapable compound

# Subselects with no FROM clause

#

do_test select6-7.1 {

  execsql {

    SELECT * FROM (SELECT 1)

  }

} {1}

do_test select6-7.2 {

  execsql {

    SELECT c,b,a,* FROM (SELECT 1 AS 'a', 2 AS 'b', 'abc' AS 'c')

  }

} {abc 2 1 1 2 abc}

do_test select6-7.3 {

  execsql {

    SELECT c,b,a,* FROM (SELECT 1 AS 'a', 2 AS 'b', 'abc' AS 'c' WHERE 0)

  }

} {}

do_test select6-7.4 {

  execsql2 {

    SELECT c,b,a,* FROM (SELECT 1 AS 'a', 2 AS 'b', 'abc' AS 'c' WHERE 1)

  }

} {c abc b 2 a 1 a 1 b 2 c abc}

# The remaining tests in this file depend on the EXPLAIN keyword.

# Skip these tests if EXPLAIN is disabled in the current build.

#

ifcapable {!explain} {

  finish_test

  return

}

# The following procedure compiles the SQL given as an argument and returns

# TRUE if that SQL uses any transient tables and returns FALSE if no

# transient tables are used.  This is used to make sure that the

# sqliteFlattenSubquery() routine in select.c is doing its job.

#

proc is_flat {sql} {

  return [expr 0>[lsearch [execsql "EXPLAIN $sql"] OpenEphemeral]]

}

# Check that the flattener works correctly for deeply nested subqueries

# involving joins.

#

do_test select6-8.1 {

  execsql {

    BEGIN;

    CREATE TABLE t3(p,q);

    INSERT INTO t3 VALUES(1,11);

    INSERT INTO t3 VALUES(2,22);

    CREATE TABLE t4(q,r);

    INSERT INTO t4 VALUES(11,111);

    INSERT INTO t4 VALUES(22,222);

    COMMIT;

    SELECT * FROM t3 NATURAL JOIN t4;

  }

} {1 11 111 2 22 222}

do_test select6-8.2 {

  execsql {

    SELECT y, p, q, r FROM

       (SELECT t1.y AS y, t2.b AS b FROM t1, t2 WHERE t1.x=t2.a) AS m,

       (SELECT t3.p AS p, t3.q AS q, t4.r AS r FROM t3 NATURAL JOIN t4) as n

    WHERE  y=p

  }

} {1 1 11 111 2 2 22 222 2 2 22 222}

# If view support is omitted from the build, then so is the query 

# "flattener". So omit this test and test select6-8.6 in that case.

ifcapable view {

do_test select6-8.3 {

  is_flat {

    SELECT y, p, q, r FROM

       (SELECT t1.y AS y, t2.b AS b FROM t1, t2 WHERE t1.x=t2.a) AS m,

       (SELECT t3.p AS p, t3.q AS q, t4.r AS r FROM t3 NATURAL JOIN t4) as n

    WHERE  y=p

  }

} {1}

} ;# ifcapable view

do_test select6-8.4 {

  execsql {

    SELECT DISTINCT y, p, q, r FROM

       (SELECT t1.y AS y, t2.b AS b FROM t1, t2 WHERE t1.x=t2.a) AS m,

       (SELECT t3.p AS p, t3.q AS q, t4.r AS r FROM t3 NATURAL JOIN t4) as n

    WHERE  y=p

  }

} {1 1 11 111 2 2 22 222}

do_test select6-8.5 {

  execsql {

    SELECT * FROM 

      (SELECT y, p, q, r FROM

         (SELECT t1.y AS y, t2.b AS b FROM t1, t2 WHERE t1.x=t2.a) AS m,

         (SELECT t3.p AS p, t3.q AS q, t4.r AS r FROM t3 NATURAL JOIN t4) as n

      WHERE  y=p) AS e,

      (SELECT r AS z FROM t4 WHERE q=11) AS f

    WHERE e.r=f.z

  }

} {1 1 11 111 111}

ifcapable view {

do_test select6-8.6 {

  is_flat {

    SELECT * FROM 

      (SELECT y, p, q, r FROM

         (SELECT t1.y AS y, t2.b AS b FROM t1, t2 WHERE t1.x=t2.a) AS m,

         (SELECT t3.p AS p, t3.q AS q, t4.r AS r FROM t3 NATURAL JOIN t4) as n

      WHERE  y=p) AS e,

      (SELECT r AS z FROM t4 WHERE q=11) AS f

    WHERE e.r=f.z

  }

} {1}

} ;# ifcapable view

# Ticket #1634

#

do_test select6-9.1 {

  execsql {

    SELECT a.x, b.x FROM t1 AS a, (SELECT x FROM t1 LIMIT 2) AS b

  }

} {1 1 1 2 2 1 2 2 3 1 3 2 4 1 4 2}

do_test select6-9.2 {

  execsql {

    SELECT x FROM (SELECT x FROM t1 LIMIT 2);

  }

} {1 2}

do_test select6-9.3 {

  execsql {

    SELECT x FROM (SELECT x FROM t1 LIMIT 2 OFFSET 1);

  }

} {2 3}

do_test select6-9.4 {

  execsql {

    SELECT x FROM (SELECT x FROM t1) LIMIT 2;

  }

} {1 2}

do_test select6-9.5 {

  execsql {

    SELECT x FROM (SELECT x FROM t1) LIMIT 2 OFFSET 1;

  }

} {2 3}

do_test select6-9.6 {

  execsql {

    SELECT x FROM (SELECT x FROM t1 LIMIT 2) LIMIT 3;

  }

} {1 2}

do_test select6-9.7 {

  execsql {

    SELECT x FROM (SELECT x FROM t1 LIMIT -1) LIMIT 3;

  }

} {1 2 3}

do_test select6-9.8 {

  execsql {

    SELECT x FROM (SELECT x FROM t1 LIMIT -1);

  }

} {1 2 3 4}

do_test select6-9.9 {

  execsql {

    SELECT x FROM (SELECT x FROM t1 LIMIT -1 OFFSET 1);

  }

} {2 3 4}

finish_test