| Index: third_party/sqlite/src/test/where3.test
|
| diff --git a/third_party/sqlite/src/test/where3.test b/third_party/sqlite/src/test/where3.test
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..ab75fdec1963c9fb02a7fc72fb1a23b6fa081e50
|
| --- /dev/null
|
| +++ b/third_party/sqlite/src/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
|
|
|