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