sl@0: # 2006 January 31 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. The sl@0: # focus of this file is testing the join reordering optimization sl@0: # in cases that include a LEFT JOIN. sl@0: # sl@0: # $Id: where3.test,v 1.4 2008/04/17 19:14:02 drh Exp $ sl@0: sl@0: set testdir [file dirname $argv0] sl@0: source $testdir/tester.tcl sl@0: sl@0: # The following is from ticket #1652. sl@0: # sl@0: # A comma join then a left outer join: A,B left join C. sl@0: # Arrange indices so that the B table is chosen to go first. sl@0: # Also put an index on C, but make sure that A is chosen before C. sl@0: # sl@0: do_test where3-1.1 { sl@0: execsql { sl@0: CREATE TABLE t1(a, b); sl@0: CREATE TABLE t2(p, q); sl@0: CREATE TABLE t3(x, y); sl@0: sl@0: INSERT INTO t1 VALUES(111,'one'); sl@0: INSERT INTO t1 VALUES(222,'two'); sl@0: INSERT INTO t1 VALUES(333,'three'); sl@0: sl@0: INSERT INTO t2 VALUES(1,111); sl@0: INSERT INTO t2 VALUES(2,222); sl@0: INSERT INTO t2 VALUES(4,444); sl@0: CREATE INDEX t2i1 ON t2(p); sl@0: sl@0: INSERT INTO t3 VALUES(999,'nine'); sl@0: CREATE INDEX t3i1 ON t3(x); sl@0: sl@0: SELECT * FROM t1, t2 LEFT JOIN t3 ON q=x WHERE p=2 AND a=q; sl@0: } sl@0: } {222 two 2 222 {} {}} sl@0: sl@0: ifcapable explain { sl@0: do_test where3-1.1.1 { sl@0: explain_no_trace {SELECT * FROM t1, t2 LEFT JOIN t3 ON q=x sl@0: WHERE p=2 AND a=q} sl@0: } [explain_no_trace {SELECT * FROM t1, t2 LEFT JOIN t3 ON x=q sl@0: WHERE p=2 AND a=q}] sl@0: } sl@0: sl@0: # Ticket #1830 sl@0: # sl@0: # This is similar to the above but with the LEFT JOIN on the sl@0: # other side. sl@0: # sl@0: do_test where3-1.2 { sl@0: execsql { sl@0: CREATE TABLE parent1(parent1key, child1key, Child2key, child3key); sl@0: CREATE TABLE child1 ( child1key NVARCHAR, value NVARCHAR ); sl@0: CREATE UNIQUE INDEX PKIDXChild1 ON child1 ( child1key ); sl@0: CREATE TABLE child2 ( child2key NVARCHAR, value NVARCHAR ); sl@0: sl@0: INSERT INTO parent1(parent1key,child1key,child2key) sl@0: VALUES ( 1, 'C1.1', 'C2.1' ); sl@0: INSERT INTO child1 ( child1key, value ) VALUES ( 'C1.1', 'Value for C1.1' ); sl@0: INSERT INTO child2 ( child2key, value ) VALUES ( 'C2.1', 'Value for C2.1' ); sl@0: sl@0: INSERT INTO parent1 ( parent1key, child1key, child2key ) sl@0: VALUES ( 2, 'C1.2', 'C2.2' ); sl@0: INSERT INTO child2 ( child2key, value ) VALUES ( 'C2.2', 'Value for C2.2' ); sl@0: sl@0: INSERT INTO parent1 ( parent1key, child1key, child2key ) sl@0: VALUES ( 3, 'C1.3', 'C2.3' ); sl@0: INSERT INTO child1 ( child1key, value ) VALUES ( 'C1.3', 'Value for C1.3' ); sl@0: INSERT INTO child2 ( child2key, value ) VALUES ( 'C2.3', 'Value for C2.3' ); sl@0: sl@0: SELECT parent1.parent1key, child1.value, child2.value sl@0: FROM parent1 sl@0: LEFT OUTER JOIN child1 ON child1.child1key = parent1.child1key sl@0: INNER JOIN child2 ON child2.child2key = parent1.child2key; sl@0: } sl@0: } {1 {Value for C1.1} {Value for C2.1} 2 {} {Value for C2.2} 3 {Value for C1.3} {Value for C2.3}} sl@0: sl@0: ifcapable explain { sl@0: do_test where3-1.2.1 { sl@0: explain_no_trace { sl@0: SELECT parent1.parent1key, child1.value, child2.value sl@0: FROM parent1 sl@0: LEFT OUTER JOIN child1 ON child1.child1key = parent1.child1key sl@0: INNER JOIN child2 ON child2.child2key = parent1.child2key; sl@0: } sl@0: } [explain_no_trace { sl@0: SELECT parent1.parent1key, child1.value, child2.value sl@0: FROM parent1 sl@0: LEFT OUTER JOIN child1 ON parent1.child1key = child1.child1key sl@0: INNER JOIN child2 ON child2.child2key = parent1.child2key; sl@0: }] sl@0: } sl@0: sl@0: # This procedure executes the SQL. Then it appends sl@0: # the ::sqlite_query_plan variable. sl@0: # sl@0: proc queryplan {sql} { sl@0: set ::sqlite_sort_count 0 sl@0: set data [execsql $sql] sl@0: return [concat $data $::sqlite_query_plan] sl@0: } sl@0: sl@0: sl@0: # If you have a from clause of the form: A B C left join D sl@0: # then make sure the query optimizer is able to reorder the sl@0: # A B C part anyway it wants. sl@0: # sl@0: # Following the fix to ticket #1652, there was a time when sl@0: # the C table would not reorder. So the following reorderings sl@0: # were possible: sl@0: # sl@0: # A B C left join D sl@0: # B A C left join D sl@0: # sl@0: # But these reorders were not allowed sl@0: # sl@0: # C A B left join D sl@0: # A C B left join D sl@0: # C B A left join D sl@0: # B C A left join D sl@0: # sl@0: # The following tests are here to verify that the latter four sl@0: # reorderings are allowed again. sl@0: # sl@0: do_test where3-2.1 { sl@0: execsql { sl@0: CREATE TABLE tA(apk integer primary key, ax); sl@0: CREATE TABLE tB(bpk integer primary key, bx); sl@0: CREATE TABLE tC(cpk integer primary key, cx); sl@0: CREATE TABLE tD(dpk integer primary key, dx); sl@0: } sl@0: queryplan { sl@0: SELECT * FROM tA, tB, tC LEFT JOIN tD ON dpk=cx sl@0: WHERE cpk=bx AND bpk=ax sl@0: } sl@0: } {tA {} tB * tC * tD *} sl@0: do_test where3-2.1.1 { sl@0: queryplan { sl@0: SELECT * FROM tA, tB, tC LEFT JOIN tD ON cx=dpk sl@0: WHERE cpk=bx AND bpk=ax sl@0: } sl@0: } {tA {} tB * tC * tD *} sl@0: do_test where3-2.1.2 { sl@0: queryplan { sl@0: SELECT * FROM tA, tB, tC LEFT JOIN tD ON cx=dpk sl@0: WHERE bx=cpk AND bpk=ax sl@0: } sl@0: } {tA {} tB * tC * tD *} sl@0: do_test where3-2.1.3 { sl@0: queryplan { sl@0: SELECT * FROM tA, tB, tC LEFT JOIN tD ON cx=dpk sl@0: WHERE bx=cpk AND ax=bpk sl@0: } sl@0: } {tA {} tB * tC * tD *} sl@0: do_test where3-2.1.4 { sl@0: queryplan { sl@0: SELECT * FROM tA, tB, tC LEFT JOIN tD ON dpk=cx sl@0: WHERE bx=cpk AND ax=bpk sl@0: } sl@0: } {tA {} tB * tC * tD *} sl@0: do_test where3-2.1.5 { sl@0: queryplan { sl@0: SELECT * FROM tA, tB, tC LEFT JOIN tD ON dpk=cx sl@0: WHERE cpk=bx AND ax=bpk sl@0: } sl@0: } {tA {} tB * tC * tD *} sl@0: do_test where3-2.2 { sl@0: queryplan { sl@0: SELECT * FROM tA, tB, tC LEFT JOIN tD ON dpk=cx sl@0: WHERE cpk=bx AND apk=bx sl@0: } sl@0: } {tB {} tA * tC * tD *} sl@0: do_test where3-2.3 { sl@0: queryplan { sl@0: SELECT * FROM tA, tB, tC LEFT JOIN tD ON dpk=cx sl@0: WHERE cpk=bx AND apk=bx sl@0: } sl@0: } {tB {} tA * tC * tD *} sl@0: do_test where3-2.4 { sl@0: queryplan { sl@0: SELECT * FROM tA, tB, tC LEFT JOIN tD ON dpk=cx sl@0: WHERE apk=cx AND bpk=ax sl@0: } sl@0: } {tC {} tA * tB * tD *} sl@0: do_test where3-2.5 { sl@0: queryplan { sl@0: SELECT * FROM tA, tB, tC LEFT JOIN tD ON dpk=cx sl@0: WHERE cpk=ax AND bpk=cx sl@0: } sl@0: } {tA {} tC * tB * tD *} sl@0: do_test where3-2.5 { sl@0: queryplan { sl@0: SELECT * FROM tA, tB, tC LEFT JOIN tD ON dpk=cx sl@0: WHERE bpk=cx AND apk=bx sl@0: } sl@0: } {tC {} tB * tA * tD *} sl@0: do_test where3-2.6 { sl@0: queryplan { sl@0: SELECT * FROM tA, tB, tC LEFT JOIN tD ON dpk=cx sl@0: WHERE cpk=bx AND apk=cx sl@0: } sl@0: } {tB {} tC * tA * tD *} sl@0: sl@0: sl@0: finish_test