| 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 |