Index: third_party/sqlite/src/test/whereF.test |
diff --git a/third_party/sqlite/src/test/whereF.test b/third_party/sqlite/src/test/whereF.test |
new file mode 100644 |
index 0000000000000000000000000000000000000000..b9580bb196d200054c3e5d0802ec3a000b3e76f3 |
--- /dev/null |
+++ b/third_party/sqlite/src/test/whereF.test |
@@ -0,0 +1,122 @@ |
+# 2012 November 9 |
+# |
+# 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. |
+# |
+#*********************************************************************** |
+# |
+# Test cases for query planning decisions. |
+ |
+ |
+# |
+# The tests in this file demonstrate the behaviour of the query planner |
+# in determining the order in which joined tables are scanned. |
+# |
+# Assume there are two tables being joined - t1 and t2. Each has a cost |
+# if it is the outer loop, and a cost if it is the inner loop. As follows: |
+# |
+# t1(outer) - cost of scanning t1 as the outer loop. |
+# t1(inner) - cost of scanning t1 as the inner loop. |
+# t2(outer) - cost of scanning t2 as the outer loop. |
+# t2(inner) - cost of scanning t2 as the inner loop. |
+# |
+# Depending on the order in which the planner nests the scans, the total |
+# cost of the join query is one of: |
+# |
+# t1(outer) * t2(inner) |
+# t2(outer) * t1(inner) |
+# |
+# The tests in this file attempt to verify that the planner nests joins in |
+# the correct order when the following are true: |
+# |
+# + (t1(outer) * t2(inner)) > (t1(inner) * t2(outer) |
+# + t1(outer) < t2(outer) |
+# |
+# In other words, when the best overall query plan has t2 as the outer loop, |
+# but when the outer loop is considered independent of the inner, t1 is the |
+# most efficient choice. |
+# |
+# In order to make them more predictable, automatic indexes are turned off for |
+# the tests in this file. |
+# |
+ |
+set testdir [file dirname $argv0] |
+source $testdir/tester.tcl |
+set testprefix whereF |
+ |
+do_execsql_test 1.0 { |
+ PRAGMA automatic_index = 0; |
+ CREATE TABLE t1(a, b, c); |
+ CREATE TABLE t2(d, e, f); |
+ CREATE UNIQUE INDEX i1 ON t1(a); |
+ CREATE UNIQUE INDEX i2 ON t2(d); |
+} {} |
+ |
+foreach {tn sql} { |
+ 1 "SELECT * FROM t1, t2 WHERE t1.a=t2.e AND t2.d<t1.b AND t1.c!=10" |
+ 2 "SELECT * FROM t2, t1 WHERE t1.a=t2.e AND t2.d<t1.b AND t1.c!=10" |
+ 3 "SELECT * FROM t2 CROSS JOIN t1 WHERE t1.a=t2.e AND t2.d<t1.b AND t1.c!=10" |
+} { |
+ do_test 1.$tn { |
+ db eval "EXPLAIN QUERY PLAN $sql" |
+ } {/.*SCAN TABLE t2\y.*SEARCH TABLE t1\y.*/} |
+} |
+ |
+do_execsql_test 2.0 { |
+ DROP TABLE t1; |
+ DROP TABLE t2; |
+ CREATE TABLE t1(a, b, c); |
+ CREATE TABLE t2(d, e, f); |
+ |
+ CREATE UNIQUE INDEX i1 ON t1(a); |
+ CREATE UNIQUE INDEX i2 ON t1(b); |
+ CREATE UNIQUE INDEX i3 ON t2(d); |
+} {} |
+ |
+foreach {tn sql} { |
+ 1 "SELECT * FROM t1, t2 WHERE t1.a>? AND t2.d>t1.c AND t1.b=t2.e" |
+ 2 "SELECT * FROM t2, t1 WHERE t1.a>? AND t2.d>t1.c AND t1.b=t2.e" |
+ 3 "SELECT * FROM t2 CROSS JOIN t1 WHERE t1.a>? AND t2.d>t1.c AND t1.b=t2.e" |
+} { |
+ do_test 2.$tn { |
+ db eval "EXPLAIN QUERY PLAN $sql" |
+ } {/.*SCAN TABLE t2\y.*SEARCH TABLE t1\y.*/} |
+} |
+ |
+do_execsql_test 3.0 { |
+ DROP TABLE t1; |
+ DROP TABLE t2; |
+ CREATE TABLE t1(a, b, c); |
+ CREATE TABLE t2(d, e, f); |
+ |
+ CREATE UNIQUE INDEX i1 ON t1(a, b); |
+ CREATE INDEX i2 ON t2(d); |
+} {} |
+ |
+foreach {tn sql} { |
+ 1 {SELECT t1.a, t1.b, t2.d, t2.e FROM t1, t2 |
+ WHERE t2.d=t1.b AND t1.a=(t2.d+1) AND t1.b = (t2.e+1)} |
+ |
+ 2 {SELECT t1.a, t1.b, t2.d, t2.e FROM t2, t1 |
+ WHERE t2.d=t1.b AND t1.a=(t2.d+1) AND t1.b = (t2.e+1)} |
+ |
+ 3 {SELECT t1.a, t1.b, t2.d, t2.e FROM t2 CROSS JOIN t1 |
+ WHERE t2.d=t1.b AND t1.a=(t2.d+1) AND t1.b = (t2.e+1)} |
+} { |
+ do_test 3.$tn { |
+ db eval "EXPLAIN QUERY PLAN $sql" |
+ } {/.*SCAN TABLE t2\y.*SEARCH TABLE t1\y.*/} |
+} |
+ |
+do_execsql_test 4.0 { |
+ CREATE TABLE t4(a,b,c,d,e, PRIMARY KEY(a,b,c)); |
+ CREATE INDEX t4adc ON t4(a,d,c); |
+ CREATE UNIQUE INDEX t4aebc ON t4(a,e,b,c); |
+ EXPLAIN QUERY PLAN SELECT rowid FROM t4 WHERE a=? AND b=?; |
+} {/a=. AND b=./} |
+ |
+finish_test |