OLD | NEW |
(Empty) | |
| 1 # 2014 November 1 |
| 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 |
| 13 set testdir [file dirname $argv0] |
| 14 source $testdir/tester.tcl |
| 15 set testprefix scanstatus |
| 16 |
| 17 ifcapable !scanstatus { |
| 18 finish_test |
| 19 return |
| 20 } |
| 21 |
| 22 do_execsql_test 1.0 { |
| 23 CREATE TABLE t1(a, b); |
| 24 CREATE TABLE t2(x, y); |
| 25 INSERT INTO t1 VALUES(1, 2); |
| 26 INSERT INTO t1 VALUES(3, 4); |
| 27 INSERT INTO t2 VALUES('a', 'b'); |
| 28 INSERT INTO t2 VALUES('c', 'd'); |
| 29 INSERT INTO t2 VALUES('e', 'f'); |
| 30 } |
| 31 |
| 32 proc do_scanstatus_test {tn res} { |
| 33 set stmt [db_last_stmt_ptr db] |
| 34 set idx 0 |
| 35 set ret [list] |
| 36 while {1} { |
| 37 set r [sqlite3_stmt_scanstatus $stmt $idx] |
| 38 if {[llength $r]==0} break |
| 39 lappend ret {*}$r |
| 40 incr idx |
| 41 } |
| 42 |
| 43 uplevel [list do_test $tn [list set {} $ret] [list {*}$res]] |
| 44 } |
| 45 |
| 46 do_execsql_test 1.1 { SELECT count(*) FROM t1, t2; } 6 |
| 47 do_scanstatus_test 1.2 { |
| 48 nLoop 1 nVisit 2 nEst 1048576.0 zName t1 zExplain {SCAN TABLE t1} |
| 49 nLoop 2 nVisit 6 nEst 1048576.0 zName t2 zExplain {SCAN TABLE t2} |
| 50 } |
| 51 |
| 52 do_execsql_test 1.3 { |
| 53 ANALYZE; |
| 54 SELECT count(*) FROM t1, t2; |
| 55 } 6 |
| 56 do_scanstatus_test 1.4 { |
| 57 nLoop 1 nVisit 2 nEst 2.0 zName t1 zExplain {SCAN TABLE t1} |
| 58 nLoop 2 nVisit 6 nEst 3.0 zName t2 zExplain {SCAN TABLE t2} |
| 59 } |
| 60 |
| 61 do_execsql_test 1.5 { ANALYZE } |
| 62 do_execsql_test 1.6 { |
| 63 SELECT count(*) FROM t1, t2 WHERE t2.rowid>1; |
| 64 } 4 |
| 65 do_scanstatus_test 1.7 { |
| 66 nLoop 1 nVisit 2 nEst 2.0 zName t2 zExplain |
| 67 {SEARCH TABLE t2 USING INTEGER PRIMARY KEY (rowid>?)} |
| 68 nLoop 2 nVisit 4 nEst 2.0 zName t1 zExplain {SCAN TABLE t1} |
| 69 } |
| 70 |
| 71 do_execsql_test 1.8 { |
| 72 SELECT count(*) FROM t1, t2 WHERE t2.rowid>1; |
| 73 } 4 |
| 74 |
| 75 do_scanstatus_test 1.9 { |
| 76 nLoop 2 nVisit 4 nEst 2.0 zName t2 zExplain |
| 77 {SEARCH TABLE t2 USING INTEGER PRIMARY KEY (rowid>?)} |
| 78 nLoop 4 nVisit 8 nEst 2.0 zName t1 zExplain {SCAN TABLE t1} |
| 79 } |
| 80 |
| 81 do_test 1.9 { |
| 82 sqlite3_stmt_scanstatus_reset [db_last_stmt_ptr db] |
| 83 } {} |
| 84 |
| 85 do_scanstatus_test 1.10 { |
| 86 nLoop 0 nVisit 0 nEst 2.0 zName t2 zExplain |
| 87 {SEARCH TABLE t2 USING INTEGER PRIMARY KEY (rowid>?)} |
| 88 nLoop 0 nVisit 0 nEst 2.0 zName t1 zExplain {SCAN TABLE t1} |
| 89 } |
| 90 |
| 91 #------------------------------------------------------------------------- |
| 92 # Try a few different types of scans. |
| 93 # |
| 94 reset_db |
| 95 do_execsql_test 2.1 { |
| 96 CREATE TABLE x1(i INTEGER PRIMARY KEY, j); |
| 97 INSERT INTO x1 VALUES(1, 'one'); |
| 98 INSERT INTO x1 VALUES(2, 'two'); |
| 99 INSERT INTO x1 VALUES(3, 'three'); |
| 100 INSERT INTO x1 VALUES(4, 'four'); |
| 101 CREATE INDEX x1j ON x1(j); |
| 102 |
| 103 SELECT * FROM x1 WHERE i=2; |
| 104 } {2 two} |
| 105 |
| 106 do_scanstatus_test 2.2 { |
| 107 nLoop 1 nVisit 1 nEst 1.0 zName x1 |
| 108 zExplain {SEARCH TABLE x1 USING INTEGER PRIMARY KEY (rowid=?)} |
| 109 } |
| 110 |
| 111 do_execsql_test 2.3.1 { |
| 112 SELECT * FROM x1 WHERE j='two' |
| 113 } {2 two} |
| 114 do_scanstatus_test 2.3.2 { |
| 115 nLoop 1 nVisit 1 nEst 10.0 zName x1j |
| 116 zExplain {SEARCH TABLE x1 USING COVERING INDEX x1j (j=?)} |
| 117 } |
| 118 |
| 119 do_execsql_test 2.4.1 { |
| 120 SELECT * FROM x1 WHERE j<'two' |
| 121 } {4 four 1 one 3 three} |
| 122 do_scanstatus_test 2.4.2 { |
| 123 nLoop 1 nVisit 3 nEst 262144.0 zName x1j |
| 124 zExplain {SEARCH TABLE x1 USING COVERING INDEX x1j (j<?)} |
| 125 } |
| 126 |
| 127 do_execsql_test 2.5.1 { |
| 128 SELECT * FROM x1 WHERE j>='two' |
| 129 } {2 two} |
| 130 do_scanstatus_test 2.5.2 { |
| 131 nLoop 1 nVisit 1 nEst 262144.0 zName x1j |
| 132 zExplain {SEARCH TABLE x1 USING COVERING INDEX x1j (j>?)} |
| 133 } |
| 134 |
| 135 do_execsql_test 2.6.1 { |
| 136 SELECT * FROM x1 WHERE j BETWEEN 'three' AND 'two' |
| 137 } {3 three 2 two} |
| 138 do_scanstatus_test 2.6.2 { |
| 139 nLoop 1 nVisit 2 nEst 16384.0 zName x1j |
| 140 zExplain {SEARCH TABLE x1 USING COVERING INDEX x1j (j>? AND j<?)} |
| 141 } |
| 142 |
| 143 do_execsql_test 2.7.1 { |
| 144 CREATE TABLE x2(i INTEGER, j, k); |
| 145 INSERT INTO x2 SELECT i, j, i || ' ' || j FROM x1; |
| 146 CREATE INDEX x2j ON x2(j); |
| 147 CREATE INDEX x2ij ON x2(i, j); |
| 148 SELECT * FROM x2 WHERE j BETWEEN 'three' AND 'two' |
| 149 } {3 three {3 three} 2 two {2 two}} |
| 150 |
| 151 do_scanstatus_test 2.7.2 { |
| 152 nLoop 1 nVisit 2 nEst 16384.0 zName x2j |
| 153 zExplain {SEARCH TABLE x2 USING INDEX x2j (j>? AND j<?)} |
| 154 } |
| 155 |
| 156 do_execsql_test 2.8.1 { |
| 157 SELECT * FROM x2 WHERE i=1 AND j='two' |
| 158 } |
| 159 do_scanstatus_test 2.8.2 { |
| 160 nLoop 1 nVisit 0 nEst 8.0 zName x2ij |
| 161 zExplain {SEARCH TABLE x2 USING INDEX x2ij (i=? AND j=?)} |
| 162 } |
| 163 |
| 164 do_execsql_test 2.9.1 { |
| 165 SELECT * FROM x2 WHERE i=5 AND j='two' |
| 166 } |
| 167 do_scanstatus_test 2.9.2 { |
| 168 nLoop 1 nVisit 0 nEst 8.0 zName x2ij |
| 169 zExplain {SEARCH TABLE x2 USING INDEX x2ij (i=? AND j=?)} |
| 170 } |
| 171 |
| 172 do_execsql_test 2.10.1 { |
| 173 SELECT * FROM x2 WHERE i=3 AND j='three' |
| 174 } {3 three {3 three}} |
| 175 do_scanstatus_test 2.10.2 { |
| 176 nLoop 1 nVisit 1 nEst 8.0 zName x2ij |
| 177 zExplain {SEARCH TABLE x2 USING INDEX x2ij (i=? AND j=?)} |
| 178 } |
| 179 |
| 180 #------------------------------------------------------------------------- |
| 181 # Try with queries that use the OR optimization. |
| 182 # |
| 183 do_execsql_test 3.1 { |
| 184 CREATE TABLE a1(a, b, c, d); |
| 185 CREATE INDEX a1a ON a1(a); |
| 186 CREATE INDEX a1bc ON a1(b, c); |
| 187 |
| 188 WITH d(x) AS (SELECT 1 UNION ALL SELECT x+1 AS n FROM d WHERE n<=100) |
| 189 INSERT INTO a1 SELECT x, x, x, x FROM d; |
| 190 } |
| 191 |
| 192 do_execsql_test 3.2.1 { |
| 193 SELECT d FROM a1 WHERE (a=4 OR b=13) |
| 194 } {4 13} |
| 195 do_scanstatus_test 3.2.2 { |
| 196 nLoop 1 nVisit 1 nEst 10.0 zName a1a |
| 197 zExplain {SEARCH TABLE a1 USING INDEX a1a (a=?)} |
| 198 nLoop 1 nVisit 1 nEst 10.0 zName a1bc |
| 199 zExplain {SEARCH TABLE a1 USING INDEX a1bc (b=?)} |
| 200 } |
| 201 |
| 202 do_execsql_test 3.2.1 { |
| 203 SELECT count(*) FROM a1 WHERE (a BETWEEN 4 AND 12) OR (b BETWEEN 40 AND 60) |
| 204 } {30} |
| 205 do_scanstatus_test 3.2.2 { |
| 206 nLoop 1 nVisit 9 nEst 16384.0 zName a1a |
| 207 zExplain {SEARCH TABLE a1 USING INDEX a1a (a>? AND a<?)} |
| 208 nLoop 1 nVisit 21 nEst 16384.0 zName a1bc |
| 209 zExplain {SEARCH TABLE a1 USING INDEX a1bc (b>? AND b<?)} |
| 210 } |
| 211 |
| 212 do_execsql_test 3.3.1 { |
| 213 SELECT count(*) FROM a1 AS x, a1 AS y |
| 214 WHERE (x.a BETWEEN 4 AND 12) AND (y.b BETWEEN 1 AND 10) |
| 215 } {90} |
| 216 do_scanstatus_test 3.2.2 { |
| 217 nLoop 1 nVisit 10 nEst 16384.0 zName a1bc |
| 218 zExplain {SEARCH TABLE a1 AS y USING COVERING INDEX a1bc (b>? AND b<?)} |
| 219 nLoop 10 nVisit 90 nEst 16384.0 zName a1a |
| 220 zExplain {SEARCH TABLE a1 AS x USING COVERING INDEX a1a (a>? AND a<?)} |
| 221 } |
| 222 |
| 223 do_execsql_test 3.4.1 { |
| 224 SELECT count(*) FROM a1 WHERE a IN (1, 5, 10, 15); |
| 225 } {4} |
| 226 do_scanstatus_test 3.4.2 { |
| 227 nLoop 1 nVisit 4 nEst 40.0 zName a1a |
| 228 zExplain {SEARCH TABLE a1 USING COVERING INDEX a1a (a=?)} |
| 229 } |
| 230 |
| 231 do_execsql_test 3.4.1 { |
| 232 SELECT count(*) FROM a1 WHERE rowid IN (1, 5, 10, 15); |
| 233 } {4} |
| 234 do_scanstatus_test 3.4.2 { |
| 235 nLoop 1 nVisit 4 nEst 4.0 zName a1 |
| 236 zExplain {SEARCH TABLE a1 USING INTEGER PRIMARY KEY (rowid=?)} |
| 237 } |
| 238 |
| 239 #------------------------------------------------------------------------- |
| 240 # Test that scanstatus() data is not available for searches performed |
| 241 # by triggers. |
| 242 # |
| 243 # It is available for searches performed as part of FK processing, but |
| 244 # not FK action processing. |
| 245 # |
| 246 do_execsql_test 4.0 { |
| 247 CREATE TABLE t1(a, b, c); |
| 248 CREATE TABLE t2(x PRIMARY KEY, y, z); |
| 249 CREATE TRIGGER tr1 AFTER INSERT ON t1 BEGIN |
| 250 SELECT * FROM t2 WHERE x BETWEEN 20 AND 40; |
| 251 END; |
| 252 WITH d(x) AS (SELECT 1 UNION ALL SELECT x+1 AS n FROM d WHERE n<=100) |
| 253 INSERT INTO t2 SELECT x, x*2, x*3 FROM d; |
| 254 } |
| 255 |
| 256 do_execsql_test 4.1.1 { INSERT INTO t1 VALUES(1, 2, 3); } |
| 257 do_scanstatus_test 4.1.2 { } |
| 258 |
| 259 do_execsql_test 4.2 { |
| 260 CREATE TABLE p1(x PRIMARY KEY); |
| 261 INSERT INTO p1 VALUES(1), (2), (3), (4); |
| 262 CREATE TABLE c1(y REFERENCES p1); |
| 263 INSERT INTO c1 VALUES(1), (2), (3); |
| 264 PRAGMA foreign_keys=on; |
| 265 } |
| 266 do_execsql_test 4.2.1 { DELETE FROM p1 WHERE x=4 } |
| 267 do_scanstatus_test 4.2.2 { |
| 268 nLoop 1 nVisit 1 nEst 1.0 zName sqlite_autoindex_p1_1 |
| 269 zExplain {SEARCH TABLE p1 USING INDEX sqlite_autoindex_p1_1 (x=?)} |
| 270 |
| 271 nLoop 1 nVisit 3 nEst 262144.0 zName c1 zExplain {SCAN TABLE c1} |
| 272 } |
| 273 |
| 274 #------------------------------------------------------------------------- |
| 275 # Further tests of different scan types. |
| 276 # |
| 277 reset_db |
| 278 proc tochar {i} { |
| 279 set alphabet {a b c d e f g h i j k l m n o p q r s t u v w x y z} |
| 280 return [lindex $alphabet [expr $i % [llength $alphabet]]] |
| 281 } |
| 282 db func tochar tochar |
| 283 do_execsql_test 5.0 { |
| 284 CREATE TABLE t1(a PRIMARY KEY, b, c); |
| 285 INSERT INTO t1 VALUES(0, 1, 'a'); |
| 286 INSERT INTO t1 VALUES(1, 0, 'b'); |
| 287 INSERT INTO t1 VALUES(2, 1, 'c'); |
| 288 INSERT INTO t1 VALUES(3, 0, 'd'); |
| 289 INSERT INTO t1 VALUES(4, 1, 'e'); |
| 290 INSERT INTO t1 VALUES(5, 0, 'a'); |
| 291 INSERT INTO t1 VALUES(6, 1, 'b'); |
| 292 INSERT INTO t1 VALUES(7, 0, 'c'); |
| 293 INSERT INTO t1 VALUES(8, 1, 'd'); |
| 294 INSERT INTO t1 VALUES(9, 0, 'e'); |
| 295 CREATE INDEX t1bc ON t1(b, c); |
| 296 |
| 297 CREATE TABLE t2(x, y); |
| 298 CREATE INDEX t2xy ON t2(x, y); |
| 299 WITH data(i, x, y) AS ( |
| 300 SELECT 0, 0, tochar(0) |
| 301 UNION ALL |
| 302 SELECT i+1, (i+1)%2, tochar(i+1) FROM data WHERE i<500 |
| 303 ) INSERT INTO t2 SELECT x, y FROM data; |
| 304 |
| 305 CREATE TABLE t3(x, y); |
| 306 INSERT INTO t3 SELECT * FROM t2; |
| 307 |
| 308 ANALYZE; |
| 309 } |
| 310 |
| 311 do_execsql_test 5.1.1 { |
| 312 SELECT count(*) FROM t1 WHERE a IN (SELECT b FROM t1 AS ii) |
| 313 } {2} |
| 314 do_scanstatus_test 5.1.2 { |
| 315 nLoop 1 nVisit 10 nEst 10.0 zName t1bc |
| 316 zExplain {SCAN TABLE t1 AS ii USING COVERING INDEX t1bc} |
| 317 nLoop 1 nVisit 2 nEst 8.0 zName sqlite_autoindex_t1_1 |
| 318 zExplain {SEARCH TABLE t1 USING COVERING INDEX sqlite_autoindex_t1_1 (a=?)} |
| 319 } |
| 320 |
| 321 do_execsql_test 5.2.1 { |
| 322 SELECT count(*) FROM t1 WHERE a IN (0, 1) |
| 323 } {2} |
| 324 do_scanstatus_test 5.2.2 { |
| 325 nLoop 1 nVisit 2 nEst 2.0 zName sqlite_autoindex_t1_1 |
| 326 zExplain {SEARCH TABLE t1 USING COVERING INDEX sqlite_autoindex_t1_1 (a=?)} |
| 327 } |
| 328 |
| 329 do_eqp_test 5.3.1 { |
| 330 SELECT count(*) FROM t2 WHERE y = 'j'; |
| 331 } {0 0 0 {SEARCH TABLE t2 USING COVERING INDEX t2xy (ANY(x) AND y=?)}} |
| 332 do_execsql_test 5.3.2 { |
| 333 SELECT count(*) FROM t2 WHERE y = 'j'; |
| 334 } {19} |
| 335 do_scanstatus_test 5.3.3 { |
| 336 nLoop 1 nVisit 19 nEst 56.0 zName t2xy zExplain |
| 337 {SEARCH TABLE t2 USING COVERING INDEX t2xy (ANY(x) AND y=?)} |
| 338 } |
| 339 |
| 340 do_eqp_test 5.4.1 { |
| 341 SELECT count(*) FROM t1, t2 WHERE y = c; |
| 342 } { |
| 343 0 0 0 {SCAN TABLE t1 USING COVERING INDEX t1bc} |
| 344 0 1 1 {SEARCH TABLE t2 USING COVERING INDEX t2xy (ANY(x) AND y=?)} |
| 345 } |
| 346 do_execsql_test 5.4.2 { |
| 347 SELECT count(*) FROM t1, t2 WHERE y = c; |
| 348 } {200} |
| 349 do_scanstatus_test 5.4.3 { |
| 350 nLoop 1 nVisit 10 nEst 10.0 zName t1bc |
| 351 zExplain {SCAN TABLE t1 USING COVERING INDEX t1bc} |
| 352 nLoop 10 nVisit 200 nEst 56.0 zName t2xy |
| 353 zExplain {SEARCH TABLE t2 USING COVERING INDEX t2xy (ANY(x) AND y=?)} |
| 354 } |
| 355 |
| 356 do_eqp_test 5.5.1 { |
| 357 SELECT count(*) FROM t1, t3 WHERE y = c; |
| 358 } { |
| 359 0 0 1 {SCAN TABLE t3} |
| 360 0 1 0 {SEARCH TABLE t1 USING AUTOMATIC COVERING INDEX (c=?)} |
| 361 } |
| 362 do_execsql_test 5.5.2 { |
| 363 SELECT count(*) FROM t1, t3 WHERE y = c; |
| 364 } {200} |
| 365 do_scanstatus_test 5.5.3 { |
| 366 nLoop 1 nVisit 501 nEst 480.0 zName t3 zExplain {SCAN TABLE t3} |
| 367 nLoop 501 nVisit 200 nEst 20.0 zName auto-index zExplain |
| 368 {SEARCH TABLE t1 USING AUTOMATIC COVERING INDEX (c=?)} |
| 369 } |
| 370 |
| 371 #------------------------------------------------------------------------- |
| 372 # Virtual table scans |
| 373 # |
| 374 ifcapable fts3 { |
| 375 do_execsql_test 6.0 { |
| 376 CREATE VIRTUAL TABLE ft1 USING fts4; |
| 377 INSERT INTO ft1 VALUES('a d c f g h e i f c'); |
| 378 INSERT INTO ft1 VALUES('g c h b g b f f f g'); |
| 379 INSERT INTO ft1 VALUES('h h c c h f a e d d'); |
| 380 INSERT INTO ft1 VALUES('e j i j i e b c f g'); |
| 381 INSERT INTO ft1 VALUES('g f b g j c h a d f'); |
| 382 INSERT INTO ft1 VALUES('j i a e g f a i a c'); |
| 383 INSERT INTO ft1 VALUES('f d g g j j c a h g'); |
| 384 INSERT INTO ft1 VALUES('b d h a d j j j b i'); |
| 385 INSERT INTO ft1 VALUES('j e a b j e c b c i'); |
| 386 INSERT INTO ft1 VALUES('a d e f b j j c g d'); |
| 387 } |
| 388 do_execsql_test 6.1.1 { |
| 389 SELECT count(*) FROM ft1 WHERE ft1 MATCH 'd' |
| 390 } {6} |
| 391 do_scanstatus_test 6.1.2 { |
| 392 nLoop 1 nVisit 6 nEst 24.0 zName ft1 zExplain |
| 393 {SCAN TABLE ft1 VIRTUAL TABLE INDEX 3:} |
| 394 } |
| 395 } |
| 396 |
| 397 |
| 398 finish_test |
OLD | NEW |