| OLD | NEW |
| (Empty) |
| 1 # 2008 September 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 # $Id: in4.test,v 1.4 2009/06/05 17:09:12 drh Exp $ | |
| 13 | |
| 14 set testdir [file dirname $argv0] | |
| 15 source $testdir/tester.tcl | |
| 16 | |
| 17 do_test in4-1.1 { | |
| 18 execsql { | |
| 19 CREATE TABLE t1(a, b); | |
| 20 CREATE INDEX i1 ON t1(a); | |
| 21 } | |
| 22 } {} | |
| 23 do_test in4-1.2 { | |
| 24 execsql { | |
| 25 SELECT * FROM t1 WHERE a IN ('aaa', 'bbb', 'ccc'); | |
| 26 } | |
| 27 } {} | |
| 28 do_test in4-1.3 { | |
| 29 execsql { | |
| 30 INSERT INTO t1 VALUES('aaa', 1); | |
| 31 INSERT INTO t1 VALUES('ddd', 2); | |
| 32 INSERT INTO t1 VALUES('ccc', 3); | |
| 33 INSERT INTO t1 VALUES('eee', 4); | |
| 34 SELECT b FROM t1 WHERE a IN ('aaa', 'bbb', 'ccc'); | |
| 35 } | |
| 36 } {1 3} | |
| 37 do_test in4-1.4 { | |
| 38 execsql { | |
| 39 SELECT a FROM t1 WHERE rowid IN (1, 3); | |
| 40 } | |
| 41 } {aaa ccc} | |
| 42 do_test in4-1.5 { | |
| 43 execsql { | |
| 44 SELECT a FROM t1 WHERE rowid IN (); | |
| 45 } | |
| 46 } {} | |
| 47 do_test in4-1.6 { | |
| 48 execsql { | |
| 49 SELECT a FROM t1 WHERE a IN ('ddd'); | |
| 50 } | |
| 51 } {ddd} | |
| 52 | |
| 53 do_test in4-2.1 { | |
| 54 execsql { | |
| 55 CREATE TABLE t2(a INTEGER PRIMARY KEY, b TEXT); | |
| 56 INSERT INTO t2 VALUES(-1, '-one'); | |
| 57 INSERT INTO t2 VALUES(0, 'zero'); | |
| 58 INSERT INTO t2 VALUES(1, 'one'); | |
| 59 INSERT INTO t2 VALUES(2, 'two'); | |
| 60 INSERT INTO t2 VALUES(3, 'three'); | |
| 61 } | |
| 62 } {} | |
| 63 | |
| 64 do_test in4-2.2 { | |
| 65 execsql { SELECT b FROM t2 WHERE a IN (0, 2) } | |
| 66 } {zero two} | |
| 67 | |
| 68 do_test in4-2.3 { | |
| 69 execsql { SELECT b FROM t2 WHERE a IN (2, 0) } | |
| 70 } {zero two} | |
| 71 | |
| 72 do_test in4-2.4 { | |
| 73 execsql { SELECT b FROM t2 WHERE a IN (2, -1) } | |
| 74 } {-one two} | |
| 75 | |
| 76 do_test in4-2.5 { | |
| 77 execsql { SELECT b FROM t2 WHERE a IN (NULL, 3) } | |
| 78 } {three} | |
| 79 | |
| 80 do_test in4-2.6 { | |
| 81 execsql { SELECT b FROM t2 WHERE a IN (1.0, 2.1) } | |
| 82 } {one} | |
| 83 | |
| 84 do_test in4-2.7 { | |
| 85 execsql { SELECT b FROM t2 WHERE a IN ('1', '2') } | |
| 86 } {one two} | |
| 87 | |
| 88 do_test in4-2.8 { | |
| 89 execsql { SELECT b FROM t2 WHERE a IN ('', '0.0.0', '2') } | |
| 90 } {two} | |
| 91 | |
| 92 # The following block of tests test expressions of the form: | |
| 93 # | |
| 94 # <expr> IN () | |
| 95 # | |
| 96 # i.e. IN expressions with a literal empty set. | |
| 97 # | |
| 98 # This has led to crashes on more than one occasion. Test case in4-3.2 | |
| 99 # was added in reponse to a bug reported on the mailing list on 11/7/2008. | |
| 100 # See also tickets #3602 and #185. | |
| 101 # | |
| 102 do_test in4-3.1 { | |
| 103 execsql { | |
| 104 DROP TABLE IF EXISTS t1; | |
| 105 DROP TABLE IF EXISTS t2; | |
| 106 CREATE TABLE t1(x, id); | |
| 107 CREATE TABLE t2(x, id); | |
| 108 INSERT INTO t1 VALUES(NULL, NULL); | |
| 109 INSERT INTO t1 VALUES(0, NULL); | |
| 110 INSERT INTO t1 VALUES(1, 3); | |
| 111 INSERT INTO t1 VALUES(2, 4); | |
| 112 INSERT INTO t1 VALUES(3, 5); | |
| 113 INSERT INTO t1 VALUES(4, 6); | |
| 114 INSERT INTO t2 VALUES(0, NULL); | |
| 115 INSERT INTO t2 VALUES(4, 1); | |
| 116 INSERT INTO t2 VALUES(NULL, 1); | |
| 117 INSERT INTO t2 VALUES(NULL, NULL); | |
| 118 } | |
| 119 } {} | |
| 120 do_test in4-3.2 { | |
| 121 execsql { | |
| 122 SELECT x FROM t1 WHERE id IN () AND x IN (SELECT x FROM t2 WHERE id=1) | |
| 123 } | |
| 124 } {} | |
| 125 do_test in4-3.3 { | |
| 126 execsql { | |
| 127 CREATE TABLE t3(x, y, z); | |
| 128 CREATE INDEX t3i1 ON t3(x, y); | |
| 129 INSERT INTO t3 VALUES(1, 1, 1); | |
| 130 INSERT INTO t3 VALUES(10, 10, 10); | |
| 131 } | |
| 132 execsql { SELECT * FROM t3 WHERE x IN () } | |
| 133 } {} | |
| 134 do_test in4-3.4 { | |
| 135 execsql { SELECT * FROM t3 WHERE x = 10 AND y IN () } | |
| 136 } {} | |
| 137 do_test in4-3.5 { | |
| 138 execsql { SELECT * FROM t3 WHERE x IN () AND y = 10 } | |
| 139 } {} | |
| 140 do_test in4-3.6 { | |
| 141 execsql { SELECT * FROM t3 WHERE x IN () OR x = 10 } | |
| 142 } {10 10 10} | |
| 143 do_test in4-3.7 { | |
| 144 execsql { SELECT * FROM t3 WHERE y IN () } | |
| 145 } {} | |
| 146 do_test in4-3.8 { | |
| 147 execsql { SELECT x IN() AS a FROM t3 WHERE a } | |
| 148 } {} | |
| 149 do_test in4-3.9 { | |
| 150 execsql { SELECT x IN() AS a FROM t3 WHERE NOT a } | |
| 151 } {0 0} | |
| 152 do_test in4-3.10 { | |
| 153 execsql { SELECT * FROM t3 WHERE oid IN () } | |
| 154 } {} | |
| 155 do_test in4-3.11 { | |
| 156 execsql { SELECT * FROM t3 WHERE x IN (1, 2) OR y IN ()} | |
| 157 } {1 1 1} | |
| 158 do_test in4-3.12 { | |
| 159 execsql { SELECT * FROM t3 WHERE x IN (1, 2) AND y IN ()} | |
| 160 } {} | |
| 161 | |
| 162 # Tests for "... IN (?)" and "... NOT IN (?)". In other words, tests | |
| 163 # for when the RHS of IN is a single expression. This should work the | |
| 164 # same as the == and <> operators. | |
| 165 # | |
| 166 do_execsql_test in4-3.21 { | |
| 167 SELECT * FROM t3 WHERE x=10 AND y IN (10); | |
| 168 } {10 10 10} | |
| 169 do_execsql_test in4-3.22 { | |
| 170 SELECT * FROM t3 WHERE x IN (10) AND y=10; | |
| 171 } {10 10 10} | |
| 172 do_execsql_test in4-3.23 { | |
| 173 SELECT * FROM t3 WHERE x IN (10) AND y IN (10); | |
| 174 } {10 10 10} | |
| 175 do_execsql_test in4-3.24 { | |
| 176 SELECT * FROM t3 WHERE x=1 AND y NOT IN (10); | |
| 177 } {1 1 1} | |
| 178 do_execsql_test in4-3.25 { | |
| 179 SELECT * FROM t3 WHERE x NOT IN (10) AND y=1; | |
| 180 } {1 1 1} | |
| 181 do_execsql_test in4-3.26 { | |
| 182 SELECT * FROM t3 WHERE x NOT IN (10) AND y NOT IN (10); | |
| 183 } {1 1 1} | |
| 184 | |
| 185 # The query planner recognizes that "x IN (?)" only generates a | |
| 186 # single match and can use this information to optimize-out ORDER BY | |
| 187 # clauses. | |
| 188 # | |
| 189 do_execsql_test in4-3.31 { | |
| 190 DROP INDEX t3i1; | |
| 191 CREATE UNIQUE INDEX t3xy ON t3(x,y); | |
| 192 | |
| 193 SELECT *, '|' FROM t3 A, t3 B | |
| 194 WHERE A.x=10 AND A.y IN (10) | |
| 195 AND B.x=1 AND B.y IN (1); | |
| 196 } {10 10 10 1 1 1 |} | |
| 197 do_execsql_test in4-3.32 { | |
| 198 EXPLAIN QUERY PLAN | |
| 199 SELECT *, '|' FROM t3 A, t3 B | |
| 200 WHERE A.x=10 AND A.y IN (10) | |
| 201 AND B.x=1 AND B.y IN (1); | |
| 202 } {~/B-TREE/} ;# No separate sorting pass | |
| 203 do_execsql_test in4-3.33 { | |
| 204 SELECT *, '|' FROM t3 A, t3 B | |
| 205 WHERE A.x IN (10) AND A.y=10 | |
| 206 AND B.x IN (1) AND B.y=1; | |
| 207 } {10 10 10 1 1 1 |} | |
| 208 do_execsql_test in4-3.34 { | |
| 209 EXPLAIN QUERY PLAN | |
| 210 SELECT *, '|' FROM t3 A, t3 B | |
| 211 WHERE A.x IN (10) AND A.y=10 | |
| 212 AND B.x IN (1) AND B.y=1; | |
| 213 } {~/B-TREE/} ;# No separate sorting pass | |
| 214 | |
| 215 # An expression of the form "x IN (?,?)" creates an ephemeral table to | |
| 216 # hold the list of values on the RHS. But "x IN (?)" does not create | |
| 217 # an ephemeral table. | |
| 218 # | |
| 219 do_execsql_test in4-3.41 { | |
| 220 SELECT * FROM t3 WHERE x IN (10,11); | |
| 221 } {10 10 10} | |
| 222 do_execsql_test in4-3.42 { | |
| 223 EXPLAIN | |
| 224 SELECT * FROM t3 WHERE x IN (10,11); | |
| 225 } {/OpenEphemeral/} | |
| 226 do_execsql_test in4-3.43 { | |
| 227 SELECT * FROM t3 WHERE x IN (10); | |
| 228 } {10 10 10} | |
| 229 do_execsql_test in4-3.44 { | |
| 230 EXPLAIN | |
| 231 SELECT * FROM t3 WHERE x IN (10); | |
| 232 } {~/OpenEphemeral/} | |
| 233 do_execsql_test in4-3.45 { | |
| 234 SELECT * FROM t3 WHERE x NOT IN (10,11,99999); | |
| 235 } {1 1 1} | |
| 236 do_execsql_test in4-3.46 { | |
| 237 EXPLAIN | |
| 238 SELECT * FROM t3 WHERE x NOT IN (10,11,99999); | |
| 239 } {/OpenEphemeral/} | |
| 240 do_execsql_test in4-3.47 { | |
| 241 SELECT * FROM t3 WHERE x NOT IN (10); | |
| 242 } {1 1 1} | |
| 243 do_execsql_test in4-3.48 { | |
| 244 EXPLAIN | |
| 245 SELECT * FROM t3 WHERE x NOT IN (10); | |
| 246 } {~/OpenEphemeral/} | |
| 247 | |
| 248 # Make sure that when "x IN (?)" is converted into "x==?" that collating | |
| 249 # sequence and affinity computations do not get messed up. | |
| 250 # | |
| 251 do_execsql_test in4-4.1 { | |
| 252 CREATE TABLE t4a(a TEXT, b TEXT COLLATE nocase, c); | |
| 253 INSERT INTO t4a VALUES('ABC','abc',1); | |
| 254 INSERT INTO t4a VALUES('def','xyz',2); | |
| 255 INSERT INTO t4a VALUES('ghi','ghi',3); | |
| 256 SELECT c FROM t4a WHERE a=b ORDER BY c; | |
| 257 } {3} | |
| 258 do_execsql_test in4-4.2 { | |
| 259 SELECT c FROM t4a WHERE b=a ORDER BY c; | |
| 260 } {1 3} | |
| 261 do_execsql_test in4-4.3 { | |
| 262 SELECT c FROM t4a WHERE (a||'')=b ORDER BY c; | |
| 263 } {1 3} | |
| 264 do_execsql_test in4-4.4 { | |
| 265 SELECT c FROM t4a WHERE (a||'')=(b||'') ORDER BY c; | |
| 266 } {3} | |
| 267 do_execsql_test in4-4.5 { | |
| 268 SELECT c FROM t4a WHERE a IN (b) ORDER BY c; | |
| 269 } {3} | |
| 270 do_execsql_test in4-4.6 { | |
| 271 SELECT c FROM t4a WHERE (a||'') IN (b) ORDER BY c; | |
| 272 } {3} | |
| 273 | |
| 274 | |
| 275 do_execsql_test in4-4.11 { | |
| 276 CREATE TABLE t4b(a TEXT, b NUMERIC, c); | |
| 277 INSERT INTO t4b VALUES('1.0',1,4); | |
| 278 SELECT c FROM t4b WHERE a=b; | |
| 279 } {4} | |
| 280 do_execsql_test in4-4.12 { | |
| 281 SELECT c FROM t4b WHERE b=a; | |
| 282 } {4} | |
| 283 do_execsql_test in4-4.13 { | |
| 284 SELECT c FROM t4b WHERE +a=b; | |
| 285 } {4} | |
| 286 do_execsql_test in4-4.14 { | |
| 287 SELECT c FROM t4b WHERE a=+b; | |
| 288 } {} | |
| 289 do_execsql_test in4-4.15 { | |
| 290 SELECT c FROM t4b WHERE +b=a; | |
| 291 } {} | |
| 292 do_execsql_test in4-4.16 { | |
| 293 SELECT c FROM t4b WHERE b=+a; | |
| 294 } {4} | |
| 295 do_execsql_test in4-4.17 { | |
| 296 SELECT c FROM t4b WHERE a IN (b); | |
| 297 } {} | |
| 298 do_execsql_test in4-4.18 { | |
| 299 SELECT c FROM t4b WHERE b IN (a); | |
| 300 } {4} | |
| 301 do_execsql_test in4-4.19 { | |
| 302 SELECT c FROM t4b WHERE +b IN (a); | |
| 303 } {} | |
| 304 | |
| 305 do_execsql_test in4-5.1 { | |
| 306 CREATE TABLE t5(c INTEGER PRIMARY KEY, d TEXT COLLATE nocase); | |
| 307 INSERT INTO t5 VALUES(17, 'fuzz'); | |
| 308 SELECT 1 FROM t5 WHERE 'fuzz' IN (d); -- match | |
| 309 SELECT 2 FROM t5 WHERE 'FUZZ' IN (d); -- no match | |
| 310 SELECT 3 FROM t5 WHERE d IN ('fuzz'); -- match | |
| 311 SELECT 4 FROM t5 WHERE d IN ('FUZZ'); -- match | |
| 312 } {1 3 4} | |
| 313 | |
| 314 # An expression of the form "x IN (y)" can be used as "x=y" by the | |
| 315 # query planner when computing transitive constraints or to run the | |
| 316 # query using an index on y. | |
| 317 # | |
| 318 do_execsql_test in4-6.1 { | |
| 319 CREATE TABLE t6a(a INTEGER PRIMARY KEY, b); | |
| 320 INSERT INTO t6a VALUES(1,2),(3,4),(5,6); | |
| 321 CREATE TABLE t6b(c INTEGER PRIMARY KEY, d); | |
| 322 INSERT INTO t6b VALUES(4,44),(5,55),(6,66); | |
| 323 | |
| 324 SELECT * FROM t6a, t6b WHERE a=3 AND b IN (c); | |
| 325 } {3 4 4 44} | |
| 326 do_execsql_test in4-6.1-eqp { | |
| 327 EXPLAIN QUERY PLAN | |
| 328 SELECT * FROM t6a, t6b WHERE a=3 AND b IN (c); | |
| 329 } {~/SCAN/} | |
| 330 do_execsql_test in4-6.2 { | |
| 331 SELECT * FROM t6a, t6b WHERE a=3 AND c IN (b); | |
| 332 } {3 4 4 44} | |
| 333 do_execsql_test in4-6.2-eqp { | |
| 334 EXPLAIN QUERY PLAN | |
| 335 SELECT * FROM t6a, t6b WHERE a=3 AND c IN (b); | |
| 336 } {~/SCAN/} | |
| 337 | |
| 338 | |
| 339 finish_test | |
| OLD | NEW |