| OLD | NEW |
| (Empty) |
| 1 # 2006 October 27 | |
| 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 # This file implements regression tests for SQLite library. The | |
| 12 # focus of this file is testing the use of indices in WHERE clauses. | |
| 13 # This file was created when support for optimizing IS NULL phrases | |
| 14 # was added. And so the principle purpose of this file is to test | |
| 15 # that IS NULL phrases are correctly optimized. But you can never | |
| 16 # have too many tests, so some other tests are thrown in as well. | |
| 17 # | |
| 18 # $Id: where4.test,v 1.6 2007/12/10 05:03:48 danielk1977 Exp $ | |
| 19 | |
| 20 set testdir [file dirname $argv0] | |
| 21 source $testdir/tester.tcl | |
| 22 | |
| 23 ifcapable !tclvar||!bloblit { | |
| 24 finish_test | |
| 25 return | |
| 26 } | |
| 27 | |
| 28 # Build some test data | |
| 29 # | |
| 30 do_test where4-1.0 { | |
| 31 execsql { | |
| 32 CREATE TABLE t1(w, x, y); | |
| 33 CREATE INDEX i1wxy ON t1(w,x,y); | |
| 34 INSERT INTO t1 VALUES(1,2,3); | |
| 35 INSERT INTO t1 VALUES(1,NULL,3); | |
| 36 INSERT INTO t1 VALUES('a','b','c'); | |
| 37 INSERT INTO t1 VALUES('a',NULL,'c'); | |
| 38 INSERT INTO t1 VALUES(X'78',x'79',x'7a'); | |
| 39 INSERT INTO t1 VALUES(X'78',NULL,X'7A'); | |
| 40 INSERT INTO t1 VALUES(NULL,NULL,NULL); | |
| 41 SELECT count(*) FROM t1; | |
| 42 } | |
| 43 } {7} | |
| 44 | |
| 45 # Do an SQL statement. Append the search count to the end of the result. | |
| 46 # | |
| 47 proc count sql { | |
| 48 set ::sqlite_search_count 0 | |
| 49 return [concat [execsql $sql] $::sqlite_search_count] | |
| 50 } | |
| 51 | |
| 52 # Verify that queries use an index. We are using the special variable | |
| 53 # "sqlite_search_count" which tallys the number of executions of MoveTo | |
| 54 # and Next operators in the VDBE. By verifing that the search count is | |
| 55 # small we can be assured that indices are being used properly. | |
| 56 # | |
| 57 do_test where4-1.1 { | |
| 58 count {SELECT rowid FROM t1 WHERE w IS NULL} | |
| 59 } {7 2} | |
| 60 do_test where4-1.2 { | |
| 61 count {SELECT rowid FROM t1 WHERE +w IS NULL} | |
| 62 } {7 6} | |
| 63 do_test where4-1.3 { | |
| 64 count {SELECT rowid FROM t1 WHERE w=1 AND x IS NULL} | |
| 65 } {2 2} | |
| 66 do_test where4-1.4 { | |
| 67 count {SELECT rowid FROM t1 WHERE w=1 AND +x IS NULL} | |
| 68 } {2 3} | |
| 69 do_test where4-1.5 { | |
| 70 count {SELECT rowid FROM t1 WHERE w=1 AND x>0} | |
| 71 } {1 2} | |
| 72 do_test where4-1.6 { | |
| 73 count {SELECT rowid FROM t1 WHERE w=1 AND x<9} | |
| 74 } {1 3} | |
| 75 do_test where4-1.7 { | |
| 76 count {SELECT rowid FROM t1 WHERE w=1 AND x IS NULL AND y=3} | |
| 77 } {2 2} | |
| 78 do_test where4-1.8 { | |
| 79 count {SELECT rowid FROM t1 WHERE w=1 AND x IS NULL AND y>2} | |
| 80 } {2 2} | |
| 81 do_test where4-1.9 { | |
| 82 count {SELECT rowid FROM t1 WHERE w='a' AND x IS NULL AND y='c'} | |
| 83 } {4 2} | |
| 84 do_test where4-1.10 { | |
| 85 count {SELECT rowid FROM t1 WHERE w=x'78' AND x IS NULL} | |
| 86 } {6 2} | |
| 87 do_test where4-1.11 { | |
| 88 count {SELECT rowid FROM t1 WHERE w=x'78' AND x IS NULL AND y=123} | |
| 89 } {1} | |
| 90 do_test where4-1.12 { | |
| 91 count {SELECT rowid FROM t1 WHERE w=x'78' AND x IS NULL AND y=x'7A'} | |
| 92 } {6 2} | |
| 93 do_test where4-1.13 { | |
| 94 count {SELECT rowid FROM t1 WHERE w IS NULL AND x IS NULL} | |
| 95 } {7 2} | |
| 96 do_test where4-1.14 { | |
| 97 count {SELECT rowid FROM t1 WHERE w IS NULL AND x IS NULL AND y IS NULL} | |
| 98 } {7 2} | |
| 99 do_test where4-1.15 { | |
| 100 count {SELECT rowid FROM t1 WHERE w IS NULL AND x IS NULL AND y<0} | |
| 101 } {2} | |
| 102 do_test where4-1.16 { | |
| 103 count {SELECT rowid FROM t1 WHERE w IS NULL AND x IS NULL AND y>=0} | |
| 104 } {1} | |
| 105 | |
| 106 do_test where4-2.1 { | |
| 107 execsql {SELECT rowid FROM t1 ORDER BY w, x, y} | |
| 108 } {7 2 1 4 3 6 5} | |
| 109 do_test where4-2.2 { | |
| 110 execsql {SELECT rowid FROM t1 ORDER BY w DESC, x, y} | |
| 111 } {6 5 4 3 2 1 7} | |
| 112 do_test where4-2.3 { | |
| 113 execsql {SELECT rowid FROM t1 ORDER BY w, x DESC, y} | |
| 114 } {7 1 2 3 4 5 6} | |
| 115 | |
| 116 | |
| 117 # Ticket #2177 | |
| 118 # | |
| 119 # Suppose you have a left join where the right table of the left | |
| 120 # join (the one that can be NULL) has an index on two columns. | |
| 121 # The first indexed column is used in the ON clause of the join. | |
| 122 # The second indexed column is used in the WHERE clause with an IS NULL | |
| 123 # constraint. It is not allowed to use the IS NULL optimization to | |
| 124 # optimize the query because the second column might be NULL because | |
| 125 # the right table did not match - something the index does not know | |
| 126 # about. | |
| 127 # | |
| 128 do_test where4-3.1 { | |
| 129 execsql { | |
| 130 CREATE TABLE t2(a); | |
| 131 INSERT INTO t2 VALUES(1); | |
| 132 INSERT INTO t2 VALUES(2); | |
| 133 INSERT INTO t2 VALUES(3); | |
| 134 CREATE TABLE t3(x,y,UNIQUE(x,y)); | |
| 135 INSERT INTO t3 VALUES(1,11); | |
| 136 INSERT INTO t3 VALUES(2,NULL); | |
| 137 | |
| 138 SELECT * FROM t2 LEFT JOIN t3 ON a=x WHERE +y IS NULL; | |
| 139 } | |
| 140 } {2 2 {} 3 {} {}} | |
| 141 do_test where4-3.2 { | |
| 142 execsql { | |
| 143 SELECT * FROM t2 LEFT JOIN t3 ON a=x WHERE y IS NULL; | |
| 144 } | |
| 145 } {2 2 {} 3 {} {}} | |
| 146 | |
| 147 # Ticket #2189. Probably the same bug as #2177. | |
| 148 # | |
| 149 do_test where4-4.1 { | |
| 150 execsql { | |
| 151 CREATE TABLE test(col1 TEXT PRIMARY KEY); | |
| 152 INSERT INTO test(col1) values('a'); | |
| 153 INSERT INTO test(col1) values('b'); | |
| 154 INSERT INTO test(col1) values('c'); | |
| 155 CREATE TABLE test2(col1 TEXT PRIMARY KEY); | |
| 156 INSERT INTO test2(col1) values('a'); | |
| 157 INSERT INTO test2(col1) values('b'); | |
| 158 INSERT INTO test2(col1) values('c'); | |
| 159 SELECT * FROM test t1 LEFT OUTER JOIN test2 t2 ON t1.col1 = t2.col1 | |
| 160 WHERE +t2.col1 IS NULL; | |
| 161 } | |
| 162 } {} | |
| 163 do_test where4-4.2 { | |
| 164 execsql { | |
| 165 SELECT * FROM test t1 LEFT OUTER JOIN test2 t2 ON t1.col1 = t2.col1 | |
| 166 WHERE t2.col1 IS NULL; | |
| 167 } | |
| 168 } {} | |
| 169 do_test where4-4.3 { | |
| 170 execsql { | |
| 171 SELECT * FROM test t1 LEFT OUTER JOIN test2 t2 ON t1.col1 = t2.col1 | |
| 172 WHERE +t1.col1 IS NULL; | |
| 173 } | |
| 174 } {} | |
| 175 do_test where4-4.4 { | |
| 176 execsql { | |
| 177 SELECT * FROM test t1 LEFT OUTER JOIN test2 t2 ON t1.col1 = t2.col1 | |
| 178 WHERE t1.col1 IS NULL; | |
| 179 } | |
| 180 } {} | |
| 181 | |
| 182 # Ticket #2273. Problems with IN operators and NULLs. | |
| 183 # | |
| 184 ifcapable subquery { | |
| 185 do_test where4-5.1 { | |
| 186 execsql { | |
| 187 CREATE TABLE t4(x,y,z,PRIMARY KEY(x,y)); | |
| 188 } | |
| 189 execsql { | |
| 190 SELECT * | |
| 191 FROM t2 LEFT JOIN t4 b1 | |
| 192 LEFT JOIN t4 b2 ON b2.x=b1.x AND b2.y IN (b1.y); | |
| 193 } | |
| 194 } {1 {} {} {} {} {} {} 2 {} {} {} {} {} {} 3 {} {} {} {} {} {}} | |
| 195 do_test where4-5.2 { | |
| 196 execsql { | |
| 197 INSERT INTO t4 VALUES(1,1,11); | |
| 198 INSERT INTO t4 VALUES(1,2,12); | |
| 199 INSERT INTO t4 VALUES(1,3,13); | |
| 200 INSERT INTO t4 VALUES(2,2,22); | |
| 201 SELECT rowid FROM t4 WHERE x IN (1,9,2,5) AND y IN (1,3,NULL,2) AND z!=13; | |
| 202 } | |
| 203 } {1 2 4} | |
| 204 do_test where4-5.3 { | |
| 205 execsql { | |
| 206 SELECT rowid FROM t4 WHERE x IN (1,9,NULL,2) AND y IN (1,3,2) AND z!=13; | |
| 207 } | |
| 208 } {1 2 4} | |
| 209 do_test where4-6.1 { | |
| 210 execsql { | |
| 211 CREATE TABLE t5(a,b,c,d,e,f,UNIQUE(a,b,c,d,e,f)); | |
| 212 INSERT INTO t5 VALUES(1,1,1,1,1,11111); | |
| 213 INSERT INTO t5 VALUES(2,2,2,2,2,22222); | |
| 214 INSERT INTO t5 VALUES(1,2,3,4,5,12345); | |
| 215 INSERT INTO t5 VALUES(2,3,4,5,6,23456); | |
| 216 } | |
| 217 execsql { | |
| 218 SELECT rowid FROM t5 | |
| 219 WHERE a IN (1,9,2) AND b=2 AND c IN (1,2,3,4) AND d>0 | |
| 220 } | |
| 221 } {3 2} | |
| 222 do_test where4-6.2 { | |
| 223 execsql { | |
| 224 SELECT rowid FROM t5 | |
| 225 WHERE a IN (1,NULL,2) AND b=2 AND c IN (1,2,3,4) AND d>0 | |
| 226 } | |
| 227 } {3 2} | |
| 228 do_test where4-7.1 { | |
| 229 execsql { | |
| 230 CREATE TABLE t6(y,z,PRIMARY KEY(y,z)); | |
| 231 } | |
| 232 execsql { | |
| 233 SELECT * FROM t6 WHERE y=NULL AND z IN ('hello'); | |
| 234 } | |
| 235 } {} | |
| 236 | |
| 237 integrity_check {where4-99.0} | |
| 238 | |
| 239 do_test where4-7.1 { | |
| 240 execsql { | |
| 241 BEGIN; | |
| 242 CREATE TABLE t8(a, b, c, d); | |
| 243 CREATE INDEX t8_i ON t8(a, b, c); | |
| 244 CREATE TABLE t7(i); | |
| 245 | |
| 246 INSERT INTO t7 VALUES(1); | |
| 247 INSERT INTO t7 SELECT i*2 FROM t7; | |
| 248 INSERT INTO t7 SELECT i*2 FROM t7; | |
| 249 INSERT INTO t7 SELECT i*2 FROM t7; | |
| 250 INSERT INTO t7 SELECT i*2 FROM t7; | |
| 251 INSERT INTO t7 SELECT i*2 FROM t7; | |
| 252 INSERT INTO t7 SELECT i*2 FROM t7; | |
| 253 | |
| 254 COMMIT; | |
| 255 } | |
| 256 } {} | |
| 257 | |
| 258 # At one point the sub-select inside the aggregate sum() function in the | |
| 259 # following query was leaking a couple of stack entries. This query | |
| 260 # runs the SELECT in a loop enough times that an assert() fails. Or rather, | |
| 261 # did fail before the bug was fixed. | |
| 262 # | |
| 263 do_test where4-7.2 { | |
| 264 execsql { | |
| 265 SELECT sum(( | |
| 266 SELECT d FROM t8 WHERE a = i AND b = i AND c < NULL | |
| 267 )) FROM t7; | |
| 268 } | |
| 269 } {{}} | |
| 270 | |
| 271 }; #ifcapable subquery | |
| 272 | |
| 273 finish_test | |
| OLD | NEW |