OLD | NEW |
| (Empty) |
1 # 2013 August 3 | |
2 # | |
3 # The author disclaims copyright to this source code. In place of | |
4 # a legal notice, here is a blessing: | |
5 # | |
6 # May you do good and not evil. | |
7 # May you find forgiveness for yourself and forgive others. | |
8 # May you share freely, never taking more than you give. | |
9 # | |
10 #*********************************************************************** | |
11 # | |
12 # This file contains automated tests used to verify that the current build | |
13 # (which must be either ENABLE_STAT3 or ENABLE_STAT4) works with both stat3 | |
14 # and stat4 data. | |
15 # | |
16 | |
17 set testdir [file dirname $argv0] | |
18 source $testdir/tester.tcl | |
19 set testprefix analyzeA | |
20 | |
21 ifcapable !stat4&&!stat3 { | |
22 finish_test | |
23 return | |
24 } | |
25 | |
26 # Populate the stat3 table according to the current contents of the db | |
27 # | |
28 proc populate_stat3 {{bDropTable 1}} { | |
29 # Open a second connection on database "test.db" and run ANALYZE. If this | |
30 # is an ENABLE_STAT3 build, this is all that is required to create and | |
31 # populate the sqlite_stat3 table. | |
32 # | |
33 sqlite3 db2 test.db | |
34 execsql { ANALYZE } | |
35 | |
36 # Now, if this is an ENABLE_STAT4 build, create and populate the | |
37 # sqlite_stat3 table based on the stat4 data gathered by the ANALYZE | |
38 # above. Then drop the sqlite_stat4 table. | |
39 # | |
40 ifcapable stat4 { | |
41 db2 func lindex lindex | |
42 execsql { | |
43 PRAGMA writable_schema = on; | |
44 CREATE TABLE sqlite_stat3(tbl,idx,neq,nlt,ndlt,sample); | |
45 INSERT INTO sqlite_stat3 | |
46 SELECT DISTINCT tbl, idx, | |
47 lindex(neq,0), lindex(nlt,0), lindex(ndlt,0), test_extract(sample, 0) | |
48 FROM sqlite_stat4; | |
49 } db2 | |
50 if {$bDropTable} { execsql {DROP TABLE sqlite_stat4} db2 } | |
51 execsql { PRAGMA writable_schema = off } | |
52 } | |
53 | |
54 # Modify the database schema cookie to ensure that the other connection | |
55 # reloads the schema. | |
56 # | |
57 execsql { | |
58 CREATE TABLE obscure_tbl_nm(x); | |
59 DROP TABLE obscure_tbl_nm; | |
60 } db2 | |
61 db2 close | |
62 } | |
63 | |
64 # Populate the stat4 table according to the current contents of the db | |
65 # | |
66 proc populate_stat4 {{bDropTable 1}} { | |
67 sqlite3 db2 test.db | |
68 execsql { ANALYZE } | |
69 | |
70 ifcapable stat3 { | |
71 execsql { | |
72 PRAGMA writable_schema = on; | |
73 CREATE TABLE sqlite_stat4(tbl,idx,neq,nlt,ndlt,sample); | |
74 INSERT INTO sqlite_stat4 | |
75 SELECT tbl, idx, neq, nlt, ndlt, sqlite_record(sample) | |
76 FROM sqlite_stat3; | |
77 } db2 | |
78 if {$bDropTable} { execsql {DROP TABLE sqlite_stat3} db2 } | |
79 execsql { PRAGMA writable_schema = off } | |
80 } | |
81 | |
82 # Modify the database schema cookie to ensure that the other connection | |
83 # reloads the schema. | |
84 # | |
85 execsql { | |
86 CREATE TABLE obscure_tbl_nm(x); | |
87 DROP TABLE obscure_tbl_nm; | |
88 } db2 | |
89 db2 close | |
90 } | |
91 | |
92 # Populate the stat4 table according to the current contents of the db. | |
93 # Leave deceptive data in the stat3 table. This data should be ignored | |
94 # in favour of that from the stat4 table. | |
95 # | |
96 proc populate_both {} { | |
97 ifcapable stat4 { populate_stat3 0 } | |
98 ifcapable stat3 { populate_stat4 0 } | |
99 | |
100 sqlite3 db2 test.db | |
101 execsql { | |
102 PRAGMA writable_schema = on; | |
103 UPDATE sqlite_stat3 SET idx = | |
104 CASE idx WHEN 't1b' THEN 't1c' ELSE 't1b' | |
105 END; | |
106 PRAGMA writable_schema = off; | |
107 CREATE TABLE obscure_tbl_nm(x); | |
108 DROP TABLE obscure_tbl_nm; | |
109 } db2 | |
110 db2 close | |
111 } | |
112 | |
113 foreach {tn analyze_cmd} { | |
114 1 populate_stat4 | |
115 2 populate_stat3 | |
116 3 populate_both | |
117 } { | |
118 reset_db | |
119 do_test 1.$tn.1 { | |
120 execsql { CREATE TABLE t1(a INTEGER PRIMARY KEY, b INT, c INT) } | |
121 for {set i 0} {$i < 100} {incr i} { | |
122 set c [expr int(pow(1.1,$i)/100)] | |
123 set b [expr 125 - int(pow(1.1,99-$i))/100] | |
124 execsql {INSERT INTO t1 VALUES($i, $b, $c)} | |
125 } | |
126 } {} | |
127 | |
128 execsql { CREATE INDEX t1b ON t1(b) } | |
129 execsql { CREATE INDEX t1c ON t1(c) } | |
130 $analyze_cmd | |
131 | |
132 do_execsql_test 1.$tn.2.1 { SELECT count(*) FROM t1 WHERE b=31 } 1 | |
133 do_execsql_test 1.$tn.2.2 { SELECT count(*) FROM t1 WHERE c=0 } 49 | |
134 do_execsql_test 1.$tn.2.3 { SELECT count(*) FROM t1 WHERE b=125 } 49 | |
135 do_execsql_test 1.$tn.2.4 { SELECT count(*) FROM t1 WHERE c=16 } 1 | |
136 | |
137 do_eqp_test 1.$tn.2.5 { | |
138 SELECT * FROM t1 WHERE b = 31 AND c = 0; | |
139 } {0 0 0 {SEARCH TABLE t1 USING INDEX t1b (b=?)}} | |
140 do_eqp_test 1.$tn.2.6 { | |
141 SELECT * FROM t1 WHERE b = 125 AND c = 16; | |
142 } {0 0 0 {SEARCH TABLE t1 USING INDEX t1c (c=?)}} | |
143 | |
144 do_execsql_test 1.$tn.3.1 { | |
145 SELECT count(*) FROM t1 WHERE b BETWEEN 0 AND 50 | |
146 } {6} | |
147 do_execsql_test 1.$tn.3.2 { | |
148 SELECT count(*) FROM t1 WHERE c BETWEEN 0 AND 50 | |
149 } {90} | |
150 do_execsql_test 1.$tn.3.3 { | |
151 SELECT count(*) FROM t1 WHERE b BETWEEN 75 AND 125 | |
152 } {90} | |
153 do_execsql_test 1.$tn.3.4 { | |
154 SELECT count(*) FROM t1 WHERE c BETWEEN 75 AND 125 | |
155 } {6} | |
156 | |
157 do_eqp_test 1.$tn.3.5 { | |
158 SELECT * FROM t1 WHERE b BETWEEN 0 AND 50 AND c BETWEEN 0 AND 50 | |
159 } {0 0 0 {SEARCH TABLE t1 USING INDEX t1b (b>? AND b<?)}} | |
160 | |
161 do_eqp_test 1.$tn.3.6 { | |
162 SELECT * FROM t1 WHERE b BETWEEN 75 AND 125 AND c BETWEEN 75 AND 125 | |
163 } {0 0 0 {SEARCH TABLE t1 USING INDEX t1c (c>? AND c<?)}} | |
164 | |
165 do_eqp_test 1.$tn.3.7 { | |
166 SELECT * FROM t1 WHERE b BETWEEN +0 AND +50 AND c BETWEEN +0 AND +50 | |
167 } {0 0 0 {SEARCH TABLE t1 USING INDEX t1b (b>? AND b<?)}} | |
168 | |
169 do_eqp_test 1.$tn.3.8 { | |
170 SELECT * FROM t1 | |
171 WHERE b BETWEEN cast('0' AS int) AND cast('50.0' AS real) | |
172 AND c BETWEEN cast('0' AS numeric) AND cast('50.0' AS real) | |
173 } {0 0 0 {SEARCH TABLE t1 USING INDEX t1b (b>? AND b<?)}} | |
174 | |
175 do_eqp_test 1.$tn.3.9 { | |
176 SELECT * FROM t1 WHERE b BETWEEN +75 AND +125 AND c BETWEEN +75 AND +125 | |
177 } {0 0 0 {SEARCH TABLE t1 USING INDEX t1c (c>? AND c<?)}} | |
178 | |
179 do_eqp_test 1.$tn.3.10 { | |
180 SELECT * FROM t1 | |
181 WHERE b BETWEEN cast('75' AS int) AND cast('125.0' AS real) | |
182 AND c BETWEEN cast('75' AS numeric) AND cast('125.0' AS real) | |
183 } {0 0 0 {SEARCH TABLE t1 USING INDEX t1c (c>? AND c<?)}} | |
184 } | |
185 | |
186 finish_test | |
OLD | NEW |