Add EXPLAIN QUERY PLAN test cases to check that the examples in the documentation...

FossilOrigin-Name: 85fdad850a4da33fd74f5394b921a63ea6b40bdb

diff --git a/manifest b/manifest
index c9c113a80bca92ac155934d60efce6530c845cde..702177af08d72c7cf4dbe5796cb04db9e4d21024 100644 (file)
--- a/manifest
+++ b/manifest
@@ -1,8 +1,5 @@
------BEGIN PGP SIGNED MESSAGE-----
-Hash: SHA1
-
-C Reduce\sthe\snumber\sof\sbranches\sthat\sneed\sto\sbe\stested\sin\sthe\nexplainIndexRange()\sfunction\sof\swhere.c.
-D 2010-11-12T15:36:00
+C Add\sEXPLAIN\sQUERY\sPLAN\stest\scases\sto\scheck\sthat\sthe\sexamples\sin\sthe\sdocumentation\swork.
+D 2010-11-12T17:41:38
 F Makefile.arm-wince-mingw32ce-gcc d6df77f1f48d690bd73162294bbba7f59507c72f
 F Makefile.in e7a59672eaeb04408d1fa8501618d7501a3c5e39
 F Makefile.linux-gcc 91d710bdc4998cb015f39edf3cb314ec4f4d7e23
@@ -368,7 +365,7 @@ F test/enc.test e54531cd6bf941ee6760be041dff19a104c7acea
 F test/enc2.test 6d91a5286f59add0cfcbb2d0da913b76f2242398
 F test/enc3.test 5c550d59ff31dccdba5d1a02ae11c7047d77c041
 F test/enc4.test 4b575ef09e0eff896e73bd24076f96c2aa6a42de
-F test/eqp.test 13c875a9a6b4e6fcdd36895d7791db6a7f124215
+F test/eqp.test 4ca41a9fc38292c5c50fe982adec9f1ebfb0ecb8
 F test/eval.test bc269c365ba877554948441e91ad5373f9f91be3
 F test/exclusive.test 53e1841b422e554cecf0160f937c473d6d0e3062
 F test/exclusive2.test 76e63c05349cb70d09d60b99d2ae625525ff5155
@@ -889,14 +886,7 @@ F tool/speedtest2.tcl ee2149167303ba8e95af97873c575c3e0fab58ff
 F tool/speedtest8.c 2902c46588c40b55661e471d7a86e4dd71a18224
 F tool/speedtest8inst1.c 293327bc76823f473684d589a8160bde1f52c14e
 F tool/vdbe-compress.tcl d70ea6d8a19e3571d7ab8c9b75cba86d1173ff0f
-P 28643b85d93d27a44b9370e4087efa8fa2af7f8e
-R 25128c3b1a26bfb5be33069710cfa1ff
-U drh
-Z 1b2d006e34f432619cd673c63b9961c1
------BEGIN PGP SIGNATURE-----
-Version: GnuPG v1.4.6 (GNU/Linux)
-
-iD8DBQFM3V7koxKgR168RlERAgxFAJ9v6b1y9uIi2fQKQ0CrbcPW8tmodACfVVag
-Rh8WHmMKMaxcSxUJii+hZlQ=
-=KoLX
------END PGP SIGNATURE-----
+P 6fdae9a635a43e1bf7e4a480de1413064732c6b0
+R daab0aaa24235586c63182117bdd1fd4
+U dan
+Z 670382a8dc894a7df10be266dfbf69b3

diff --git a/manifest.uuid b/manifest.uuid
index 7f5aa64aa28a8e715dd9891204725f77352228f9..c0d1a3835b6923c9c529704e067974a5a6eb9edd 100644 (file)
--- a/manifest.uuid
+++ b/manifest.uuid
@@ -1 +1 @@
-6fdae9a635a43e1bf7e4a480de1413064732c6b0
\ No newline at end of file
+85fdad850a4da33fd74f5394b921a63ea6b40bdb
\ No newline at end of file

diff --git a/test/eqp.test b/test/eqp.test
index 742decff13e02037d9548c764a068a59e92597f6..2dcf9d13f9a5352e919796c85623e88abf969242 100644 (file)
--- a/test/eqp.test
+++ b/test/eqp.test
@@ -321,5 +321,141 @@ do_eqp_test 4.3.3 {
   0 0 0 {COMPOUND SUBQUERIES 1 AND 4 (UNION)}
 }
 
+#-------------------------------------------------------------------------
+# This next block of tests verifies that the examples on the 
+# lang_explain.html page are correct.
+#
+drop_all_tables
+
+# EVIDENCE-OF: R-64208-08323 sqlite> EXPLAIN QUERY PLAN SELECT a, b
+# FROM t1 WHERE a=1; 0|0|0|SCAN TABLE t1 (~100000 rows)
+#
+do_execsql_test 5.1.0 { CREATE TABLE t1(a, b) }
+det 5.1.1 "SELECT a, b FROM t1 WHERE a=1" {
+  0 0 0 {SCAN TABLE t1 (~100000 rows)}
+}
+
+# EVIDENCE-OF: R-03114-52867 sqlite> CREATE INDEX i1 ON t1(a);
+# sqlite> EXPLAIN QUERY PLAN SELECT a, b FROM t1 WHERE a=1;
+# 0|0|0|SCAN TABLE t1 BY INDEX i1 (a=?) (~10 rows)
+do_execsql_test 5.2.0 { CREATE INDEX i1 ON t1(a) }
+det 5.2.1 "SELECT a, b FROM t1 WHERE a=1" {
+  0 0 0 {SCAN TABLE t1 BY INDEX i1 (a=?) (~10 rows)}
+}
+
+# EVIDENCE-OF: R-20407-61322 sqlite> CREATE INDEX i2 ON t1(a, b);
+# sqlite> EXPLAIN QUERY PLAN SELECT a, b FROM t1 WHERE a=1;
+# 0|0|0|SCAN TABLE t1 BY COVERING INDEX i2 (a=?) (~10 rows)
+do_execsql_test 5.3.0 { CREATE INDEX i2 ON t1(a, b) }
+det 5.3.1 "SELECT a, b FROM t1 WHERE a=1" {
+  0 0 0 {SCAN TABLE t1 BY COVERING INDEX i2 (a=?) (~10 rows)}
+}
+
+# EVIDENCE-OF: R-01893-00096 sqlite> EXPLAIN QUERY PLAN SELECT t1.*,
+# t2.* FROM t1, t2 WHERE t1.a=1 AND t1.b>2; 0|0|0|SCAN TABLE t1 BY
+# COVERING INDEX i2 (a=? AND b>?) (~3 rows) 0|1|1|SCAN TABLE t2
+# (~1000000 rows)
+do_execsql_test 5.4.0 {CREATE TABLE t2(c, d)}
+det 5.4.1 "SELECT t1.*, t2.* FROM t1, t2 WHERE t1.a=1 AND t1.b>2" {
+  0 0 0 {SCAN TABLE t1 BY COVERING INDEX i2 (a=? AND b>?) (~3 rows)}
+  0 1 1 {SCAN TABLE t2 (~1000000 rows)}
+}
+
+# EVIDENCE-OF: R-26531-36629 sqlite> EXPLAIN QUERY PLAN SELECT t1.*,
+# t2.* FROM t2, t1 WHERE t1.a=1 AND t1.b>2; 0|0|1|SCAN TABLE t1 BY
+# COVERING INDEX i2 (a=? AND b>?) (~3 rows) 0|1|0|SCAN TABLE t2
+# (~1000000 rows)
+det 5.5 "SELECT t1.*, t2.* FROM t2, t1 WHERE t1.a=1 AND t1.b>2" {
+  0 0 1 {SCAN TABLE t1 BY COVERING INDEX i2 (a=? AND b>?) (~3 rows)}
+  0 1 0 {SCAN TABLE t2 (~1000000 rows)}
+}
+
+# EVIDENCE-OF: R-17671-37431 sqlite> CREATE INDEX i3 ON t1(b);
+# sqlite> EXPLAIN QUERY PLAN SELECT * FROM t1 WHERE a=1 OR b=2;
+# 0|0|0|SCAN TABLE t1 BY COVERING INDEX i2 (a=?) (~10 rows) 0|0|0|SCAN
+# TABLE t1 BY INDEX i3 (b=?) (~10 rows)
+do_execsql_test 5.5.0 {CREATE INDEX i3 ON t1(b)}
+det 5.6.1 "SELECT * FROM t1 WHERE a=1 OR b=2" {
+  0 0 0 {SCAN TABLE t1 BY COVERING INDEX i2 (a=?) (~10 rows)}
+  0 0 0 {SCAN TABLE t1 BY INDEX i3 (b=?) (~10 rows)}
+}
+
+# EVIDENCE-OF: R-33025-54904 sqlite> EXPLAIN QUERY PLAN SELECT c, d
+# FROM t2 ORDER BY c; 0|0|0|SCAN TABLE t2 (~1000000 rows) 0|0|0|USE TEMP
+# B-TREE FOR ORDER BY
+det 5.7 "SELECT c, d FROM t2 ORDER BY c" {
+  0 0 0 {SCAN TABLE t2 (~1000000 rows)}
+  0 0 0 {USE TEMP B-TREE FOR ORDER BY}
+}
+
+# EVIDENCE-OF: R-08354-12138 sqlite> CREATE INDEX i4 ON t2(c);
+# sqlite> EXPLAIN QUERY PLAN SELECT c, d FROM t2 ORDER BY c;
+# 0|0|0|SCAN TABLE t2 BY INDEX i4 (~1000000 rows)
+do_execsql_test 5.8.0 {CREATE INDEX i4 ON t2(c)}
+det 5.8.1 "SELECT c, d FROM t2 ORDER BY c" {
+  0 0 0 {SCAN TABLE t2 BY INDEX i4 (~1000000 rows)}
+}
+
+# EVIDENCE-OF: R-01895-58356 sqlite> EXPLAIN QUERY PLAN SELECT
+# (SELECT b FROM t1 WHERE a=0), (SELECT a FROM t1 WHERE b=t2.c) FROM t2;
+# 0|0|0|SCAN TABLE t2 (~1000000 rows) 0|0|0|EXECUTE SCALAR SUBQUERY 1
+# 1|0|0|SCAN TABLE t1 BY COVERING INDEX i2 (a=?) (~10 rows)
+# 0|0|0|EXECUTE CORRELATED SCALAR SUBQUERY 2 2|0|0|SCAN TABLE t1 BY
+# INDEX i3 (b=?) (~10 rows)
+det 5.9 {
+  SELECT (SELECT b FROM t1 WHERE a=0), (SELECT a FROM t1 WHERE b=t2.c) FROM t2
+} {
+  0 0 0 {SCAN TABLE t2 (~1000000 rows)}
+  0 0 0 {EXECUTE SCALAR SUBQUERY 1}
+  1 0 0 {SCAN TABLE t1 BY COVERING INDEX i2 (a=?) (~10 rows)}
+  0 0 0 {EXECUTE CORRELATED SCALAR SUBQUERY 2}
+  2 0 0 {SCAN TABLE t1 BY INDEX i3 (b=?) (~10 rows)}
+}
+
+# EVIDENCE-OF: R-43933-45972 sqlite> EXPLAIN QUERY PLAN SELECT
+# count(*) FROM (SELECT max(b) AS x FROM t1 GROUP BY a) GROUP BY x;
+# 1|0|0|SCAN TABLE t1 BY COVERING INDEX i2 (~1000000 rows) 0|0|0|SCAN
+# SUBQUERY 1 (~1000000 rows) 0|0|0|USE TEMP B-TREE FOR GROUP BY
+det 5.10 {
+  SELECT count(*) FROM (SELECT max(b) AS x FROM t1 GROUP BY a) GROUP BY x
+} {
+  1 0 0 {SCAN TABLE t1 BY COVERING INDEX i2 (~1000000 rows)}
+  0 0 0 {SCAN SUBQUERY 1 (~1000000 rows)}
+  0 0 0 {USE TEMP B-TREE FOR GROUP BY}
+}
+
+# EVIDENCE-OF: R-15989-23611 sqlite> EXPLAIN QUERY PLAN SELECT * FROM
+# (SELECT * FROM t2 WHERE c=1), t1; 0|0|0|SCAN TABLE t2 BY INDEX i4
+# (c=?) (~10 rows) 0|1|1|SCAN TABLE t1 (~1000000 rows)
+det 5.11 "SELECT * FROM (SELECT * FROM t2 WHERE c=1), t1" {
+  0 0 0 {SCAN TABLE t2 BY INDEX i4 (c=?) (~10 rows)}
+  0 1 1 {SCAN TABLE t1 (~1000000 rows)}
+}
+
+# EVIDENCE-OF: R-40701-42164 sqlite> EXPLAIN QUERY PLAN SELECT a FROM
+# t1 UNION SELECT c FROM t2; 1|0|0|SCAN TABLE t1 (~1000000 rows)
+# 2|0|0|SCAN TABLE t2 (~1000000 rows) 0|0|0|COMPOUND SUBQUERIES 1 AND 2
+# USING TEMP B-TREE (UNION)
+det 5.12 "SELECT a FROM t1 UNION SELECT c FROM t2" {
+  1 0 0 {SCAN TABLE t1 (~1000000 rows)}
+  2 0 0 {SCAN TABLE t2 (~1000000 rows)}
+  0 0 0 {COMPOUND SUBQUERIES 1 AND 2 USING TEMP B-TREE (UNION)}
+}
+
+# EVIDENCE-OF: R-34523-61710 sqlite> EXPLAIN QUERY PLAN SELECT a FROM
+# t1 EXCEPT SELECT d FROM t2 ORDER BY 1; 1|0|0|SCAN TABLE t1 BY COVERING
+# INDEX i2 (~1000000 rows) 2|0|0|SCAN TABLE t2 (~1000000 rows) 2|0|0|USE
+# TEMP B-TREE FOR ORDER BY 0|0|0|COMPOUND SUBQUERIES 1 AND 2 (EXCEPT)
+det 5.13 "SELECT a FROM t1 EXCEPT SELECT d FROM t2 ORDER BY 1" {
+  1 0 0 {SCAN TABLE t1 BY COVERING INDEX i2 (~1000000 rows)}
+  2 0 0 {SCAN TABLE t2 (~1000000 rows)}
+  2 0 0 {USE TEMP B-TREE FOR ORDER BY}
+  0 0 0 {COMPOUND SUBQUERIES 1 AND 2 (EXCEPT)}
+}
+
+
+
+
+
 finish_test