1# 2008 December 30 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 multi-index OR clause optimizer. 13# 14# $Id: where9.test,v 1.9 2009/06/05 17:09:12 drh Exp $ 15 16set testdir [file dirname $argv0] 17source $testdir/tester.tcl 18 19ifcapable !or_opt { 20 finish_test 21 return 22} 23 24# Evaluate SQL. Return the result set followed by the 25# and the number of full-scan steps. 26# 27proc count_steps {sql} { 28 set r [db eval $sql] 29 lappend r scan [db status step] sort [db status sort] 30} 31 32 33# Construct test data. 34# 35do_test where9-1.1 { 36 db eval { 37 CREATE TABLE t1(a INTEGER PRIMARY KEY,b,c,d,e,f,g); 38 INSERT INTO t1 VALUES(1,11,1001,1.001,100.1,'bcdefghij','yxwvuts'); 39 INSERT INTO t1 VALUES(2,22,1001,2.002,100.1,'cdefghijk','yxwvuts'); 40 INSERT INTO t1 VALUES(3,33,1001,3.003,100.1,'defghijkl','xwvutsr'); 41 INSERT INTO t1 VALUES(4,44,2002,4.004,200.2,'efghijklm','xwvutsr'); 42 INSERT INTO t1 VALUES(5,55,2002,5.005,200.2,'fghijklmn','xwvutsr'); 43 INSERT INTO t1 VALUES(6,66,2002,6.006,200.2,'ghijklmno','xwvutsr'); 44 INSERT INTO t1 VALUES(7,77,3003,7.007,300.3,'hijklmnop','xwvutsr'); 45 INSERT INTO t1 VALUES(8,88,3003,8.008,300.3,'ijklmnopq','wvutsrq'); 46 INSERT INTO t1 VALUES(9,99,3003,9.009,300.3,'jklmnopqr','wvutsrq'); 47 INSERT INTO t1 VALUES(10,110,4004,10.01,400.4,'klmnopqrs','wvutsrq'); 48 INSERT INTO t1 VALUES(11,121,4004,11.011,400.4,'lmnopqrst','wvutsrq'); 49 INSERT INTO t1 VALUES(12,132,4004,12.012,400.4,'mnopqrstu','wvutsrq'); 50 INSERT INTO t1 VALUES(13,143,5005,13.013,500.5,'nopqrstuv','vutsrqp'); 51 INSERT INTO t1 VALUES(14,154,5005,14.014,500.5,'opqrstuvw','vutsrqp'); 52 INSERT INTO t1 VALUES(15,165,5005,15.015,500.5,'pqrstuvwx','vutsrqp'); 53 INSERT INTO t1 VALUES(16,176,6006,16.016,600.6,'qrstuvwxy','vutsrqp'); 54 INSERT INTO t1 VALUES(17,187,6006,17.017,600.6,'rstuvwxyz','vutsrqp'); 55 INSERT INTO t1 VALUES(18,198,6006,18.018,600.6,'stuvwxyza','utsrqpo'); 56 INSERT INTO t1 VALUES(19,209,7007,19.019,700.7,'tuvwxyzab','utsrqpo'); 57 INSERT INTO t1 VALUES(20,220,7007,20.02,700.7,'uvwxyzabc','utsrqpo'); 58 INSERT INTO t1 VALUES(21,231,7007,21.021,700.7,'vwxyzabcd','utsrqpo'); 59 INSERT INTO t1 VALUES(22,242,8008,22.022,800.8,'wxyzabcde','utsrqpo'); 60 INSERT INTO t1 VALUES(23,253,8008,23.023,800.8,'xyzabcdef','tsrqpon'); 61 INSERT INTO t1 VALUES(24,264,8008,24.024,800.8,'yzabcdefg','tsrqpon'); 62 INSERT INTO t1 VALUES(25,275,9009,25.025,900.9,'zabcdefgh','tsrqpon'); 63 INSERT INTO t1 VALUES(26,286,9009,26.026,900.9,'abcdefghi','tsrqpon'); 64 INSERT INTO t1 VALUES(27,297,9009,27.027,900.9,'bcdefghij','tsrqpon'); 65 INSERT INTO t1 VALUES(28,308,10010,28.028,1001.0,'cdefghijk','srqponm'); 66 INSERT INTO t1 VALUES(29,319,10010,29.029,1001.0,'defghijkl','srqponm'); 67 INSERT INTO t1 VALUES(30,330,10010,30.03,1001.0,'efghijklm','srqponm'); 68 INSERT INTO t1 VALUES(31,341,11011,31.031,1101.1,'fghijklmn','srqponm'); 69 INSERT INTO t1 VALUES(32,352,11011,32.032,1101.1,'ghijklmno','srqponm'); 70 INSERT INTO t1 VALUES(33,363,11011,33.033,1101.1,'hijklmnop','rqponml'); 71 INSERT INTO t1 VALUES(34,374,12012,34.034,1201.2,'ijklmnopq','rqponml'); 72 INSERT INTO t1 VALUES(35,385,12012,35.035,1201.2,'jklmnopqr','rqponml'); 73 INSERT INTO t1 VALUES(36,396,12012,36.036,1201.2,'klmnopqrs','rqponml'); 74 INSERT INTO t1 VALUES(37,407,13013,37.037,1301.3,'lmnopqrst','rqponml'); 75 INSERT INTO t1 VALUES(38,418,13013,38.038,1301.3,'mnopqrstu','qponmlk'); 76 INSERT INTO t1 VALUES(39,429,13013,39.039,1301.3,'nopqrstuv','qponmlk'); 77 INSERT INTO t1 VALUES(40,440,14014,40.04,1401.4,'opqrstuvw','qponmlk'); 78 INSERT INTO t1 VALUES(41,451,14014,41.041,1401.4,'pqrstuvwx','qponmlk'); 79 INSERT INTO t1 VALUES(42,462,14014,42.042,1401.4,'qrstuvwxy','qponmlk'); 80 INSERT INTO t1 VALUES(43,473,15015,43.043,1501.5,'rstuvwxyz','ponmlkj'); 81 INSERT INTO t1 VALUES(44,484,15015,44.044,1501.5,'stuvwxyza','ponmlkj'); 82 INSERT INTO t1 VALUES(45,495,15015,45.045,1501.5,'tuvwxyzab','ponmlkj'); 83 INSERT INTO t1 VALUES(46,506,16016,46.046,1601.6,'uvwxyzabc','ponmlkj'); 84 INSERT INTO t1 VALUES(47,517,16016,47.047,1601.6,'vwxyzabcd','ponmlkj'); 85 INSERT INTO t1 VALUES(48,528,16016,48.048,1601.6,'wxyzabcde','onmlkji'); 86 INSERT INTO t1 VALUES(49,539,17017,49.049,1701.7,'xyzabcdef','onmlkji'); 87 INSERT INTO t1 VALUES(50,550,17017,50.05,1701.7,'yzabcdefg','onmlkji'); 88 INSERT INTO t1 VALUES(51,561,17017,51.051,1701.7,'zabcdefgh','onmlkji'); 89 INSERT INTO t1 VALUES(52,572,18018,52.052,1801.8,'abcdefghi','onmlkji'); 90 INSERT INTO t1 VALUES(53,583,18018,53.053,1801.8,'bcdefghij','nmlkjih'); 91 INSERT INTO t1 VALUES(54,594,18018,54.054,1801.8,'cdefghijk','nmlkjih'); 92 INSERT INTO t1 VALUES(55,605,19019,55.055,1901.9,'defghijkl','nmlkjih'); 93 INSERT INTO t1 VALUES(56,616,19019,56.056,1901.9,'efghijklm','nmlkjih'); 94 INSERT INTO t1 VALUES(57,627,19019,57.057,1901.9,'fghijklmn','nmlkjih'); 95 INSERT INTO t1 VALUES(58,638,20020,58.058,2002.0,'ghijklmno','mlkjihg'); 96 INSERT INTO t1 VALUES(59,649,20020,59.059,2002.0,'hijklmnop','mlkjihg'); 97 INSERT INTO t1 VALUES(60,660,20020,60.06,2002.0,'ijklmnopq','mlkjihg'); 98 INSERT INTO t1 VALUES(61,671,21021,61.061,2102.1,'jklmnopqr','mlkjihg'); 99 INSERT INTO t1 VALUES(62,682,21021,62.062,2102.1,'klmnopqrs','mlkjihg'); 100 INSERT INTO t1 VALUES(63,693,21021,63.063,2102.1,'lmnopqrst','lkjihgf'); 101 INSERT INTO t1 VALUES(64,704,22022,64.064,2202.2,'mnopqrstu','lkjihgf'); 102 INSERT INTO t1 VALUES(65,715,22022,65.065,2202.2,'nopqrstuv','lkjihgf'); 103 INSERT INTO t1 VALUES(66,726,22022,66.066,2202.2,'opqrstuvw','lkjihgf'); 104 INSERT INTO t1 VALUES(67,737,23023,67.067,2302.3,'pqrstuvwx','lkjihgf'); 105 INSERT INTO t1 VALUES(68,748,23023,68.068,2302.3,'qrstuvwxy','kjihgfe'); 106 INSERT INTO t1 VALUES(69,759,23023,69.069,2302.3,'rstuvwxyz','kjihgfe'); 107 INSERT INTO t1 VALUES(70,770,24024,70.07,2402.4,'stuvwxyza','kjihgfe'); 108 INSERT INTO t1 VALUES(71,781,24024,71.071,2402.4,'tuvwxyzab','kjihgfe'); 109 INSERT INTO t1 VALUES(72,792,24024,72.072,2402.4,'uvwxyzabc','kjihgfe'); 110 INSERT INTO t1 VALUES(73,803,25025,73.073,2502.5,'vwxyzabcd','jihgfed'); 111 INSERT INTO t1 VALUES(74,814,25025,74.074,2502.5,'wxyzabcde','jihgfed'); 112 INSERT INTO t1 VALUES(75,825,25025,75.075,2502.5,'xyzabcdef','jihgfed'); 113 INSERT INTO t1 VALUES(76,836,26026,76.076,2602.6,'yzabcdefg','jihgfed'); 114 INSERT INTO t1 VALUES(77,847,26026,77.077,2602.6,'zabcdefgh','jihgfed'); 115 INSERT INTO t1 VALUES(78,858,26026,78.078,2602.6,'abcdefghi','ihgfedc'); 116 INSERT INTO t1 VALUES(79,869,27027,79.079,2702.7,'bcdefghij','ihgfedc'); 117 INSERT INTO t1 VALUES(80,880,27027,80.08,2702.7,'cdefghijk','ihgfedc'); 118 INSERT INTO t1 VALUES(81,891,27027,81.081,2702.7,'defghijkl','ihgfedc'); 119 INSERT INTO t1 VALUES(82,902,28028,82.082,2802.8,'efghijklm','ihgfedc'); 120 INSERT INTO t1 VALUES(83,913,28028,83.083,2802.8,'fghijklmn','hgfedcb'); 121 INSERT INTO t1 VALUES(84,924,28028,84.084,2802.8,'ghijklmno','hgfedcb'); 122 INSERT INTO t1 VALUES(85,935,29029,85.085,2902.9,'hijklmnop','hgfedcb'); 123 INSERT INTO t1 VALUES(86,946,29029,86.086,2902.9,'ijklmnopq','hgfedcb'); 124 INSERT INTO t1 VALUES(87,957,29029,87.087,2902.9,'jklmnopqr','hgfedcb'); 125 INSERT INTO t1 VALUES(88,968,30030,88.088,3003.0,'klmnopqrs','gfedcba'); 126 INSERT INTO t1 VALUES(89,979,30030,89.089,3003.0,'lmnopqrst','gfedcba'); 127 INSERT INTO t1 VALUES(90,NULL,30030,90.09,3003.0,'mnopqrstu','gfedcba'); 128 INSERT INTO t1 VALUES(91,1001,NULL,91.091,3103.1,'nopqrstuv','gfedcba'); 129 INSERT INTO t1 VALUES(92,1012,31031,NULL,3103.1,'opqrstuvw','gfedcba'); 130 INSERT INTO t1 VALUES(93,1023,31031,93.093,NULL,'pqrstuvwx','fedcbaz'); 131 INSERT INTO t1 VALUES(94,1034,32032,94.094,3203.2,NULL,'fedcbaz'); 132 INSERT INTO t1 VALUES(95,1045,32032,95.095,3203.2,'rstuvwxyz',NULL); 133 INSERT INTO t1 VALUES(96,NULL,NULL,96.096,3203.2,'stuvwxyza','fedcbaz'); 134 INSERT INTO t1 VALUES(97,1067,33033,NULL,NULL,'tuvwxyzab','fedcbaz'); 135 INSERT INTO t1 VALUES(98,1078,33033,98.098,3303.3,NULL,NULL); 136 INSERT INTO t1 VALUES(99,NULL,NULL,NULL,NULL,NULL,NULL); 137 CREATE INDEX t1b ON t1(b); 138 CREATE INDEX t1c ON t1(c); 139 CREATE INDEX t1d ON t1(d); 140 CREATE INDEX t1e ON t1(e); 141 CREATE INDEX t1f ON t1(f); 142 CREATE INDEX t1g ON t1(g); 143 CREATE TABLE t2(a INTEGER PRIMARY KEY,b,c,d,e,f,g); 144 INSERT INTO t2 SELECT * FROM t1; 145 CREATE INDEX t2b ON t2(b,c); 146 CREATE INDEX t2c ON t2(c,e); 147 CREATE INDEX t2d ON t2(d,g); 148 CREATE INDEX t2e ON t2(e,f,g); 149 CREATE INDEX t2f ON t2(f,b,d,c); 150 CREATE INDEX t2g ON t2(g,f); 151 CREATE TABLE t3(x,y); 152 INSERT INTO t3 VALUES(1,80); 153 INSERT INTO t3 VALUES(2,80); 154 CREATE TABLE t4(a INTEGER PRIMARY KEY,b,c,d,e,f,g); 155 INSERT INTO t4 SELECT * FROM t1; 156 CREATE INDEX t4b ON t4(b); 157 CREATE INDEX t4c ON t4(c); 158 } 159} {} 160 161do_test where9-1.2.1 { 162 count_steps { 163 SELECT a FROM t1 164 WHERE b IS NULL 165 OR c IS NULL 166 OR d IS NULL 167 ORDER BY a 168 } 169} {90 91 92 96 97 99 scan 0 sort 1} 170do_test where9-1.2.2 { 171 count_steps { 172 SELECT a FROM t1 173 WHERE +b IS NULL 174 OR c IS NULL 175 OR d IS NULL 176 ORDER BY a 177 } 178} {90 91 92 96 97 99 scan 98 sort 0} 179do_test where9-1.2.3 { 180 count_steps { 181 SELECT a FROM t1 182 WHERE b IS NULL 183 OR +c IS NULL 184 OR d IS NULL 185 ORDER BY a 186 } 187} {90 91 92 96 97 99 scan 98 sort 0} 188do_test where9-1.2.4 { 189 count_steps { 190 SELECT a FROM t1 191 WHERE b IS NULL 192 OR c IS NULL 193 OR +d IS NULL 194 ORDER BY a 195 } 196} {90 91 92 96 97 99 scan 98 sort 0} 197do_test where9-1.2.5 { 198 count_steps { 199 SELECT a FROM t4 200 WHERE b IS NULL 201 OR c IS NULL 202 OR d IS NULL 203 ORDER BY a 204 } 205} {90 91 92 96 97 99 scan 98 sort 0} 206 207do_test where9-1.3.1 { 208 count_steps { 209 SELECT a FROM t1 210 WHERE (b IS NULL AND c NOT NULL AND d NOT NULL) 211 OR (b NOT NULL AND c IS NULL AND d NOT NULL) 212 OR (b NOT NULL AND c NOT NULL AND d IS NULL) 213 ORDER BY a 214 } 215} {90 91 92 97 scan 0 sort 1} 216do_test where9-1.3.2 { 217 count_steps { 218 SELECT a FROM t4 219 WHERE (b IS NULL AND c NOT NULL AND d NOT NULL) 220 OR (b NOT NULL AND c IS NULL AND d NOT NULL) 221 OR (b NOT NULL AND c NOT NULL AND d IS NULL) 222 ORDER BY a 223 } 224} {90 91 92 97 scan 98 sort 0} 225do_test where9-1.3.3 { 226 count_steps { 227 SELECT a FROM t4 228 WHERE (b NOT NULL AND c NOT NULL AND d IS NULL) 229 OR (b IS NULL AND c NOT NULL AND d NOT NULL) 230 OR (b NOT NULL AND c IS NULL AND d NOT NULL) 231 ORDER BY a 232 } 233} {90 91 92 97 scan 98 sort 0} 234do_test where9-1.3.4 { 235 count_steps { 236 SELECT a FROM t4 237 WHERE (b IS NULL AND c NOT NULL AND d NOT NULL) 238 OR (b NOT NULL AND c NOT NULL AND d IS NULL) 239 OR (b NOT NULL AND c IS NULL AND d NOT NULL) 240 ORDER BY a 241 } 242} {90 91 92 97 scan 98 sort 0} 243 244do_test where9-1.4 { 245 count_steps { 246 SELECT a FROM t1 247 WHERE (b>=950 AND b<=1010) OR (b IS NULL AND c NOT NULL) 248 ORDER BY a 249 } 250} {87 88 89 90 91 scan 0 sort 1} 251do_test where9-1.5 { 252 # When this test was originally written, SQLite used a rowset object 253 # to optimize the "ORDER BY a" clause. Now that it is using a rowhash, 254 # this is not possible. So we have to comment out one term of the OR 255 # expression in order to prevent SQLite from deeming a full-table 256 # scan to be a better strategy than using multiple indexes, which would 257 # defeat the point of the test. 258 count_steps { 259 SELECT a FROM t1 260 WHERE a=83 261 OR b=913 262 OR c=28028 263 OR (d>=82 AND d<83) 264/* OR (e>2802 AND e<2803) */ 265 OR f='fghijklmn' 266 OR g='hgfedcb' 267 ORDER BY a 268 } 269} {5 31 57 82 83 84 85 86 87 scan 0 sort 1} 270do_test where9-1.6 { 271 count_steps { 272 SELECT a FROM t1 273 WHERE b=1012 274 OR (d IS NULL AND e IS NOT NULL) 275 } 276} {92 scan 0 sort 0} 277do_test where9-1.7 { 278 count_steps { 279 SELECT a FROM t1 280 WHERE (b=1012 OR (d IS NULL AND e IS NOT NULL)) 281 AND f!=g 282 } 283} {92 scan 0 sort 0} 284do_test where9-1.8 { 285 count_steps { 286 SELECT a FROM t1 287 WHERE (b=1012 OR (d IS NULL AND e IS NOT NULL)) 288 AND f==g 289 } 290} {scan 0 sort 0} 291 292do_test where9-2.1 { 293 count_steps { 294 SELECT t2.a FROM t1, t2 295 WHERE t1.a=80 296 AND (t1.c=t2.c OR t1.d=t2.d) 297 ORDER BY 1 298 } 299} {79 80 81 scan 0 sort 1} 300do_test where9-2.2 { 301 count_steps { 302 SELECT t2.a FROM t1, t2 303 WHERE t1.a=80 304 AND ((t1.c=t2.c AND t1.d=t2.d) OR t1.f=t2.f) 305 ORDER BY 1 306 } 307} {2 28 54 80 scan 0 sort 1} 308do_test where9-2.3 { 309 count_steps { 310 SELECT coalesce(t2.a,9999) 311 FROM t1 LEFT JOIN t2 ON (t1.c=t2.c AND t1.d=t2.d) OR t1.f=t2.f 312 WHERE t1.a=80 313 ORDER BY 1 314 } 315} {2 28 54 80 scan 0 sort 1} 316do_test where9-2.4 { 317 count_steps { 318 SELECT coalesce(t2.a,9999) 319 FROM t1 LEFT JOIN t2 ON (t1.c+1=t2.c AND t1.d=t2.d) OR (t1.f||'x')=t2.f 320 WHERE t1.a=80 321 ORDER BY 1 322 } 323} {9999 scan 0 sort 1} 324do_test where9-2.5 { 325 count_steps { 326 SELECT t1.a, coalesce(t2.a,9999) 327 FROM t1 LEFT JOIN t2 ON (t1.c=t2.c AND t1.d=t2.d) OR (t1.f)=t2.f 328 WHERE t1.a=80 OR t1.b=880 OR (t1.c=27027 AND round(t1.d)==80) 329 ORDER BY 1 330 } 331} {80 80 80 2 80 28 80 54 scan 0 sort 1} 332do_test where9-2.6 { 333 count_steps { 334 SELECT t1.a, coalesce(t2.a,9999) 335 FROM t1 LEFT JOIN t2 ON (t1.c+1=t2.c AND t1.d=t2.d) OR (t1.f||'x')=t2.f 336 WHERE t1.a=80 OR t1.b=880 OR (t1.c=27027 AND round(t1.d)==80) 337 ORDER BY 1 338 } 339} {80 9999 scan 0 sort 1} 340do_test where9-2.7 { 341 count_steps { 342 SELECT t3.x, t1.a, coalesce(t2.a,9999) 343 FROM t3 JOIN 344 t1 LEFT JOIN t2 ON (t1.c+1=t2.c AND t1.d=t2.d) OR (t1.f||'x')=t2.f 345 WHERE t1.a=t3.y OR t1.b=t3.y*11 OR (t1.c=27027 AND round(t1.d)==80) 346 ORDER BY 1, 2 347 } 348} {1 80 9999 2 80 9999 scan 1 sort 1} 349do_test where9-2.8 { 350 count_steps { 351 SELECT t3.x, t1.a, coalesce(t2.a,9999) 352 FROM t3 JOIN 353 t1 LEFT JOIN t2 ON (t1.c=t2.c AND t1.d=t2.d) OR (t1.f)=t2.f 354 WHERE t1.a=t3.y OR t1.b=t3.y*11 OR (t1.c=27027 AND round(t1.d)==80) 355 ORDER BY 1, 2, 3 356 } 357} {1 80 2 1 80 28 1 80 54 1 80 80 2 80 2 2 80 28 2 80 54 2 80 80 scan 1 sort 1} 358 359 360ifcapable explain { 361 do_test where9-3.1 { 362 set r [db eval { 363 EXPLAIN QUERY PLAN 364 SELECT t2.a FROM t1, t2 365 WHERE t1.a=80 366 AND ((t1.c=t2.c AND t1.d=t2.d) OR t1.f=t2.f) 367 }] 368 set a [expr {[lsearch $r {TABLE t2 VIA MULTI-INDEX UNION}]>=0}] 369 set b [expr {[lsearch $r {TABLE t2 WITH INDEX t2f}]>=0}] 370 set c [expr {([lsearch $r {TABLE t2 WITH INDEX t2c}]>=0)+ 371 [lsearch $r {TABLE t2 WITH INDEX t2d}]>=0}] 372 concat $a $b $c 373 } {1 1 1} 374 do_test where9-3.2 { 375 set r [db eval { 376 EXPLAIN QUERY PLAN 377 SELECT coalesce(t2.a,9999) 378 FROM t1 LEFT JOIN t2 ON (t1.c+1=t2.c AND t1.d=t2.d) OR (t1.f||'x')=t2.f 379 WHERE t1.a=80 380 }] 381 set a [expr {[lsearch $r {TABLE t2 VIA MULTI-INDEX UNION}]>=0}] 382 set b [expr {[lsearch $r {TABLE t2 WITH INDEX t2f}]>=0}] 383 set c [expr {([lsearch $r {TABLE t2 WITH INDEX t2c}]>=0)+ 384 [lsearch $r {TABLE t2 WITH INDEX t2d}]>=0}] 385 concat $a $b $c 386 } {1 1 1} 387} 388 389# Make sure that INDEXED BY and multi-index OR clauses play well with 390# one another. 391# 392do_test where9-4.1 { 393 count_steps { 394 SELECT a FROM t1 395 WHERE b>1000 396 AND (c=31031 OR d IS NULL) 397 ORDER BY +a 398 } 399} {92 93 97 scan 0 sort 1} 400do_test where9-4.2 { 401 count_steps { 402 SELECT a FROM t1 403 WHERE b>1000 404 AND (c=31031 OR +d IS NULL) 405 ORDER BY +a 406 } 407} {92 93 97 scan 0 sort 1} 408do_test where9-4.3 { 409 count_steps { 410 SELECT a FROM t1 411 WHERE +b>1000 412 AND (c=31031 OR d IS NULL) 413 ORDER BY +a 414 } 415} {92 93 97 scan 0 sort 1} 416do_test where9-4.4 { 417 count_steps { 418 SELECT a FROM t1 INDEXED BY t1b 419 WHERE b>1000 420 AND (c=31031 OR d IS NULL) 421 ORDER BY +a 422 } 423} {92 93 97 scan 0 sort 1} 424do_test where9-4.5 { 425 catchsql { 426 SELECT a FROM t1 INDEXED BY t1b 427 WHERE +b>1000 428 AND (c=31031 OR d IS NULL) 429 ORDER BY +a 430 } 431} {1 {cannot use index: t1b}} 432do_test where9-4.6 { 433 count_steps { 434 SELECT a FROM t1 NOT INDEXED 435 WHERE b>1000 436 AND (c=31031 OR d IS NULL) 437 ORDER BY +a 438 } 439} {92 93 97 scan 98 sort 1} 440do_test where9-4.7 { 441 catchsql { 442 SELECT a FROM t1 INDEXED BY t1c 443 WHERE b>1000 444 AND (c=31031 OR d IS NULL) 445 ORDER BY +a 446 } 447} {1 {cannot use index: t1c}} 448do_test where9-4.8 { 449 catchsql { 450 SELECT a FROM t1 INDEXED BY t1d 451 WHERE b>1000 452 AND (c=31031 OR d IS NULL) 453 ORDER BY +a 454 } 455} {1 {cannot use index: t1d}} 456 457ifcapable explain { 458 # The (c=31031 OR d IS NULL) clause is preferred over b>1000 because 459 # the former is an equality test which is expected to return fewer rows. 460 # 461 do_test where9-5.1 { 462 set r [db eval { 463 EXPLAIN QUERY PLAN 464 SELECT a FROM t1 465 WHERE b>1000 466 AND (c=31031 OR d IS NULL) 467 }] 468 set a [expr {[lsearch $r {TABLE t1 VIA MULTI-INDEX UNION}]>=0}] 469 set b [expr {[lsearch $r {TABLE t1 WITH INDEX t1b}]>=0}] 470 concat $a $b 471 } {1 0} 472 473 # In contrast, b=1000 is preferred over any OR-clause. 474 # 475 do_test where9-5.2 { 476 set r [db eval { 477 EXPLAIN QUERY PLAN 478 SELECT a FROM t1 479 WHERE b=1000 480 AND (c=31031 OR d IS NULL) 481 }] 482 set a [expr {[lsearch $r {TABLE t1 VIA MULTI-INDEX UNION}]>=0}] 483 set b [expr {[lsearch $r {TABLE t1 WITH INDEX t1b}]>=0}] 484 concat $a $b 485 } {0 1} 486 487 # Likewise, inequalities in an AND are preferred over inequalities in 488 # an OR. 489 # 490 do_test where9-5.3 { 491 set r [db eval { 492 EXPLAIN QUERY PLAN 493 SELECT a FROM t1 494 WHERE b>1000 495 AND (c>=31031 OR d IS NULL) 496 }] 497 set a [expr {[lsearch $r {TABLE t1 VIA MULTI-INDEX UNION}]>=0}] 498 set b [expr {[lsearch $r {TABLE t1 WITH INDEX t1b}]>=0}] 499 concat $a $b 500 } {0 1} 501} 502 503############################################################################ 504# Make sure OR-clauses work correctly on UPDATE and DELETE statements. 505 506do_test where9-6.2.1 { 507 db eval {SELECT count(*) FROM t1 UNION ALL SELECT a FROM t1 WHERE a>=85} 508} {99 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99} 509 510do_test where9-6.2.2 { ;# Deletes entries 90 91 92 96 97 99 511 count_steps { 512 BEGIN; 513 DELETE FROM t1 514 WHERE b IS NULL 515 OR c IS NULL 516 OR d IS NULL 517 } 518} {scan 0 sort 0} 519 520do_test where9-6.2.3 { 521 db eval { 522 SELECT count(*) FROM t1 UNION ALL 523 SELECT a FROM t1 WHERE a>=85; 524 ROLLBACK; 525 } 526} {93 85 86 87 88 89 93 94 95 98} 527 528do_test where9-6.2.4 { ;# Deletes entries 90 91 92 96 97 99 529 count_steps { 530 BEGIN; 531 DELETE FROM t1 532 WHERE +b IS NULL 533 OR c IS NULL 534 OR d IS NULL 535 } 536} {scan 98 sort 0} 537 538do_test where9-6.2.5 { 539 db eval { 540 SELECT count(*) FROM t1 UNION ALL 541 SELECT a FROM t1 WHERE a>=85; 542 ROLLBACK; 543 } 544} {93 85 86 87 88 89 93 94 95 98} 545 546do_test where9-6.2.6 { 547 count_steps { 548 BEGIN; 549 UPDATE t1 SET a=a+100 550 WHERE (b IS NULL 551 OR c IS NULL 552 OR d IS NULL) 553 AND a!=92 554 AND a!=97 555 } 556} {scan 0 sort 0} ;# Add 100 to entries 90 91 96 99 557 558do_test where9-6.2.7 { 559 db eval { 560 SELECT count(*) FROM t1 UNION ALL 561 SELECT a FROM t1 WHERE a>=85; 562 ROLLBACK 563 } 564} {99 85 86 87 88 89 92 93 94 95 97 98 190 191 196 199} 565 566do_test where9-6.2.8 { ;# Deletes entries 90 91 92 97 99 567 count_steps { 568 BEGIN; 569 DELETE FROM t1 570 WHERE (b IS NULL 571 OR c IS NULL 572 OR d IS NULL) 573 AND a!=96 574 } 575} {scan 0 sort 0} 576 577do_test where9-6.2.9 { 578 db eval { 579 SELECT count(*) FROM t1 UNION ALL SELECT a FROM t1 WHERE a>=85; 580 ROLLBACK; 581 } 582} {94 85 86 87 88 89 93 94 95 96 98} 583 584do_test where9-6.3.1 { 585 count_steps { 586 BEGIN; 587 DELETE FROM t1 588 WHERE (b IS NULL AND c NOT NULL AND d NOT NULL) 589 OR (b NOT NULL AND c IS NULL AND d NOT NULL) 590 OR (b NOT NULL AND c NOT NULL AND d IS NULL) 591 } 592} {scan 0 sort 0} ;# DELETEs rows 90 91 92 97 593do_test where9-6.3.2 { 594 db eval { 595 SELECT count(*) FROM t1 UNION ALL 596 SELECT a FROM t1 WHERE a BETWEEN 85 AND 100; 597 ROLLBACK; 598 } 599} {95 85 86 87 88 89 93 94 95 96 98 99} 600 601do_test where9-6.3.3 { 602 count_steps { 603 BEGIN; 604 UPDATE t1 SET a=a+100 605 WHERE (b IS NULL AND c NOT NULL AND d NOT NULL) 606 OR (b NOT NULL AND c IS NULL AND d NOT NULL) 607 OR (b NOT NULL AND c NOT NULL AND d IS NULL) 608 } 609} {scan 0 sort 0} ;# Add 100 to rowids 90 91 92 97 610do_test where9-6.3.4 { 611 db eval { 612 SELECT count(*) FROM t1 UNION ALL 613 SELECT a FROM t1 WHERE a BETWEEN 85 AND 200; 614 ROLLBACK; 615 } 616} {99 85 86 87 88 89 93 94 95 96 98 99 190 191 192 197} 617 618do_test where9-6.3.5 { 619 count_steps { 620 BEGIN; 621 DELETE FROM t1 622 WHERE (+b IS NULL AND c NOT NULL AND d NOT NULL) 623 OR (b NOT NULL AND c IS NULL AND d NOT NULL) 624 OR (b NOT NULL AND c NOT NULL AND d IS NULL) 625 } 626} {scan 98 sort 0} ;# DELETEs rows 90 91 92 97 627do_test where9-6.3.6 { 628 db eval { 629 SELECT count(*) FROM t1 UNION ALL 630 SELECT a FROM t1 WHERE a BETWEEN 85 AND 100; 631 ROLLBACK; 632 } 633} {95 85 86 87 88 89 93 94 95 96 98 99} 634 635do_test where9-6.3.7 { 636 count_steps { 637 BEGIN; 638 UPDATE t1 SET a=a+100 639 WHERE (b IS NULL AND c NOT NULL AND d NOT NULL) 640 OR (b NOT NULL AND +c IS NULL AND d NOT NULL) 641 OR (b NOT NULL AND c NOT NULL AND d IS NULL) 642 } 643} {scan 98 sort 0} ;# Add 100 to rowids 90 91 92 97 644do_test where9-6.3.8 { 645 db eval { 646 SELECT count(*) FROM t1 UNION ALL 647 SELECT a FROM t1 WHERE a BETWEEN 85 AND 100; 648 ROLLBACK; 649 } 650} {99 85 86 87 88 89 93 94 95 96 98 99} 651 652 653do_test where9-6.4.1 { 654 count_steps { 655 BEGIN; 656 DELETE FROM t1 657 WHERE (b>=950 AND b<=1010) OR (b IS NULL AND c NOT NULL) 658 } 659} {scan 0 sort 0} ;# DELETE rows 87 88 89 90 91 660do_test where9-6.4.2 { 661 db eval { 662 SELECT count(*) FROM t1 UNION ALL 663 SELECT a FROM t1 WHERE a BETWEEN 85 AND 100; 664 ROLLBACK; 665 } 666} {94 85 86 92 93 94 95 96 97 98 99} 667do_test where9-6.4.3 { 668 count_steps { 669 BEGIN; 670 UPDATE t1 SET a=a+100 671 WHERE (b>=950 AND b<=1010) OR (b IS NULL AND c NOT NULL) 672 } 673} {scan 0 sort 0} ;# Add 100 to rowids 87 88 89 90 91 674do_test where9-6.4.4 { 675 db eval { 676 SELECT count(*) FROM t1 UNION ALL 677 SELECT a FROM t1 WHERE a BETWEEN 85 AND 100; 678 ROLLBACK; 679 } 680} {99 85 86 92 93 94 95 96 97 98 99} 681 682 683do_test where9-6.5.1 { 684 count_steps { 685 BEGIN; 686 DELETE FROM t1 687 WHERE a=83 688 OR b=913 689 OR c=28028 690 OR (d>=82 AND d<83) 691 OR (e>2802 AND e<2803) 692 OR f='fghijklmn' 693 OR g='hgfedcb' 694 } 695} {scan 0 sort 0} ;# DELETE rows 5 31 57 82 83 84 85 86 87 696do_test where9-6.5.2 { 697 db eval { 698 SELECT count(*) FROM t1 UNION ALL 699 SELECT a FROM t1 WHERE a IN (5,31,57,82,83,84,85,86,87); 700 ROLLBACK; 701 } 702} {90} 703 704do_test where9-6.5.3 { 705 count_steps { 706 BEGIN; 707 UPDATE t1 SET a=a+100 708 WHERE a=83 709 OR b=913 710 OR c=28028 711 OR (d>=82 AND d<83) 712 OR (e>2802 AND e<2803) 713 OR f='fghijklmn' 714 OR g='hgfedcb' 715 } 716} {scan 0 sort 0} ;# Add 100 to rowids 5 31 57 82 83 84 85 86 87 717do_test where9-6.5.4 { 718 db eval { 719 SELECT count(*) FROM t1 UNION ALL 720 SELECT a FROM t1 WHERE a%100 IN (5,31,57,82,83,84,85,86,87); 721 ROLLBACK; 722 } 723} {99 105 131 157 182 183 184 185 186 187} 724 725do_test where9-6.6.1 { 726 count_steps { 727 BEGIN; 728 DELETE FROM t1 729 WHERE (b IS NULL AND c NOT NULL AND d NOT NULL) 730 OR (b NOT NULL AND +c IS NULL AND d NOT NULL) 731 OR (b NOT NULL AND c NOT NULL AND d IS NULL) 732 } 733} {scan 98 sort 0} ;# DELETEs rows 90 91 92 97 734do_test where9-6.6.2 { 735 db eval { 736 SELECT count(*) FROM t1 UNION ALL 737 SELECT a FROM t1 WHERE a BETWEEN 85 AND 100; 738 ROLLBACK; 739 } 740} {95 85 86 87 88 89 93 94 95 96 98 99} 741 742do_test where9-6.6.3 { 743 count_steps { 744 BEGIN; 745 UPDATE t1 SET a=a+100 746 WHERE (b IS NULL AND c NOT NULL AND d NOT NULL) 747 OR (b NOT NULL AND +c IS NULL AND d NOT NULL) 748 OR (b NOT NULL AND c NOT NULL AND d IS NULL) 749 } 750} {scan 98 sort 0} ;# Add 100 to rowids 90 91 92 97 751do_test where9-6.6.4 { 752 db eval { 753 SELECT count(*) FROM t1 UNION ALL 754 SELECT a FROM t1 WHERE a BETWEEN 85 AND 200; 755 ROLLBACK; 756 } 757} {99 85 86 87 88 89 93 94 95 96 98 99 190 191 192 197} 758 759do_test where9-6.7.1 { 760 count_steps { 761 BEGIN; 762 DELETE FROM t1 NOT INDEXED 763 WHERE (b IS NULL AND c NOT NULL AND d NOT NULL) 764 OR (b NOT NULL AND c IS NULL AND d NOT NULL) 765 OR (b NOT NULL AND c NOT NULL AND d IS NULL) 766 } 767} {scan 98 sort 0} ;# DELETEs rows 90 91 92 97 768do_test where9-6.7.2 { 769 db eval { 770 SELECT count(*) FROM t1 UNION ALL 771 SELECT a FROM t1 WHERE a BETWEEN 85 AND 100; 772 ROLLBACK; 773 } 774} {95 85 86 87 88 89 93 94 95 96 98 99} 775 776do_test where9-6.7.3 { 777 count_steps { 778 BEGIN; 779 UPDATE t1 NOT INDEXED SET a=a+100 780 WHERE (b IS NULL AND c NOT NULL AND d NOT NULL) 781 OR (b NOT NULL AND c IS NULL AND d NOT NULL) 782 OR (b NOT NULL AND c NOT NULL AND d IS NULL) 783 } 784} {scan 98 sort 0} ;# Add 100 to rowids 90 91 92 97 785do_test where9-6.7.4 { 786 db eval { 787 SELECT count(*) FROM t1 UNION ALL 788 SELECT a FROM t1 WHERE a BETWEEN 85 AND 200; 789 ROLLBACK; 790 } 791} {99 85 86 87 88 89 93 94 95 96 98 99 190 191 192 197} 792 793do_test where9-6.8.1 { 794 catchsql { 795 DELETE FROM t1 INDEXED BY t1b 796 WHERE (b IS NULL AND c NOT NULL AND d NOT NULL) 797 OR (b NOT NULL AND c IS NULL AND d NOT NULL) 798 OR (b NOT NULL AND c NOT NULL AND d IS NULL) 799 } 800} {1 {cannot use index: t1b}} 801do_test where9-6.8.2 { 802 catchsql { 803 UPDATE t1 INDEXED BY t1b SET a=a+100 804 WHERE (b IS NULL AND c NOT NULL AND d NOT NULL) 805 OR (b NOT NULL AND c IS NULL AND d NOT NULL) 806 OR (b NOT NULL AND c NOT NULL AND d IS NULL) 807 } 808} {1 {cannot use index: t1b}} 809 810finish_test 811