Annotation of embedaddon/sqlite3/test/where8.test, revision 1.1.1.1
1.1 misho 1: # 2008 December 23
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 focus
12: # is testing of where.c. More specifically, the focus is the optimization
13: # of WHERE clauses that feature the OR operator.
14: #
15: # $Id: where8.test,v 1.9 2009/07/31 06:14:52 danielk1977 Exp $
16:
17: set testdir [file dirname $argv0]
18: source $testdir/tester.tcl
19:
20: # Test organization:
21: #
22: # where8-1.*: Tests to demonstrate simple cases work with a single table
23: # in the FROM clause.
24: #
25: # where8-2.*: Tests surrounding virtual tables and the OR optimization.
26: #
27: # where8-3.*: Tests with more than one table in the FROM clause.
28: #
29:
30: proc execsql_status {sql {db db}} {
31: set result [uplevel $db eval [list $sql]]
32: concat $result [db status step] [db status sort]
33: }
34:
35: proc execsql_status2 {sql {db db}} {
36: set ::sqlite_search_count 0
37: set result [uplevel [list execsql_status $sql $db]]
38: concat $result $::sqlite_search_count
39: }
40:
41: do_test where8-1.1 {
42: execsql {
43: CREATE TABLE t1(a, b TEXT, c);
44: CREATE INDEX i1 ON t1(a);
45: CREATE INDEX i2 ON t1(b);
46:
47: INSERT INTO t1 VALUES(1, 'one', 'I');
48: INSERT INTO t1 VALUES(2, 'two', 'II');
49: INSERT INTO t1 VALUES(3, 'three', 'III');
50: INSERT INTO t1 VALUES(4, 'four', 'IV');
51: INSERT INTO t1 VALUES(5, 'five', 'V');
52: INSERT INTO t1 VALUES(6, 'six', 'VI');
53: INSERT INTO t1 VALUES(7, 'seven', 'VII');
54: INSERT INTO t1 VALUES(8, 'eight', 'VIII');
55: INSERT INTO t1 VALUES(9, 'nine', 'IX');
56: INSERT INTO t1 VALUES(10, 'ten', 'X');
57: }
58: } {}
59:
60: do_test where8-1.2 {
61: execsql_status2 { SELECT c FROM t1 WHERE a = 1 OR b = 'nine' }
62: } {I IX 0 0 6}
63:
64: do_test where8-1.3 {
65: execsql_status2 { SELECT c FROM t1 WHERE a > 8 OR b = 'two' }
66: } {IX X II 0 0 6}
67:
68: do_test where8-1.4 {
69: execsql_status2 { SELECT c FROM t1 WHERE a > 8 OR b GLOB 't*' }
70: } {IX X III II 0 0 9}
71:
72: do_test where8-1.5 {
73: execsql_status2 { SELECT c FROM t1 WHERE a > 8 OR b GLOB 'f*' }
74: } {IX X V IV 0 0 9}
75:
76: do_test where8-1.6 {
77: execsql_status { SELECT c FROM t1 WHERE a = 1 OR b = 'three' ORDER BY rowid }
78: } {I III 0 1}
79:
80: do_test where8-1.7 {
81: execsql_status { SELECT c FROM t1 WHERE a = 1 OR b = 'three' ORDER BY a }
82: } {I III 0 1}
83:
84: do_test where8-1.8 {
85: # 18 searches. 9 on the index cursor and 9 on the table cursor.
86: execsql_status2 { SELECT c FROM t1 WHERE a > 1 AND c LIKE 'I%' }
87: } {II III IV IX 0 0 18}
88:
89: do_test where8-1.9 {
90: execsql_status2 { SELECT c FROM t1 WHERE a >= 9 OR b <= 'eight' }
91: } {IX X VIII 0 0 6}
92:
93: do_test where8-1.10 {
94: execsql_status2 {
95: SELECT c FROM t1 WHERE (a >= 9 AND c != 'X') OR b <= 'eight'
96: }
97: } {IX VIII 0 0 6}
98:
99: do_test where8-1.11 {
100: execsql_status2 {
101: SELECT c FROM t1 WHERE (a >= 4 AND a <= 6) OR b = 'nine'
102: }
103: } {IV V VI IX 0 0 10}
104:
105: do_test where8-1.12.1 {
106: execsql_status2 {
107: SELECT c FROM t1 WHERE a IN(1, 2, 3) OR a = 5
108: }
109: } {I II III V 0 0 14}
110:
111: do_test where8-1.12.2 {
112: execsql_status2 {
113: SELECT c FROM t1 WHERE +a IN(1, 2, 3) OR +a = 5
114: }
115: } {I II III V 9 0 9}
116:
117: do_test where8-1.13 {
118: execsql_status2 {
119: SELECT c FROM t1
120: WHERE a = 2 OR b = 'three' OR a = 4 OR b = 'five' OR a = 6
121: ORDER BY rowid
122: }
123: } {II III IV V VI 0 1 18}
124: do_test where8-1.14 {
125: execsql_status2 {
126: SELECT c FROM t1
127: WHERE
128: a = 2 OR b = 'three' OR a = 4 OR b = 'five' OR a = 6 OR
129: b = 'seven' OR a = 8 OR b = 'nine' OR a = 10
130: ORDER BY rowid
131: }
132: } {II III IV V VI VII VIII IX X 0 1 33}
133:
134: do_test where8-1.15 {
135: execsql_status2 {
136: SELECT c FROM t1 WHERE
137: a BETWEEN 2 AND 4 OR b = 'nine'
138: ORDER BY rowid
139: }
140: } {II III IV IX 0 1 12}
141:
142:
143: #--------------------------------------------------------------------------
144: # Tests where8-2.*: Virtual tables
145: #
146:
147: if 0 {
148: ifcapable vtab {
149: # Register the 'echo' module used for testing virtual tables.
150: #
151: register_echo_module [sqlite3_connection_pointer db]
152:
153: do_test where8-2.1 {
154: execsql {
155: CREATE VIRTUAL TABLE e1 USING echo(t1);
156: SELECT b FROM e1;
157: }
158: } {one two three four five six seven eight nine ten}
159:
160: do_test where8-2.2.1 {
161: set echo_module ""
162: execsql {
163: SELECT c FROM e1 WHERE a=1 OR b='three';
164: }
165: } {I III}
166: do_test where8-2.2.2 {
167: set echo_module
168: } {TODO: What should this be?}
169: }
170: }
171:
172: #--------------------------------------------------------------------------
173: # Tests where8-3.*: Cases with multiple tables in the FROM clause.
174: #
175: do_test where8-3.1 {
176: execsql {
177: CREATE TABLE t2(d, e, f);
178: CREATE INDEX i3 ON t2(d);
179: CREATE INDEX i4 ON t2(e);
180:
181: INSERT INTO t2 VALUES(1, NULL, 'I');
182: INSERT INTO t2 VALUES(2, 'four', 'IV');
183: INSERT INTO t2 VALUES(3, NULL, 'IX');
184: INSERT INTO t2 VALUES(4, 'sixteen', 'XVI');
185: INSERT INTO t2 VALUES(5, NULL, 'XXV');
186: INSERT INTO t2 VALUES(6, 'thirtysix', 'XXXVI');
187: INSERT INTO t2 VALUES(7, 'fortynine', 'XLIX');
188: INSERT INTO t2 VALUES(8, 'sixtyeight', 'LXIV');
189: INSERT INTO t2 VALUES(9, 'eightyone', 'LXXXIX');
190: INSERT INTO t2 VALUES(10, NULL, 'C');
191: }
192: } {}
193:
194: do_test where8-3.2 {
195: execsql_status {
196: SELECT a, d FROM t1, t2 WHERE b=e
197: }
198: } {4 2 9 0}
199:
200: do_test where8-3.3 {
201: execsql_status {
202: SELECT a, d FROM t1, t2 WHERE (a = 2 OR a = 3) AND d = 6
203: }
204: } {2 6 3 6 0 0}
205:
206: do_test where8-3.4 {
207: execsql_status {
208: SELECT a, d FROM t1, t2 WHERE (a = 2 OR a = 3) AND d = a
209: }
210: } {2 2 3 3 0 0}
211:
212: do_test where8-3.5 {
213: execsql_status {
214: SELECT a, d FROM t1, t2 WHERE (a = 2 OR a = 3) AND (d = a OR e = 'sixteen')
215: }
216: } {2 2 2 4 3 3 3 4 0 0}
217:
218: do_test where8-3.6 {
219: # The first part of the WHERE clause in this query, (a=2 OR a=3) is
220: # transformed into "a IN (2, 3)". This is why the sort is required.
221: #
222: execsql_status {
223: SELECT a, d
224: FROM t1, t2
225: WHERE (a = 2 OR a = 3) AND (d = a OR e = 'sixteen')
226: ORDER BY t1.rowid
227: }
228: } {2 2 2 4 3 3 3 4 0 1}
229: do_test where8-3.7 {
230: execsql_status {
231: SELECT a, d
232: FROM t1, t2
233: WHERE a = 2 AND (d = a OR e = 'sixteen')
234: ORDER BY t1.rowid
235: }
236: } {2 2 2 4 0 0}
237: do_test where8-3.8 {
238: execsql_status {
239: SELECT a, d
240: FROM t1, t2
241: WHERE (a = 2 OR b = 'three') AND (d = a OR e = 'sixteen')
242: ORDER BY t1.rowid
243: }
244: } {2 2 2 4 3 3 3 4 0 1}
245:
246: do_test where8-3.9 {
247: # The "OR c = 'IX'" term forces a linear scan.
248: execsql_status {
249: SELECT a, d
250: FROM t1, t2
251: WHERE (a = 2 OR b = 'three' OR c = 'IX') AND (d = a OR e = 'sixteen')
252: ORDER BY t1.rowid
253: }
254: } {2 2 2 4 3 3 3 4 9 9 9 4 9 0}
255:
256: do_test where8-3.10 {
257: execsql_status {
258: SELECT d FROM t2 WHERE e IS NULL OR e = 'four'
259: }
260: } {1 3 5 10 2 0 0}
261:
262: do_test where8-3.11 {
263: execsql_status {
264: SELECT a, d FROM t1, t2 WHERE (a=d OR b=e) AND a<5 ORDER BY a
265: }
266: } {1 1 2 2 3 3 4 2 4 4 0 0}
267: do_test where8-3.12 {
268: execsql_status {
269: SELECT a, d FROM t1, t2 WHERE (a=d OR b=e) AND +a<5 ORDER BY a
270: }
271: } {1 1 2 2 3 3 4 2 4 4 0 0}
272: do_test where8-3.13 {
273: execsql_status {
274: SELECT a, d FROM t1, t2 WHERE (a=d OR b=e) AND +a<5
275: }
276: } {1 1 2 2 3 3 4 2 4 4 9 0}
277:
278: do_test where8-3.14 {
279: execsql_status {
280: SELECT c FROM t1 WHERE a > (SELECT d FROM t2 WHERE e = b) OR a = 5
281: }
282: } {IV V 9 0}
283:
284: do_test where8-3.15 {
285: execsql_status {
286: SELECT c FROM t1, t2 WHERE a BETWEEN 1 AND 2 OR a = (
287: SELECT sum(e IS NULL) FROM t2 AS inner WHERE t2.d>inner.d
288: )
289: ORDER BY c
290: }
291: } {I I I I I I I I I I II II II II II II II II II II III III III III III 9 1}
292:
293: #-----------------------------------------------------------------------
294: # The following tests - where8-4.* - verify that adding or removing
295: # indexes does not change the results returned by various queries.
296: #
297: do_test where8-4.1 {
298: execsql {
299: BEGIN;
300: CREATE TABLE t3(a INTEGER, b REAL, c TEXT);
301: CREATE TABLE t4(f INTEGER, g REAL, h TEXT);
302: INSERT INTO t3 VALUES('hills', NULL, 1415926535);
303: INSERT INTO t3 VALUES('and', 'of', NULL);
304: INSERT INTO t3 VALUES('have', 'towering', 53594.08128);
305: INSERT INTO t3 VALUES(NULL, 45.64856692, 'Not');
306: INSERT INTO t3 VALUES('same', 5028841971, NULL);
307: INSERT INTO t3 VALUES('onlookers', 'in', 8214808651);
308: INSERT INTO t3 VALUES(346.0348610, 2643383279, NULL);
309: INSERT INTO t3 VALUES(1415926535, 'of', 'are');
310: INSERT INTO t3 VALUES(NULL, 0.4811174502, 'snapshots');
311: INSERT INTO t3 VALUES('over', 'the', 8628034825);
312: INSERT INTO t3 VALUES(8628034825, 66.59334461, 2847564.823);
313: INSERT INTO t3 VALUES('onlookers', 'same', 'and');
314: INSERT INTO t3 VALUES(NULL, 'light', 6939937510);
315: INSERT INTO t3 VALUES('from', 'their', 'viewed');
316: INSERT INTO t3 VALUES('from', 'Alpine', 'snapshots');
317: INSERT INTO t3 VALUES('from', 'sometimes', 'unalike');
318: INSERT INTO t3 VALUES(1339.360726, 'light', 'have');
319: INSERT INTO t3 VALUES(6939937510, 3282306647, 'other');
320: INSERT INTO t3 VALUES('paintings', 8628034825, 'all');
321: INSERT INTO t3 VALUES('paintings', NULL, 'same');
322: INSERT INTO t3 VALUES('Alpine', 378678316.5, 'unalike');
323: INSERT INTO t3 VALUES('Alpine', NULL, 'same');
324: INSERT INTO t3 VALUES(1339.360726, 2847564.823, 'over');
325: INSERT INTO t3 VALUES('villages', 'their', 'have');
326: INSERT INTO t3 VALUES('unalike', 'remarkably', 'in');
327: INSERT INTO t3 VALUES('and', 8979323846, 'and');
328: INSERT INTO t3 VALUES(NULL, 1415926535, 'an');
329: INSERT INTO t3 VALUES(271.2019091, 8628034825, 0.4811174502);
330: INSERT INTO t3 VALUES('all', 3421170679, 'the');
331: INSERT INTO t3 VALUES('Not', 'and', 1415926535);
332: INSERT INTO t3 VALUES('of', 'other', 'light');
333: INSERT INTO t3 VALUES(NULL, 'towering', 'Not');
334: INSERT INTO t3 VALUES(346.0348610, NULL, 'other');
335: INSERT INTO t3 VALUES('Not', 378678316.5, NULL);
336: INSERT INTO t3 VALUES('snapshots', 8628034825, 'of');
337: INSERT INTO t3 VALUES(3282306647, 271.2019091, 'and');
338: INSERT INTO t3 VALUES(50.58223172, 378678316.5, 5028841971);
339: INSERT INTO t3 VALUES(50.58223172, 2643383279, 'snapshots');
340: INSERT INTO t3 VALUES('writings', 8979323846, 8979323846);
341: INSERT INTO t3 VALUES('onlookers', 'his', 'in');
342: INSERT INTO t3 VALUES('unalike', 8628034825, 1339.360726);
343: INSERT INTO t3 VALUES('of', 'Alpine', 'and');
344: INSERT INTO t3 VALUES('onlookers', NULL, 'from');
345: INSERT INTO t3 VALUES('writings', 'it', 1339.360726);
346: INSERT INTO t3 VALUES('it', 'and', 'villages');
347: INSERT INTO t3 VALUES('an', 'the', 'villages');
348: INSERT INTO t3 VALUES(8214808651, 8214808651, 'same');
349: INSERT INTO t3 VALUES(346.0348610, 'light', 1415926535);
350: INSERT INTO t3 VALUES(NULL, 8979323846, 'and');
351: INSERT INTO t3 VALUES(NULL, 'same', 1339.360726);
352: INSERT INTO t4 VALUES('his', 'from', 'an');
353: INSERT INTO t4 VALUES('snapshots', 'or', NULL);
354: INSERT INTO t4 VALUES('Alpine', 'have', 'it');
355: INSERT INTO t4 VALUES('have', 'peak', 'remarkably');
356: INSERT INTO t4 VALUES('hills', NULL, 'Not');
357: INSERT INTO t4 VALUES('same', 'from', 2643383279);
358: INSERT INTO t4 VALUES('have', 'angle', 8628034825);
359: INSERT INTO t4 VALUES('sometimes', 'it', 2847564.823);
360: INSERT INTO t4 VALUES(0938446095, 'peak', 'of');
361: INSERT INTO t4 VALUES(8628034825, 'and', 'same');
362: INSERT INTO t4 VALUES('and', 271.2019091, 'their');
363: INSERT INTO t4 VALUES('the', 'of', 'remarkably');
364: INSERT INTO t4 VALUES('and', 3421170679, 1415926535);
365: INSERT INTO t4 VALUES('and', 'in', 'all');
366: INSERT INTO t4 VALUES(378678316.5, 0.4811174502, 'snapshots');
367: INSERT INTO t4 VALUES('it', 'are', 'have');
368: INSERT INTO t4 VALUES('angle', 'snapshots', 378678316.5);
369: INSERT INTO t4 VALUES('from', 1415926535, 8628034825);
370: INSERT INTO t4 VALUES('snapshots', 'angle', 'have');
371: INSERT INTO t4 VALUES(3421170679, 0938446095, 'Not');
372: INSERT INTO t4 VALUES('peak', NULL, 0.4811174502);
373: INSERT INTO t4 VALUES('same', 'have', 'Alpine');
374: INSERT INTO t4 VALUES(271.2019091, 66.59334461, 0938446095);
375: INSERT INTO t4 VALUES(8979323846, 'his', 'an');
376: INSERT INTO t4 VALUES(NULL, 'and', 3282306647);
377: INSERT INTO t4 VALUES('remarkably', NULL, 'Not');
378: INSERT INTO t4 VALUES('villages', 4543.266482, 'his');
379: INSERT INTO t4 VALUES(2643383279, 'paintings', 'onlookers');
380: INSERT INTO t4 VALUES(1339.360726, 'of', 'the');
381: INSERT INTO t4 VALUES('peak', 'other', 'peak');
382: INSERT INTO t4 VALUES('it', 'or', 8979323846);
383: INSERT INTO t4 VALUES('onlookers', 'Not', 'towering');
384: INSERT INTO t4 VALUES(NULL, 'peak', 'Not');
385: INSERT INTO t4 VALUES('of', 'have', 6939937510);
386: INSERT INTO t4 VALUES('light', 'hills', 0.4811174502);
387: INSERT INTO t4 VALUES(5028841971, 'Not', 'it');
388: INSERT INTO t4 VALUES('and', 'Not', NULL);
389: INSERT INTO t4 VALUES(346.0348610, 'villages', NULL);
390: INSERT INTO t4 VALUES(8979323846, NULL, 6939937510);
391: INSERT INTO t4 VALUES('an', 'light', 'peak');
392: INSERT INTO t4 VALUES(5028841971, 6939937510, 'light');
393: INSERT INTO t4 VALUES('sometimes', 'peak', 'peak');
394: INSERT INTO t4 VALUES(378678316.5, 5028841971, 'an');
395: INSERT INTO t4 VALUES(378678316.5, 'his', 'Alpine');
396: INSERT INTO t4 VALUES('from', 'of', 'all');
397: INSERT INTO t4 VALUES(0938446095, 'same', NULL);
398: INSERT INTO t4 VALUES(0938446095, 'Alpine', NULL);
399: INSERT INTO t4 VALUES('his', 'of', 378678316.5);
400: INSERT INTO t4 VALUES(271.2019091, 'viewed', 3282306647);
401: INSERT INTO t4 VALUES('hills', 'all', 'peak');
402: CREATE TABLE t5(s);
403: INSERT INTO t5 VALUES('tab-t5');
404: CREATE TABLE t6(t);
405: INSERT INTO t6 VALUES(123456);
406: COMMIT;
407: }
408: } {}
409:
410: catch {unset results}
411: catch {unset A}
412: catch {unset B}
413:
414: set A 2
415: foreach idxsql {
416: {
417: /* No indexes */
418: } {
419: CREATE INDEX i5 ON t3(a);
420: } {
421: CREATE INDEX i5 ON t3(a, b);
422: CREATE INDEX i6 ON t4(f);
423: } {
424: CREATE UNIQUE INDEX i5 ON t3(a, b);
425: CREATE INDEX i7 ON t3(c);
426: CREATE INDEX i6 ON t4(f);
427: CREATE INDEX i8 ON t4(h);
428: } {
429: CREATE INDEX i5 ON t3(a, b, c);
430: CREATE INDEX i6 ON t4(f, g, h);
431: CREATE INDEX i7 ON t3(c, b, a);
432: CREATE INDEX i8 ON t4(h, g, f);
433: }
434: } {
435:
436: execsql {
437: DROP INDEX IF EXISTS i5;
438: DROP INDEX IF EXISTS i6;
439: DROP INDEX IF EXISTS i7;
440: DROP INDEX IF EXISTS i8;
441: }
442: execsql $idxsql
443:
444: foreach {B sql} {
445: 1 { SELECT * FROM t3 WHERE c LIKE b }
446: 2 { SELECT * FROM t3 WHERE c||'' LIKE 'the%' }
447: 3 { SELECT * FROM t3 WHERE rowid LIKE '12%' }
448: 4 { SELECT * FROM t3 WHERE +c LIKE 'the%' }
449: 5 { SELECT * FROM t3 WHERE c LIKE 'the%' }
450: 6 { SELECT * FROM t3 WHERE c GLOB '*llo' }
451:
452: 7 { SELECT * FROM t3 WHERE a = 'angle' }
453: 8 { SELECT * FROM t3 WHERE a = 'it' OR b = 6939937510 }
454: 9 { SELECT * FROM t3, t4 WHERE a = 'painting' OR a = 'are' OR a = f }
455: 10 { SELECT * FROM t3, t4 WHERE a = 'all' OR a = 'and' OR a = h }
456: 11 { SELECT * FROM t3, t4 WHERE a < 'of' OR b > 346 AND c IS NULL }
457: 12 { SELECT * FROM t3, t4 WHERE 'the' > a OR b > 'have' AND c = 1415926535 }
458:
459: 13 { SELECT * FROM t3 WHERE a BETWEEN 'one' AND 'two' OR a = 3421170679 }
460: 14 { SELECT * FROM t3 WHERE a BETWEEN 'one' AND 'two' OR a IS NULL }
461: 15 { SELECT * FROM t3 WHERE c > 'one' OR c >= 'one' OR c LIKE 'one%' }
462: 16 { SELECT * FROM t3 WHERE c > 'one' OR c = c OR c = a }
463: 17 { SELECT * FROM t3 WHERE c IS NULL OR a >= 'peak' }
464: 18 { SELECT * FROM t3 WHERE c IN ('other', 'all', 'snapshots') OR a>1 }
465: 19 { SELECT * FROM t3 WHERE c IN ('other', 'all', 'snapshots') AND a>1 }
466: 20 { SELECT * FROM t3 WHERE c IS NULL AND a>'one' }
467: 21 { SELECT * FROM t3 WHERE c IS NULL OR a>'one' }
468: 22 { SELECT * FROM t3 WHERE b = b AND a > 'are' }
469: 23 { SELECT * FROM t3 WHERE c <= b OR b < 'snapshots' }
470: 24 { SELECT * FROM t3 WHERE 'onlookers' >= c AND a <= b OR b = 'angle' }
471: 25 { SELECT * FROM t3 WHERE b = 'from' }
472: 26 { SELECT * FROM t3 WHERE b = 4543.266482 }
473: 27 { SELECT * FROM t3 WHERE c < 3282306647 }
474: 28 { SELECT * FROM t3 WHERE c IS NULL AND b >= c }
475: 29 { SELECT * FROM t3 WHERE b > 0.4811174502 AND c = 'other' AND 'viewed' > a }
476: 30 { SELECT * FROM t3 WHERE c = 'peak' }
477: 31 { SELECT * FROM t3 WHERE c < 53594.08128 OR c <= b }
478: 32 { SELECT * FROM t3 WHERE 'writings' <= b }
479: 33 { SELECT * FROM t3 WHERE 2643383279 = b OR c < b AND b <= 3282306647 }
480: 34 { SELECT * FROM t3 WHERE a IS NULL }
481: 35 { SELECT * FROM t3 WHERE 'writings' = a OR b = 378678316.5 }
482: 36 { SELECT * FROM t3 WHERE 'and' >= c }
483: 37 { SELECT * FROM t3 WHERE c < 'from' }
484: 38 { SELECT * FROM t3 WHERE 'his' < c OR b < b }
485: 39 { SELECT * FROM t3 WHERE 53594.08128 = b AND c >= b }
486: 40 { SELECT * FROM t3 WHERE 'unalike' < c AND 'are' >= c AND a <= b }
487: 41 { SELECT * FROM t3 WHERE b >= 4543.266482 OR 'Alpine' > a OR 271.2019091 <= a }
488: 42 { SELECT * FROM t3 WHERE b = c }
489: 43 { SELECT * FROM t3 WHERE c > a AND b < 'all' }
490: 44 { SELECT * FROM t3 WHERE c BETWEEN 'hills' AND 'snapshots' AND c <= 'the' OR c = a }
491: 45 { SELECT * FROM t3 WHERE b > c AND c >= 'hills' }
492: 46 { SELECT * FROM t3 WHERE b > 'or' OR a <= 'hills' OR c IS NULL }
493: 47 { SELECT * FROM t3 WHERE c > b OR b BETWEEN 1339.360726 AND 'onlookers' OR 1415926535 >= b }
494: 48 { SELECT * FROM t3 WHERE a IS NULL }
495: 49 { SELECT * FROM t3 WHERE a > 'other' }
496: 50 { SELECT * FROM t3 WHERE 'the' <= c AND a <= c }
497: 51 { SELECT * FROM t3 WHERE 346.0348610 = a AND c = b }
498: 52 { SELECT * FROM t3 WHERE c BETWEEN 50.58223172 AND 'same' AND a < b }
499: 53 { SELECT * FROM t3 WHERE 'Alpine' <= b AND c >= 'angle' OR b <= 271.2019091 }
500: 54 { SELECT * FROM t3 WHERE a < a AND 1415926535 > b }
501: 55 { SELECT * FROM t3 WHERE c > a AND 'have' >= c }
502: 56 { SELECT * FROM t3 WHERE b <= b AND c > b }
503: 57 { SELECT * FROM t3 WHERE a IS NULL AND c <= c }
504: 58 { SELECT * FROM t3 WHERE b < c OR b = c }
505: 59 { SELECT * FROM t3 WHERE c < b AND b >= 'it' }
506: 60 { SELECT * FROM t3 WHERE a = b AND a <= b OR b >= a }
507: 61 { SELECT * FROM t3 WHERE b = c }
508: 62 { SELECT * FROM t3 WHERE c BETWEEN 'the' AND 271.2019091 OR c <= 3282306647 AND c >= b }
509: 63 { SELECT * FROM t3 WHERE c >= c AND c < 'writings' }
510: 64 { SELECT * FROM t3 WHERE c <= 3282306647 AND b > a OR 'unalike' <= a }
511: 65 { SELECT * FROM t3 WHERE a > c }
512: 66 { SELECT * FROM t3 WHERE c = 'it' OR b >= b }
513: 67 { SELECT * FROM t3 WHERE c = a OR b < c }
514: 68 { SELECT * FROM t3 WHERE b > a }
515: 69 { SELECT * FROM t3 WHERE a < b OR a > 4543.266482 OR 'same' = b }
516: 70 { SELECT * FROM t3 WHERE c < c OR b <= c OR a <= b }
517: 71 { SELECT * FROM t3 WHERE c > a }
518: 72 { SELECT * FROM t3 WHERE c > b }
519: 73 { SELECT * FROM t3 WHERE b <= a }
520: 74 { SELECT * FROM t3 WHERE 3282306647 < b AND a >= 'or' OR a >= 378678316.5 }
521: 75 { SELECT * FROM t3 WHERE 50.58223172 <= c OR c = c AND b < b }
522: 76 { SELECT * FROM t3 WHERE 'and' < b OR b < c OR c > 1339.360726 }
523: 77 { SELECT * FROM t3 WHERE b <= c }
524: 78 { SELECT * FROM t3 WHERE 'in' <= c }
525: 79 { SELECT * FROM t3 WHERE c <= b AND a > a AND c < b }
526: 80 { SELECT * FROM t3 WHERE 'over' < b }
527: 81 { SELECT * FROM t3 WHERE b >= b OR b < c OR a < b }
528: 82 { SELECT * FROM t3 WHERE 'towering' <= b OR 'towering' = a AND c > b }
529: 83 { SELECT * FROM t3 WHERE 'peak' = a OR b BETWEEN 2643383279 AND 'the' }
530: 84 { SELECT * FROM t3 WHERE 'an' < c AND c > 'the' AND c IS NULL }
531: 85 { SELECT * FROM t3 WHERE a <= 'sometimes' AND a BETWEEN 'unalike' AND 1339.360726 }
532: 86 { SELECT * FROM t3 WHERE 1339.360726 < c AND c IS NULL }
533: 87 { SELECT * FROM t3 WHERE b > 'the' }
534: 88 { SELECT * FROM t3 WHERE 'and' = a }
535: 89 { SELECT * FROM t3 WHERE b >= b }
536: 90 { SELECT * FROM t3 WHERE b >= 8979323846 }
537: 91 { SELECT * FROM t3 WHERE c <= a }
538: 92 { SELECT * FROM t3 WHERE a BETWEEN 'have' AND 'light' OR a > b OR a >= 378678316.5 }
539: 93 { SELECT * FROM t3 WHERE c > 3282306647 }
540: 94 { SELECT * FROM t3 WHERE b > c }
541: 95 { SELECT * FROM t3 WHERE b >= a AND 'villages' > a AND b >= c }
542: 96 { SELECT * FROM t3 WHERE 'angle' > a }
543: 97 { SELECT * FROM t3 WHERE 'paintings' >= a }
544: 98 { SELECT * FROM t3 WHERE 'or' >= c }
545: 99 { SELECT * FROM t3 WHERE c < b }
546:
547:
548: 101 { SELECT * FROM t3, t4 WHERE f < 'sometimes' OR 'over' <= g AND h < 1415926535 }
549: 102 { SELECT * FROM t3, t4 WHERE h >= 'from' AND h < 6939937510 OR g > h }
550: 103 { SELECT * FROM t3, t4 WHERE c <= h AND g = h AND c >= 'all' }
551: 104 { SELECT * FROM t3, t4 WHERE c = a }
552: 105 { SELECT * FROM t3, t4 WHERE 'of' >= h }
553: 106 { SELECT * FROM t3, t4 WHERE f >= b AND a < g AND h < 'and' }
554: 107 { SELECT * FROM t3, t4 WHERE f <= 8628034825 AND 0938446095 >= b }
555: 108 { SELECT * FROM t3, t4 WHERE a < 'the' }
556: 109 { SELECT * FROM t3, t4 WHERE f = 'sometimes' OR b < 'of' }
557: 110 { SELECT * FROM t3, t4 WHERE c IS NULL }
558: 111 { SELECT * FROM t3, t4 WHERE 'have' = b OR g <= 346.0348610 }
559: 112 { SELECT * FROM t3, t4 WHERE f > b AND b <= h }
560: 113 { SELECT * FROM t3, t4 WHERE f > c OR 'the' = a OR 50.58223172 = a }
561: 114 { SELECT * FROM t3, t4 WHERE 2643383279 <= a AND c = a }
562: 115 { SELECT * FROM t3, t4 WHERE h >= b AND 'it' <= b }
563: 116 { SELECT * FROM t3, t4 WHERE g BETWEEN 'from' AND 'peak' }
564: 117 { SELECT * FROM t3, t4 WHERE 'their' > a AND g > b AND f <= c }
565: 118 { SELECT * FROM t3, t4 WHERE h = 5028841971 AND 'unalike' <= f }
566: 119 { SELECT * FROM t3, t4 WHERE c IS NULL AND a = 3282306647 OR a <= 'Alpine' }
567: 120 { SELECT * FROM t3, t4 WHERE 'sometimes' <= f OR 8214808651 >= a AND b <= 53594.08128 }
568: 121 { SELECT * FROM t3, t4 WHERE 6939937510 <= f OR c < f OR 'sometimes' = c }
569: 122 { SELECT * FROM t3, t4 WHERE b < 'onlookers' AND 'paintings' = g AND c <= h }
570: 123 { SELECT * FROM t3, t4 WHERE a BETWEEN 'all' AND 'from' OR c > 346.0348610 }
571: 124 { SELECT * FROM t3, t4 WHERE 'from' <= b OR a BETWEEN 53594.08128 AND 'their' AND c > a }
572: 125 { SELECT * FROM t3, t4 WHERE h = 2643383279 }
573: 126 { SELECT * FROM t3, t4 WHERE a <= 'the' }
574: 127 { SELECT * FROM t3, t4 WHERE h <= c }
575: 128 { SELECT * FROM t3, t4 WHERE g <= 346.0348610 AND 66.59334461 >= f AND f <= f }
576: 129 { SELECT * FROM t3, t4 WHERE g >= c OR 'in' < b OR b > g }
577: 130 { SELECT * FROM t3, t4 WHERE 'over' > g AND b BETWEEN 'unalike' AND 'remarkably' }
578: 131 { SELECT * FROM t3, t4 WHERE h <= 2847564.823 }
579: 132 { SELECT * FROM t3, t4 WHERE h <= 'remarkably' AND 4543.266482 > h }
580: 133 { SELECT * FROM t3, t4 WHERE a >= c AND 'it' > g AND c < c }
581: 134 { SELECT * FROM t3, t4 WHERE h <= 66.59334461 AND b > 3421170679 }
582: 135 { SELECT * FROM t3, t4 WHERE h < 'are' OR f BETWEEN 0938446095 AND 'are' OR b = b }
583: 136 { SELECT * FROM t3, t4 WHERE h = a OR 66.59334461 <= f }
584: 137 { SELECT * FROM t3, t4 WHERE f > 'of' OR h <= h OR a = f }
585: 138 { SELECT * FROM t3, t4 WHERE 'other' >= g }
586: 139 { SELECT * FROM t3, t4 WHERE b <= 3421170679 }
587: 140 { SELECT * FROM t3, t4 WHERE 'all' = f AND 4543.266482 = b OR f BETWEEN 'and' AND 'angle' }
588: 141 { SELECT * FROM t3, t4 WHERE 'light' = f OR h BETWEEN 'remarkably' AND 1415926535 }
589: 142 { SELECT * FROM t3, t4 WHERE 'hills' = f OR 'the' >= f }
590: 143 { SELECT * FROM t3, t4 WHERE a > 346.0348610 }
591: 144 { SELECT * FROM t3, t4 WHERE 5028841971 = h }
592: 145 { SELECT * FROM t3, t4 WHERE b >= c AND 'the' >= g OR 45.64856692 <= g }
593: 146 { SELECT * FROM t3, t4 WHERE c < 5028841971 }
594: 147 { SELECT * FROM t3, t4 WHERE a > a }
595: 148 { SELECT * FROM t3, t4 WHERE c = 'snapshots' }
596: 149 { SELECT * FROM t3, t4 WHERE h > 1339.360726 AND 'and' > c }
597: 150 { SELECT * FROM t3, t4 WHERE 'and' > g OR 'sometimes' = c }
598: 151 { SELECT * FROM t3, t4 WHERE g >= 'the' AND b >= 'onlookers' }
599: 152 { SELECT * FROM t3, t4 WHERE h BETWEEN 'other' AND 2643383279 }
600: 153 { SELECT * FROM t3, t4 WHERE 'it' = b }
601: 154 { SELECT * FROM t3, t4 WHERE f = c OR c BETWEEN 'and' AND 0.4811174502 }
602: 155 { SELECT * FROM t3, t4 WHERE b <= 'sometimes' OR c <= 0938446095 }
603: 156 { SELECT * FROM t3, t4 WHERE 'and' <= b }
604: 157 { SELECT * FROM t3, t4 WHERE g > a AND f = 'the' AND b < a }
605: 158 { SELECT * FROM t3, t4 WHERE a < 'an' }
606: 159 { SELECT * FROM t3, t4 WHERE a BETWEEN 'his' AND 'same' OR 8628034825 > f }
607: 160 { SELECT * FROM t3, t4 WHERE b = 'peak' }
608: 161 { SELECT * FROM t3, t4 WHERE f IS NULL AND a >= h }
609: 162 { SELECT * FROM t3, t4 WHERE a IS NULL OR 2643383279 = c }
610: 163 { SELECT * FROM t3, t4 WHERE b >= 5028841971 AND f < c AND a IS NULL }
611: 164 { SELECT * FROM t3, t4 WHERE a >= g }
612: 165 { SELECT * FROM t3, t4 WHERE c IS NULL }
613: 166 { SELECT * FROM t3, t4 WHERE h >= h }
614: 167 { SELECT * FROM t3, t4 WHERE 'over' <= h }
615: 168 { SELECT * FROM t3, t4 WHERE b < 4543.266482 OR b = 2643383279 OR 8628034825 < b }
616: 169 { SELECT * FROM t3, t4 WHERE g >= 6939937510 }
617: 170 { SELECT * FROM t3, t4 WHERE 'or' < a OR b < g }
618: 171 { SELECT * FROM t3, t4 WHERE h < 'hills' OR 'and' > g }
619: 172 { SELECT * FROM t3, t4 WHERE 'from' > f OR f <= f }
620: 173 { SELECT * FROM t3, t4 WHERE 'viewed' > b AND f < c }
621: 174 { SELECT * FROM t3, t4 WHERE 'of' <= a }
622: 175 { SELECT * FROM t3, t4 WHERE f > 0938446095 }
623: 176 { SELECT * FROM t3, t4 WHERE a = g }
624: 177 { SELECT * FROM t3, t4 WHERE g >= b AND f BETWEEN 'peak' AND 'and' }
625: 178 { SELECT * FROM t3, t4 WHERE g = a AND 'it' > f }
626: 179 { SELECT * FROM t3, t4 WHERE a <= b OR 'from' > f }
627: 180 { SELECT * FROM t3, t4 WHERE f < 'and' }
628: 181 { SELECT * FROM t3, t4 WHERE 6939937510 < b OR 'sometimes' < h }
629: 182 { SELECT * FROM t3, t4 WHERE f > g AND f < 'peak' }
630: 183 { SELECT * FROM t3, t4 WHERE a <= 53594.08128 AND c <= f AND f >= c }
631: 184 { SELECT * FROM t3, t4 WHERE f = c OR 'it' > b OR g BETWEEN 'the' AND 'all' }
632: 185 { SELECT * FROM t3, t4 WHERE c <= g OR a = h }
633: 186 { SELECT * FROM t3, t4 WHERE 'same' = b OR c >= 2643383279 }
634: 187 { SELECT * FROM t3, t4 WHERE h <= g OR c > 66.59334461 OR a <= f }
635: 188 { SELECT * FROM t3, t4 WHERE b < c AND f = 'writings' }
636: 189 { SELECT * FROM t3, t4 WHERE b < a }
637: 190 { SELECT * FROM t3, t4 WHERE c >= f OR c = 'and' }
638: 191 { SELECT * FROM t3, t4 WHERE f >= 'peak' AND g > f AND h > g }
639: 192 { SELECT * FROM t3, t4 WHERE a >= 8979323846 AND 'same' > b OR c = 'and' }
640: 193 { SELECT * FROM t3, t4 WHERE c >= g OR 'writings' >= c AND b = 'all' }
641: 194 { SELECT * FROM t3, t4 WHERE 'remarkably' < g }
642: 195 { SELECT * FROM t3, t4 WHERE a BETWEEN 'or' AND 'paintings' AND g <= f }
643: 196 { SELECT * FROM t3, t4 WHERE 0938446095 > b OR g <= a OR h > b }
644: 197 { SELECT * FROM t3, t4 WHERE g = 2643383279 AND f = g }
645: 198 { SELECT * FROM t3, t4 WHERE g < 8979323846 }
646: 199 { SELECT * FROM t3, t4 WHERE 'are' <= b }
647: 200 { SELECT * FROM t3, t4 WHERE (a=1415926535 AND f=8628034825)
648: OR (a=6939937510 AND f=2643383279) }
649: 201 { SELECT * FROM t3, t4, t5, t6
650: WHERE (a=1415926535 AND f=8628034825 AND s!='hello' AND t!=5)
651: OR (a=6939937510 AND f=2643383279 AND s='tab-t5' AND t=123456) }
652: 202 { SELECT * FROM t3, t4, t5, t6
653: WHERE (a=1415926535 AND f=8628034825 AND s!='hello' AND t==5)
654: OR (a=6939937510 AND f=2643383279 AND s='tab-t5' AND t!=123456) }
655:
656: } {
657: do_test where8-4.$A.$B.1 {
658: unset -nocomplain R
659: set R [execsql $sql]
660: if {![info exists results($B)]} {
661: set results($B) $R
662: }
663: list
664: } {}
665:
666: do_test where8-4.$A.$B.2 { lsort $R } [lsort $results($B)]
667: }
668: incr A
669: }
670: catch {unset results}
671: catch {unset A}
672: catch {unset B}
673:
674: # At one point the following tests provoked an invalid write error (writing
675: # to memory that had already been freed). It was not possible to demonstrate
676: # that this bug could cause a query to return bad data.
677: #
678: do_test where8-5.1 {
679: db close
680: sqlite3 db test.db
681: sqlite3_db_config_lookaside db 0 0 0
682: execsql {
683: CREATE TABLE tA(
684: a, b, c, d, e, f, g, h,
685: i, j, k, l, m, n, o, p
686: );
687: }
688: execsql {
689: SELECT * FROM tA WHERE
690: a=1 AND b=2 AND c=3 AND d=4 AND e=5 AND f=6 AND g=7 AND h=8 AND
691: i=1 AND j=2 AND k=3 AND l=4 AND m=5 AND n=6 AND o=7 AND
692: (p = 1 OR p = 2 OR p = 3)
693: }
694: } {}
695: do_test where8-5.2 {
696: execsql {
697: SELECT * FROM tA WHERE
698: a=1 AND b=2 AND c=3 AND d=4 AND e=5 AND f=6 AND g=7 AND h=8 AND
699: i=1 AND j=2 AND k=3 AND l=4 AND m=5 AND
700: (p = 1 OR p = 2 OR p = 3) AND n=6 AND o=7
701: }
702: } {}
703: do_test where8-5.3 {
704: execsql {
705: INSERT INTO tA VALUES(1, 2, 3, 4, 5, 6, 7, 8, 1, 2, 3, 4, 5, 6, 7, 8);
706: CREATE UNIQUE INDEX tAI ON tA(p);
707: CREATE TABLE tB(x);
708: INSERT INTO tB VALUES('x');
709: }
710: execsql {
711: SELECT a, x FROM tA LEFT JOIN tB ON (
712: a=1 AND b=2 AND c=3 AND d=4 AND e=5 AND f=6 AND g=7 AND h=8 AND
713: i=1 AND j=2 AND k=3 AND l=4 AND m=5 AND n=6 AND o=7 AND
714: (p = 1 OR p = 2 OR p = 3)
715: )
716: }
717: } {1 {}}
718:
719: finish_test
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>