/trunk/test/where3.test |
@@ -0,0 +1,345 @@ |
# 2006 January 31 |
# |
# 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 the join reordering optimization |
# in cases that include a LEFT JOIN. |
# |
# $Id: where3.test,v 1.4 2008/04/17 19:14:02 drh Exp $ |
|
set testdir [file dirname $argv0] |
source $testdir/tester.tcl |
|
# The following is from ticket #1652. |
# |
# A comma join then a left outer join: A,B left join C. |
# Arrange indices so that the B table is chosen to go first. |
# Also put an index on C, but make sure that A is chosen before C. |
# |
do_test where3-1.1 { |
execsql { |
CREATE TABLE t1(a, b); |
CREATE TABLE t2(p, q); |
CREATE TABLE t3(x, y); |
|
INSERT INTO t1 VALUES(111,'one'); |
INSERT INTO t1 VALUES(222,'two'); |
INSERT INTO t1 VALUES(333,'three'); |
|
INSERT INTO t2 VALUES(1,111); |
INSERT INTO t2 VALUES(2,222); |
INSERT INTO t2 VALUES(4,444); |
CREATE INDEX t2i1 ON t2(p); |
|
INSERT INTO t3 VALUES(999,'nine'); |
CREATE INDEX t3i1 ON t3(x); |
|
SELECT * FROM t1, t2 LEFT JOIN t3 ON q=x WHERE p=2 AND a=q; |
} |
} {222 two 2 222 {} {}} |
|
ifcapable explain { |
do_test where3-1.1.1 { |
explain_no_trace {SELECT * FROM t1, t2 LEFT JOIN t3 ON q=x |
WHERE p=2 AND a=q} |
} [explain_no_trace {SELECT * FROM t1, t2 LEFT JOIN t3 ON x=q |
WHERE p=2 AND a=q}] |
} |
|
# Ticket #1830 |
# |
# This is similar to the above but with the LEFT JOIN on the |
# other side. |
# |
do_test where3-1.2 { |
execsql { |
CREATE TABLE parent1(parent1key, child1key, Child2key, child3key); |
CREATE TABLE child1 ( child1key NVARCHAR, value NVARCHAR ); |
CREATE UNIQUE INDEX PKIDXChild1 ON child1 ( child1key ); |
CREATE TABLE child2 ( child2key NVARCHAR, value NVARCHAR ); |
|
INSERT INTO parent1(parent1key,child1key,child2key) |
VALUES ( 1, 'C1.1', 'C2.1' ); |
INSERT INTO child1 ( child1key, value ) VALUES ( 'C1.1', 'Value for C1.1' ); |
INSERT INTO child2 ( child2key, value ) VALUES ( 'C2.1', 'Value for C2.1' ); |
|
INSERT INTO parent1 ( parent1key, child1key, child2key ) |
VALUES ( 2, 'C1.2', 'C2.2' ); |
INSERT INTO child2 ( child2key, value ) VALUES ( 'C2.2', 'Value for C2.2' ); |
|
INSERT INTO parent1 ( parent1key, child1key, child2key ) |
VALUES ( 3, 'C1.3', 'C2.3' ); |
INSERT INTO child1 ( child1key, value ) VALUES ( 'C1.3', 'Value for C1.3' ); |
INSERT INTO child2 ( child2key, value ) VALUES ( 'C2.3', 'Value for C2.3' ); |
|
SELECT parent1.parent1key, child1.value, child2.value |
FROM parent1 |
LEFT OUTER JOIN child1 ON child1.child1key = parent1.child1key |
INNER JOIN child2 ON child2.child2key = parent1.child2key; |
} |
} {1 {Value for C1.1} {Value for C2.1} 2 {} {Value for C2.2} 3 {Value for C1.3} {Value for C2.3}} |
|
ifcapable explain { |
do_test where3-1.2.1 { |
explain_no_trace { |
SELECT parent1.parent1key, child1.value, child2.value |
FROM parent1 |
LEFT OUTER JOIN child1 ON child1.child1key = parent1.child1key |
INNER JOIN child2 ON child2.child2key = parent1.child2key; |
} |
} [explain_no_trace { |
SELECT parent1.parent1key, child1.value, child2.value |
FROM parent1 |
LEFT OUTER JOIN child1 ON parent1.child1key = child1.child1key |
INNER JOIN child2 ON child2.child2key = parent1.child2key; |
}] |
} |
|
# This procedure executes the SQL. Then it appends |
# the ::sqlite_query_plan variable. |
# |
proc queryplan {sql} { |
set ::sqlite_sort_count 0 |
set data [execsql $sql] |
return [concat $data $::sqlite_query_plan] |
} |
|
|
# If you have a from clause of the form: A B C left join D |
# then make sure the query optimizer is able to reorder the |
# A B C part anyway it wants. |
# |
# Following the fix to ticket #1652, there was a time when |
# the C table would not reorder. So the following reorderings |
# were possible: |
# |
# A B C left join D |
# B A C left join D |
# |
# But these reorders were not allowed |
# |
# C A B left join D |
# A C B left join D |
# C B A left join D |
# B C A left join D |
# |
# The following tests are here to verify that the latter four |
# reorderings are allowed again. |
# |
do_test where3-2.1 { |
execsql { |
CREATE TABLE tA(apk integer primary key, ax); |
CREATE TABLE tB(bpk integer primary key, bx); |
CREATE TABLE tC(cpk integer primary key, cx); |
CREATE TABLE tD(dpk integer primary key, dx); |
} |
queryplan { |
SELECT * FROM tA, tB, tC LEFT JOIN tD ON dpk=cx |
WHERE cpk=bx AND bpk=ax |
} |
} {tA {} tB * tC * tD *} |
do_test where3-2.1.1 { |
queryplan { |
SELECT * FROM tA, tB, tC LEFT JOIN tD ON cx=dpk |
WHERE cpk=bx AND bpk=ax |
} |
} {tA {} tB * tC * tD *} |
do_test where3-2.1.2 { |
queryplan { |
SELECT * FROM tA, tB, tC LEFT JOIN tD ON cx=dpk |
WHERE bx=cpk AND bpk=ax |
} |
} {tA {} tB * tC * tD *} |
do_test where3-2.1.3 { |
queryplan { |
SELECT * FROM tA, tB, tC LEFT JOIN tD ON cx=dpk |
WHERE bx=cpk AND ax=bpk |
} |
} {tA {} tB * tC * tD *} |
do_test where3-2.1.4 { |
queryplan { |
SELECT * FROM tA, tB, tC LEFT JOIN tD ON dpk=cx |
WHERE bx=cpk AND ax=bpk |
} |
} {tA {} tB * tC * tD *} |
do_test where3-2.1.5 { |
queryplan { |
SELECT * FROM tA, tB, tC LEFT JOIN tD ON dpk=cx |
WHERE cpk=bx AND ax=bpk |
} |
} {tA {} tB * tC * tD *} |
do_test where3-2.2 { |
queryplan { |
SELECT * FROM tA, tB, tC LEFT JOIN tD ON dpk=cx |
WHERE cpk=bx AND apk=bx |
} |
} {tB {} tA * tC * tD *} |
do_test where3-2.3 { |
queryplan { |
SELECT * FROM tA, tB, tC LEFT JOIN tD ON dpk=cx |
WHERE cpk=bx AND apk=bx |
} |
} {tB {} tA * tC * tD *} |
do_test where3-2.4 { |
queryplan { |
SELECT * FROM tA, tB, tC LEFT JOIN tD ON dpk=cx |
WHERE apk=cx AND bpk=ax |
} |
} {tC {} tA * tB * tD *} |
do_test where3-2.5 { |
queryplan { |
SELECT * FROM tA, tB, tC LEFT JOIN tD ON dpk=cx |
WHERE cpk=ax AND bpk=cx |
} |
} {tA {} tC * tB * tD *} |
do_test where3-2.6 { |
queryplan { |
SELECT * FROM tA, tB, tC LEFT JOIN tD ON dpk=cx |
WHERE bpk=cx AND apk=bx |
} |
} {tC {} tB * tA * tD *} |
do_test where3-2.7 { |
queryplan { |
SELECT * FROM tA, tB, tC LEFT JOIN tD ON dpk=cx |
WHERE cpk=bx AND apk=cx |
} |
} {tB {} tC * tA * tD *} |
|
# Ticket [13f033c865f878953] |
# If the outer loop must be a full table scan, do not let ANALYZE trick |
# the planner into use a table for the outer loop that might be indexable |
# if held until an inner loop. |
# |
do_execsql_test where3-3.0 { |
CREATE TABLE t301(a INTEGER PRIMARY KEY,b,c); |
CREATE INDEX t301c ON t301(c); |
INSERT INTO t301 VALUES(1,2,3); |
CREATE TABLE t302(x, y); |
INSERT INTO t302 VALUES(4,5); |
ANALYZE; |
explain query plan SELECT * FROM t302, t301 WHERE t302.x=5 AND t301.a=t302.y; |
} { |
0 0 0 {SCAN TABLE t302 (~1 rows)} |
0 1 1 {SEARCH TABLE t301 USING INTEGER PRIMARY KEY (rowid=?) (~1 rows)} |
} |
do_execsql_test where3-3.1 { |
explain query plan |
SELECT * FROM t301, t302 WHERE t302.x=5 AND t301.a=t302.y; |
} { |
0 0 1 {SCAN TABLE t302 (~1 rows)} |
0 1 0 {SEARCH TABLE t301 USING INTEGER PRIMARY KEY (rowid=?) (~1 rows)} |
} |
|
# Verify that when there are multiple tables in a join which must be |
# full table scans that the query planner attempts put the table with |
# the fewest number of output rows as the outer loop. |
# |
do_execsql_test where3-4.0 { |
CREATE TABLE t400(a INTEGER PRIMARY KEY, b, c); |
CREATE TABLE t401(p INTEGER PRIMARY KEY, q, r); |
CREATE TABLE t402(x INTEGER PRIMARY KEY, y, z); |
EXPLAIN QUERY PLAN |
SELECT * FROM t400, t401, t402 WHERE t402.z GLOB 'abc*'; |
} { |
0 0 2 {SCAN TABLE t402 (~500000 rows)} |
0 1 0 {SCAN TABLE t400 (~1000000 rows)} |
0 2 1 {SCAN TABLE t401 (~1000000 rows)} |
} |
do_execsql_test where3-4.1 { |
EXPLAIN QUERY PLAN |
SELECT * FROM t400, t401, t402 WHERE t401.r GLOB 'abc*'; |
} { |
0 0 1 {SCAN TABLE t401 (~500000 rows)} |
0 1 0 {SCAN TABLE t400 (~1000000 rows)} |
0 2 2 {SCAN TABLE t402 (~1000000 rows)} |
} |
do_execsql_test where3-4.2 { |
EXPLAIN QUERY PLAN |
SELECT * FROM t400, t401, t402 WHERE t400.c GLOB 'abc*'; |
} { |
0 0 0 {SCAN TABLE t400 (~500000 rows)} |
0 1 1 {SCAN TABLE t401 (~1000000 rows)} |
0 2 2 {SCAN TABLE t402 (~1000000 rows)} |
} |
|
# Verify that a performance regression encountered by firefox |
# has been fixed. |
# |
do_execsql_test where3-5.0 { |
CREATE TABLE aaa (id INTEGER PRIMARY KEY, type INTEGER, |
fk INTEGER DEFAULT NULL, parent INTEGER, |
position INTEGER, title LONGVARCHAR, |
keyword_id INTEGER, folder_type TEXT, |
dateAdded INTEGER, lastModified INTEGER); |
CREATE INDEX aaa_111 ON aaa (fk, type); |
CREATE INDEX aaa_222 ON aaa (parent, position); |
CREATE INDEX aaa_333 ON aaa (fk, lastModified); |
CREATE TABLE bbb (id INTEGER PRIMARY KEY, type INTEGER, |
fk INTEGER DEFAULT NULL, parent INTEGER, |
position INTEGER, title LONGVARCHAR, |
keyword_id INTEGER, folder_type TEXT, |
dateAdded INTEGER, lastModified INTEGER); |
CREATE INDEX bbb_111 ON bbb (fk, type); |
CREATE INDEX bbb_222 ON bbb (parent, position); |
CREATE INDEX bbb_333 ON bbb (fk, lastModified); |
|
EXPLAIN QUERY PLAN |
SELECT bbb.title AS tag_title |
FROM aaa JOIN bbb ON bbb.id = aaa.parent |
WHERE aaa.fk = 'constant' |
AND LENGTH(bbb.title) > 0 |
AND bbb.parent = 4 |
ORDER BY bbb.title COLLATE NOCASE ASC; |
} { |
0 0 0 {SEARCH TABLE aaa USING INDEX aaa_333 (fk=?) (~10 rows)} |
0 1 1 {SEARCH TABLE bbb USING INTEGER PRIMARY KEY (rowid=?) (~1 rows)} |
0 0 0 {USE TEMP B-TREE FOR ORDER BY} |
} |
do_execsql_test where3-5.1 { |
EXPLAIN QUERY PLAN |
SELECT bbb.title AS tag_title |
FROM aaa JOIN aaa AS bbb ON bbb.id = aaa.parent |
WHERE aaa.fk = 'constant' |
AND LENGTH(bbb.title) > 0 |
AND bbb.parent = 4 |
ORDER BY bbb.title COLLATE NOCASE ASC; |
} { |
0 0 0 {SEARCH TABLE aaa USING INDEX aaa_333 (fk=?) (~10 rows)} |
0 1 1 {SEARCH TABLE aaa AS bbb USING INTEGER PRIMARY KEY (rowid=?) (~1 rows)} |
0 0 0 {USE TEMP B-TREE FOR ORDER BY} |
} |
do_execsql_test where3-5.2 { |
EXPLAIN QUERY PLAN |
SELECT bbb.title AS tag_title |
FROM bbb JOIN aaa ON bbb.id = aaa.parent |
WHERE aaa.fk = 'constant' |
AND LENGTH(bbb.title) > 0 |
AND bbb.parent = 4 |
ORDER BY bbb.title COLLATE NOCASE ASC; |
} { |
0 0 1 {SEARCH TABLE aaa USING INDEX aaa_333 (fk=?) (~10 rows)} |
0 1 0 {SEARCH TABLE bbb USING INTEGER PRIMARY KEY (rowid=?) (~1 rows)} |
0 0 0 {USE TEMP B-TREE FOR ORDER BY} |
} |
do_execsql_test where3-5.3 { |
EXPLAIN QUERY PLAN |
SELECT bbb.title AS tag_title |
FROM aaa AS bbb JOIN aaa ON bbb.id = aaa.parent |
WHERE aaa.fk = 'constant' |
AND LENGTH(bbb.title) > 0 |
AND bbb.parent = 4 |
ORDER BY bbb.title COLLATE NOCASE ASC; |
} { |
0 0 1 {SEARCH TABLE aaa USING INDEX aaa_333 (fk=?) (~10 rows)} |
0 1 0 {SEARCH TABLE aaa AS bbb USING INTEGER PRIMARY KEY (rowid=?) (~1 rows)} |
0 0 0 {USE TEMP B-TREE FOR ORDER BY} |
} |
|
finish_test |