sl@0: # 2002 May 24 sl@0: # sl@0: # The author disclaims copyright to this source code. In place of sl@0: # a legal notice, here is a blessing: sl@0: # sl@0: # May you do good and not evil. sl@0: # May you find forgiveness for yourself and forgive others. sl@0: # May you share freely, never taking more than you give. sl@0: # sl@0: #*********************************************************************** sl@0: # This file implements regression tests for SQLite library. sl@0: # sl@0: # This file implements tests for joins, including outer joins. sl@0: # sl@0: # $Id: join.test,v 1.25 2008/08/14 00:19:49 drh Exp $ sl@0: sl@0: set testdir [file dirname $argv0] sl@0: source $testdir/tester.tcl sl@0: sl@0: do_test join-1.1 { sl@0: execsql { sl@0: CREATE TABLE t1(a,b,c); sl@0: INSERT INTO t1 VALUES(1,2,3); sl@0: INSERT INTO t1 VALUES(2,3,4); sl@0: INSERT INTO t1 VALUES(3,4,5); sl@0: SELECT * FROM t1; sl@0: } sl@0: } {1 2 3 2 3 4 3 4 5} sl@0: do_test join-1.2 { sl@0: execsql { sl@0: CREATE TABLE t2(b,c,d); sl@0: INSERT INTO t2 VALUES(1,2,3); sl@0: INSERT INTO t2 VALUES(2,3,4); sl@0: INSERT INTO t2 VALUES(3,4,5); sl@0: SELECT * FROM t2; sl@0: } sl@0: } {1 2 3 2 3 4 3 4 5} sl@0: sl@0: do_test join-1.3 { sl@0: execsql2 { sl@0: SELECT * FROM t1 NATURAL JOIN t2; sl@0: } sl@0: } {a 1 b 2 c 3 d 4 a 2 b 3 c 4 d 5} sl@0: do_test join-1.3.1 { sl@0: execsql2 { sl@0: SELECT * FROM t2 NATURAL JOIN t1; sl@0: } sl@0: } {b 2 c 3 d 4 a 1 b 3 c 4 d 5 a 2} sl@0: do_test join-1.3.2 { sl@0: execsql2 { sl@0: SELECT * FROM t2 AS x NATURAL JOIN t1; sl@0: } sl@0: } {b 2 c 3 d 4 a 1 b 3 c 4 d 5 a 2} sl@0: do_test join-1.3.3 { sl@0: execsql2 { sl@0: SELECT * FROM t2 NATURAL JOIN t1 AS y; sl@0: } sl@0: } {b 2 c 3 d 4 a 1 b 3 c 4 d 5 a 2} sl@0: do_test join-1.3.4 { sl@0: execsql { sl@0: SELECT b FROM t1 NATURAL JOIN t2; sl@0: } sl@0: } {2 3} sl@0: do_test join-1.4.1 { sl@0: execsql2 { sl@0: SELECT * FROM t1 INNER JOIN t2 USING(b,c); sl@0: } sl@0: } {a 1 b 2 c 3 d 4 a 2 b 3 c 4 d 5} sl@0: do_test join-1.4.2 { sl@0: execsql2 { sl@0: SELECT * FROM t1 AS x INNER JOIN t2 USING(b,c); sl@0: } sl@0: } {a 1 b 2 c 3 d 4 a 2 b 3 c 4 d 5} sl@0: do_test join-1.4.3 { sl@0: execsql2 { sl@0: SELECT * FROM t1 INNER JOIN t2 AS y USING(b,c); sl@0: } sl@0: } {a 1 b 2 c 3 d 4 a 2 b 3 c 4 d 5} sl@0: do_test join-1.4.4 { sl@0: execsql2 { sl@0: SELECT * FROM t1 AS x INNER JOIN t2 AS y USING(b,c); sl@0: } sl@0: } {a 1 b 2 c 3 d 4 a 2 b 3 c 4 d 5} sl@0: do_test join-1.4.5 { sl@0: execsql { sl@0: SELECT b FROM t1 JOIN t2 USING(b); sl@0: } sl@0: } {2 3} sl@0: do_test join-1.5 { sl@0: execsql2 { sl@0: SELECT * FROM t1 INNER JOIN t2 USING(b); sl@0: } sl@0: } {a 1 b 2 c 3 c 3 d 4 a 2 b 3 c 4 c 4 d 5} sl@0: do_test join-1.6 { sl@0: execsql2 { sl@0: SELECT * FROM t1 INNER JOIN t2 USING(c); sl@0: } sl@0: } {a 1 b 2 c 3 b 2 d 4 a 2 b 3 c 4 b 3 d 5} sl@0: do_test join-1.7 { sl@0: execsql2 { sl@0: SELECT * FROM t1 INNER JOIN t2 USING(c,b); sl@0: } sl@0: } {a 1 b 2 c 3 d 4 a 2 b 3 c 4 d 5} sl@0: sl@0: do_test join-1.8 { sl@0: execsql { sl@0: SELECT * FROM t1 NATURAL CROSS JOIN t2; sl@0: } sl@0: } {1 2 3 4 2 3 4 5} sl@0: do_test join-1.9 { sl@0: execsql { sl@0: SELECT * FROM t1 CROSS JOIN t2 USING(b,c); sl@0: } sl@0: } {1 2 3 4 2 3 4 5} sl@0: do_test join-1.10 { sl@0: execsql { sl@0: SELECT * FROM t1 NATURAL INNER JOIN t2; sl@0: } sl@0: } {1 2 3 4 2 3 4 5} sl@0: do_test join-1.11 { sl@0: execsql { sl@0: SELECT * FROM t1 INNER JOIN t2 USING(b,c); sl@0: } sl@0: } {1 2 3 4 2 3 4 5} sl@0: do_test join-1.12 { sl@0: execsql { sl@0: SELECT * FROM t1 natural inner join t2; sl@0: } sl@0: } {1 2 3 4 2 3 4 5} sl@0: sl@0: ifcapable subquery { sl@0: do_test join-1.13 { sl@0: execsql2 { sl@0: SELECT * FROM t1 NATURAL JOIN sl@0: (SELECT b as 'c', c as 'd', d as 'e' FROM t2) as t3 sl@0: } sl@0: } {a 1 b 2 c 3 d 4 e 5} sl@0: do_test join-1.14 { sl@0: execsql2 { sl@0: SELECT * FROM (SELECT b as 'c', c as 'd', d as 'e' FROM t2) as 'tx' sl@0: NATURAL JOIN t1 sl@0: } sl@0: } {c 3 d 4 e 5 a 1 b 2} sl@0: } sl@0: sl@0: do_test join-1.15 { sl@0: execsql { sl@0: CREATE TABLE t3(c,d,e); sl@0: INSERT INTO t3 VALUES(2,3,4); sl@0: INSERT INTO t3 VALUES(3,4,5); sl@0: INSERT INTO t3 VALUES(4,5,6); sl@0: SELECT * FROM t3; sl@0: } sl@0: } {2 3 4 3 4 5 4 5 6} sl@0: do_test join-1.16 { sl@0: execsql { sl@0: SELECT * FROM t1 natural join t2 natural join t3; sl@0: } sl@0: } {1 2 3 4 5 2 3 4 5 6} sl@0: do_test join-1.17 { sl@0: execsql2 { sl@0: SELECT * FROM t1 natural join t2 natural join t3; sl@0: } sl@0: } {a 1 b 2 c 3 d 4 e 5 a 2 b 3 c 4 d 5 e 6} sl@0: do_test join-1.18 { sl@0: execsql { sl@0: CREATE TABLE t4(d,e,f); sl@0: INSERT INTO t4 VALUES(2,3,4); sl@0: INSERT INTO t4 VALUES(3,4,5); sl@0: INSERT INTO t4 VALUES(4,5,6); sl@0: SELECT * FROM t4; sl@0: } sl@0: } {2 3 4 3 4 5 4 5 6} sl@0: do_test join-1.19.1 { sl@0: execsql { sl@0: SELECT * FROM t1 natural join t2 natural join t4; sl@0: } sl@0: } {1 2 3 4 5 6} sl@0: do_test join-1.19.2 { sl@0: execsql2 { sl@0: SELECT * FROM t1 natural join t2 natural join t4; sl@0: } sl@0: } {a 1 b 2 c 3 d 4 e 5 f 6} sl@0: do_test join-1.20 { sl@0: execsql { sl@0: SELECT * FROM t1 natural join t2 natural join t3 WHERE t1.a=1 sl@0: } sl@0: } {1 2 3 4 5} sl@0: sl@0: do_test join-2.1 { sl@0: execsql { sl@0: SELECT * FROM t1 NATURAL LEFT JOIN t2; sl@0: } sl@0: } {1 2 3 4 2 3 4 5 3 4 5 {}} sl@0: do_test join-2.2 { sl@0: execsql { sl@0: SELECT * FROM t2 NATURAL LEFT OUTER JOIN t1; sl@0: } sl@0: } {1 2 3 {} 2 3 4 1 3 4 5 2} sl@0: do_test join-2.3 { sl@0: catchsql { sl@0: SELECT * FROM t1 NATURAL RIGHT OUTER JOIN t2; sl@0: } sl@0: } {1 {RIGHT and FULL OUTER JOINs are not currently supported}} sl@0: do_test join-2.4 { sl@0: execsql { sl@0: SELECT * FROM t1 LEFT JOIN t2 ON t1.a=t2.d sl@0: } sl@0: } {1 2 3 {} {} {} 2 3 4 {} {} {} 3 4 5 1 2 3} sl@0: do_test join-2.5 { sl@0: execsql { sl@0: SELECT * FROM t1 LEFT JOIN t2 ON t1.a=t2.d WHERE t1.a>1 sl@0: } sl@0: } {2 3 4 {} {} {} 3 4 5 1 2 3} sl@0: do_test join-2.6 { sl@0: execsql { sl@0: SELECT * FROM t1 LEFT JOIN t2 ON t1.a=t2.d WHERE t2.b IS NULL OR t2.b>1 sl@0: } sl@0: } {1 2 3 {} {} {} 2 3 4 {} {} {}} sl@0: sl@0: do_test join-3.1 { sl@0: catchsql { sl@0: SELECT * FROM t1 NATURAL JOIN t2 ON t1.a=t2.b; sl@0: } sl@0: } {1 {a NATURAL join may not have an ON or USING clause}} sl@0: do_test join-3.2 { sl@0: catchsql { sl@0: SELECT * FROM t1 NATURAL JOIN t2 USING(b); sl@0: } sl@0: } {1 {a NATURAL join may not have an ON or USING clause}} sl@0: do_test join-3.3 { sl@0: catchsql { sl@0: SELECT * FROM t1 JOIN t2 ON t1.a=t2.b USING(b); sl@0: } sl@0: } {1 {cannot have both ON and USING clauses in the same join}} sl@0: do_test join-3.4.1 { sl@0: catchsql { sl@0: SELECT * FROM t1 JOIN t2 USING(a); sl@0: } sl@0: } {1 {cannot join using column a - column not present in both tables}} sl@0: do_test join-3.4.2 { sl@0: catchsql { sl@0: SELECT * FROM t1 JOIN t2 USING(d); sl@0: } sl@0: } {1 {cannot join using column d - column not present in both tables}} sl@0: do_test join-3.5 { sl@0: catchsql { sl@0: SELECT * FROM t1 USING(a); sl@0: } sl@0: } {0 {1 2 3 2 3 4 3 4 5}} sl@0: do_test join-3.6 { sl@0: catchsql { sl@0: SELECT * FROM t1 JOIN t2 ON t3.a=t2.b; sl@0: } sl@0: } {1 {no such column: t3.a}} sl@0: do_test join-3.7 { sl@0: catchsql { sl@0: SELECT * FROM t1 INNER OUTER JOIN t2; sl@0: } sl@0: } {1 {unknown or unsupported join type: INNER OUTER}} sl@0: do_test join-3.8 { sl@0: catchsql { sl@0: SELECT * FROM t1 INNER OUTER CROSS JOIN t2; sl@0: } sl@0: } {1 {unknown or unsupported join type: INNER OUTER CROSS}} sl@0: do_test join-3.9 { sl@0: catchsql { sl@0: SELECT * FROM t1 OUTER NATURAL INNER JOIN t2; sl@0: } sl@0: } {1 {unknown or unsupported join type: OUTER NATURAL INNER}} sl@0: do_test join-3.10 { sl@0: catchsql { sl@0: SELECT * FROM t1 LEFT BOGUS JOIN t2; sl@0: } sl@0: } {1 {unknown or unsupported join type: LEFT BOGUS}} sl@0: do_test join-3.11 { sl@0: catchsql { sl@0: SELECT * FROM t1 INNER BOGUS CROSS JOIN t2; sl@0: } sl@0: } {1 {unknown or unsupported join type: INNER BOGUS CROSS}} sl@0: do_test join-3.12 { sl@0: catchsql { sl@0: SELECT * FROM t1 NATURAL AWK SED JOIN t2; sl@0: } sl@0: } {1 {unknown or unsupported join type: NATURAL AWK SED}} sl@0: sl@0: do_test join-4.1 { sl@0: execsql { sl@0: BEGIN; sl@0: CREATE TABLE t5(a INTEGER PRIMARY KEY); sl@0: CREATE TABLE t6(a INTEGER); sl@0: INSERT INTO t6 VALUES(NULL); sl@0: INSERT INTO t6 VALUES(NULL); sl@0: INSERT INTO t6 SELECT * FROM t6; sl@0: INSERT INTO t6 SELECT * FROM t6; sl@0: INSERT INTO t6 SELECT * FROM t6; sl@0: INSERT INTO t6 SELECT * FROM t6; sl@0: INSERT INTO t6 SELECT * FROM t6; sl@0: INSERT INTO t6 SELECT * FROM t6; sl@0: COMMIT; sl@0: } sl@0: execsql { sl@0: SELECT * FROM t6 NATURAL JOIN t5; sl@0: } sl@0: } {} sl@0: do_test join-4.2 { sl@0: execsql { sl@0: SELECT * FROM t6, t5 WHERE t6.at5.a; sl@0: } sl@0: } {} sl@0: do_test join-4.4 { sl@0: execsql { sl@0: UPDATE t6 SET a='xyz'; sl@0: SELECT * FROM t6 NATURAL JOIN t5; sl@0: } sl@0: } {} sl@0: do_test join-4.6 { sl@0: execsql { sl@0: SELECT * FROM t6, t5 WHERE t6.at5.a; sl@0: } sl@0: } {} sl@0: do_test join-4.8 { sl@0: execsql { sl@0: UPDATE t6 SET a=1; sl@0: SELECT * FROM t6 NATURAL JOIN t5; sl@0: } sl@0: } {} sl@0: do_test join-4.9 { sl@0: execsql { sl@0: SELECT * FROM t6, t5 WHERE t6.at5.a; sl@0: } sl@0: } {} sl@0: sl@0: do_test join-5.1 { sl@0: execsql { sl@0: BEGIN; sl@0: create table centros (id integer primary key, centro); sl@0: INSERT INTO centros VALUES(1,'xxx'); sl@0: create table usuarios (id integer primary key, nombre, apellidos, sl@0: idcentro integer); sl@0: INSERT INTO usuarios VALUES(1,'a','aa',1); sl@0: INSERT INTO usuarios VALUES(2,'b','bb',1); sl@0: INSERT INTO usuarios VALUES(3,'c','cc',NULL); sl@0: create index idcentro on usuarios (idcentro); sl@0: END; sl@0: select usuarios.id, usuarios.nombre, centros.centro from sl@0: usuarios left outer join centros on usuarios.idcentro = centros.id; sl@0: } sl@0: } {1 a xxx 2 b xxx 3 c {}} sl@0: sl@0: # A test for ticket #247. sl@0: # sl@0: do_test join-7.1 { sl@0: execsql { sl@0: CREATE TABLE t7 (x, y); sl@0: INSERT INTO t7 VALUES ("pa1", 1); sl@0: INSERT INTO t7 VALUES ("pa2", NULL); sl@0: INSERT INTO t7 VALUES ("pa3", NULL); sl@0: INSERT INTO t7 VALUES ("pa4", 2); sl@0: INSERT INTO t7 VALUES ("pa30", 131); sl@0: INSERT INTO t7 VALUES ("pa31", 130); sl@0: INSERT INTO t7 VALUES ("pa28", NULL); sl@0: sl@0: CREATE TABLE t8 (a integer primary key, b); sl@0: INSERT INTO t8 VALUES (1, "pa1"); sl@0: INSERT INTO t8 VALUES (2, "pa4"); sl@0: INSERT INTO t8 VALUES (3, NULL); sl@0: INSERT INTO t8 VALUES (4, NULL); sl@0: INSERT INTO t8 VALUES (130, "pa31"); sl@0: INSERT INTO t8 VALUES (131, "pa30"); sl@0: sl@0: SELECT coalesce(t8.a,999) from t7 LEFT JOIN t8 on y=a; sl@0: } sl@0: } {1 999 999 2 131 130 999} sl@0: sl@0: # Make sure a left join where the right table is really a view that sl@0: # is itself a join works right. Ticket #306. sl@0: # sl@0: ifcapable view { sl@0: do_test join-8.1 { sl@0: execsql { sl@0: BEGIN; sl@0: CREATE TABLE t9(a INTEGER PRIMARY KEY, b); sl@0: INSERT INTO t9 VALUES(1,11); sl@0: INSERT INTO t9 VALUES(2,22); sl@0: CREATE TABLE t10(x INTEGER PRIMARY KEY, y); sl@0: INSERT INTO t10 VALUES(1,2); sl@0: INSERT INTO t10 VALUES(3,3); sl@0: CREATE TABLE t11(p INTEGER PRIMARY KEY, q); sl@0: INSERT INTO t11 VALUES(2,111); sl@0: INSERT INTO t11 VALUES(3,333); sl@0: CREATE VIEW v10_11 AS SELECT x, q FROM t10, t11 WHERE t10.y=t11.p; sl@0: COMMIT; sl@0: SELECT * FROM t9 LEFT JOIN v10_11 ON( a=x ); sl@0: } sl@0: } {1 11 1 111 2 22 {} {}} sl@0: ifcapable subquery { sl@0: do_test join-8.2 { sl@0: execsql { sl@0: SELECT * FROM t9 LEFT JOIN (SELECT x, q FROM t10, t11 WHERE t10.y=t11.p) sl@0: ON( a=x); sl@0: } sl@0: } {1 11 1 111 2 22 {} {}} sl@0: } sl@0: do_test join-8.3 { sl@0: execsql { sl@0: SELECT * FROM v10_11 LEFT JOIN t9 ON( a=x ); sl@0: } sl@0: } {1 111 1 11 3 333 {} {}} sl@0: ifcapable subquery { sl@0: # Constant expressions in a subquery that is the right element of a sl@0: # LEFT JOIN evaluate to NULL for rows where the LEFT JOIN does not sl@0: # match. Ticket #3300 sl@0: do_test join-8.4 { sl@0: execsql { sl@0: SELECT * FROM t9 LEFT JOIN (SELECT 44, p, q FROM t11) AS sub1 ON p=a sl@0: } sl@0: } {1 11 {} {} {} 2 22 44 2 111} sl@0: } sl@0: } ;# ifcapable view sl@0: sl@0: # Ticket #350 describes a scenario where LEFT OUTER JOIN does not sl@0: # function correctly if the right table in the join is really sl@0: # subquery. sl@0: # sl@0: # To test the problem, we generate the same LEFT OUTER JOIN in two sl@0: # separate selects but with on using a subquery and the other calling sl@0: # the table directly. Then connect the two SELECTs using an EXCEPT. sl@0: # Both queries should generate the same results so the answer should sl@0: # be an empty set. sl@0: # sl@0: ifcapable compound { sl@0: do_test join-9.1 { sl@0: execsql { sl@0: BEGIN; sl@0: CREATE TABLE t12(a,b); sl@0: INSERT INTO t12 VALUES(1,11); sl@0: INSERT INTO t12 VALUES(2,22); sl@0: CREATE TABLE t13(b,c); sl@0: INSERT INTO t13 VALUES(22,222); sl@0: COMMIT; sl@0: } sl@0: } {} sl@0: sl@0: ifcapable subquery { sl@0: do_test join-9.1.1 { sl@0: execsql { sl@0: SELECT * FROM t12 NATURAL LEFT JOIN t13 sl@0: EXCEPT sl@0: SELECT * FROM t12 NATURAL LEFT JOIN (SELECT * FROM t13 WHERE b>0); sl@0: } sl@0: } {} sl@0: } sl@0: ifcapable view { sl@0: do_test join-9.2 { sl@0: execsql { sl@0: CREATE VIEW v13 AS SELECT * FROM t13 WHERE b>0; sl@0: SELECT * FROM t12 NATURAL LEFT JOIN t13 sl@0: EXCEPT sl@0: SELECT * FROM t12 NATURAL LEFT JOIN v13; sl@0: } sl@0: } {} sl@0: } ;# ifcapable view sl@0: } ;# ifcapable compound sl@0: sl@0: ifcapable subquery { sl@0: # Ticket #1697: Left Join WHERE clause terms that contain an sl@0: # aggregate subquery. sl@0: # sl@0: do_test join-10.1 { sl@0: execsql { sl@0: CREATE TABLE t21(a,b,c); sl@0: CREATE TABLE t22(p,q); sl@0: CREATE INDEX i22 ON t22(q); sl@0: SELECT a FROM t21 LEFT JOIN t22 ON b=p WHERE q= sl@0: (SELECT max(m.q) FROM t22 m JOIN t21 n ON n.b=m.p WHERE n.c=1); sl@0: } sl@0: } {} sl@0: sl@0: # Test a LEFT JOIN when the right-hand side of hte join is an empty sl@0: # sub-query. Seems fine. sl@0: # sl@0: do_test join-10.2 { sl@0: execsql { sl@0: CREATE TABLE t23(a, b, c); sl@0: CREATE TABLE t24(a, b, c); sl@0: INSERT INTO t23 VALUES(1, 2, 3); sl@0: } sl@0: execsql { sl@0: SELECT * FROM t23 LEFT JOIN t24; sl@0: } sl@0: } {1 2 3 {} {} {}} sl@0: do_test join-10.3 { sl@0: execsql { sl@0: SELECT * FROM t23 LEFT JOIN (SELECT * FROM t24); sl@0: } sl@0: } {1 2 3 {} {} {}} sl@0: sl@0: } ;# ifcapable subquery sl@0: sl@0: finish_test