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

FossilOrigin-Name: 85fdad850a4da33fd74f5394b921a63ea6b40bdb
2025-07-29 08:01:23 +03:00 · 2010-11-12 17:41:37 +00:00
parent 69174c490a
commit fa00aa2ea1
3 changed files with 144 additions and 18 deletions
--- 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