OLD | NEW |
(Empty) | |
| 1 # 2012 August 24 |
| 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 that an index may be used as a covering |
| 13 # index when there are OR expressions in the WHERE clause. |
| 14 # |
| 15 |
| 16 |
| 17 set testdir [file dirname $argv0] |
| 18 source $testdir/tester.tcl |
| 19 set ::testprefix whereD |
| 20 |
| 21 do_execsql_test 1.1 { |
| 22 CREATE TABLE t(i,j,k,m,n); |
| 23 CREATE INDEX ijk ON t(i,j,k); |
| 24 CREATE INDEX jmn ON t(j,m,n); |
| 25 |
| 26 INSERT INTO t VALUES(3, 3, 'three', 3, 'tres'); |
| 27 INSERT INTO t VALUES(2, 2, 'two', 2, 'dos'); |
| 28 INSERT INTO t VALUES(1, 1, 'one', 1, 'uno'); |
| 29 INSERT INTO t VALUES(4, 4, 'four', 4, 'cuatro'); |
| 30 } |
| 31 |
| 32 do_execsql_test 1.2 { |
| 33 SELECT k FROM t WHERE (i=1 AND j=1) OR (i=2 AND j=2); |
| 34 } {one two} |
| 35 do_execsql_test 1.3 { |
| 36 SELECT k FROM t WHERE (i=1 AND j=1) OR (+i=2 AND j=2); |
| 37 } {one two} |
| 38 do_execsql_test 1.4 { |
| 39 SELECT n FROM t WHERE (i=1 AND j=1) OR (i=2 AND j=2); |
| 40 } {uno dos} |
| 41 do_execsql_test 1.5 { |
| 42 SELECT k, n FROM t WHERE (i=1 AND j=1) OR (i=2 AND j=2); |
| 43 } {one uno two dos} |
| 44 do_execsql_test 1.6 { |
| 45 SELECT k FROM t WHERE (i=1 AND j=1) OR (i=2 AND j=2) OR (i=3 AND j=3); |
| 46 } {one two three} |
| 47 do_execsql_test 1.7 { |
| 48 SELECT n FROM t WHERE (i=1 AND j=1) OR (i=2 AND j=2) OR (i=3 AND j=3); |
| 49 } {uno dos tres} |
| 50 do_execsql_test 1.8 { |
| 51 SELECT k FROM t WHERE (i=1 AND j=1) OR (j=2 AND m=2); |
| 52 } {one two} |
| 53 do_execsql_test 1.9 { |
| 54 SELECT k FROM t WHERE (i=1 AND j=1) OR (i=2 AND j=2) OR (j=3 AND m=3); |
| 55 } {one two three} |
| 56 do_execsql_test 1.10 { |
| 57 SELECT n FROM t WHERE (i=1 AND j=1) OR (i=2 AND j=2) OR (j=3 AND m=3); |
| 58 } {uno dos tres} |
| 59 do_execsql_test 1.11 { |
| 60 SELECT k FROM t WHERE (i=1 AND j=1) OR (j=2 AND m=2) OR (i=3 AND j=3); |
| 61 } {one two three} |
| 62 do_execsql_test 1.12 { |
| 63 SELECT n FROM t WHERE (i=1 AND j=1) OR (j=2 AND m=2) OR (i=3 AND j=3); |
| 64 } {uno dos tres} |
| 65 do_execsql_test 1.13 { |
| 66 SELECT k FROM t WHERE (j=1 AND m=1) OR (i=2 AND j=2) OR (i=3 AND j=3); |
| 67 } {one two three} |
| 68 do_execsql_test 1.14 { |
| 69 SELECT k FROM t WHERE (i=1 AND j=1) OR (j=2 AND i=2) OR (i=3 AND j=3); |
| 70 } {one two three} |
| 71 do_execsql_test 1.15 { |
| 72 SELECT k FROM t WHERE (i=1 AND j=2) OR (i=2 AND j=1) OR (i=3 AND j=4); |
| 73 } {} |
| 74 do_execsql_test 1.16 { |
| 75 SELECT k FROM t WHERE (i=1 AND (j=1 or j=2)) OR (i=3 AND j=3); |
| 76 } {one three} |
| 77 |
| 78 do_execsql_test 2.0 { |
| 79 CREATE TABLE t1(a,b,c,d); |
| 80 CREATE INDEX t1b ON t1(b); |
| 81 CREATE INDEX t1c ON t1(c); |
| 82 CREATE INDEX t1d ON t1(d); |
| 83 CREATE TABLE t2(x,y); |
| 84 CREATE INDEX t2y ON t2(y); |
| 85 |
| 86 INSERT INTO t1 VALUES(1,2,3,4); |
| 87 INSERT INTO t1 VALUES(5,6,7,8); |
| 88 INSERT INTO t2 VALUES(1,2); |
| 89 INSERT INTO t2 VALUES(2,7); |
| 90 INSERT INTO t2 VALUES(3,4); |
| 91 } {} |
| 92 do_execsql_test 2.1 { |
| 93 SELECT a, x FROM t1 JOIN t2 ON +y=d OR x=7 ORDER BY a, x; |
| 94 } {1 3} |
| 95 do_execsql_test 2.2 { |
| 96 SELECT a, x FROM t1 JOIN t2 ON y=d OR x=7 ORDER BY a, x; |
| 97 } {1 3} |
| 98 |
| 99 |
| 100 # Similar to [do_execsql_test], except that two elements are appended |
| 101 # to the result - the string "search" and the number of times test variable |
| 102 # sqlite3_search_count is incremented by running the supplied SQL. e.g. |
| 103 # |
| 104 # do_searchcount_test 1.0 { SELECT * FROM t1 } {x y search 2} |
| 105 # |
| 106 proc do_searchcount_test {tn sql res} { |
| 107 uplevel [subst -nocommands { |
| 108 do_test $tn { |
| 109 set ::sqlite_search_count 0 |
| 110 concat [db eval {$sql}] search [set ::sqlite_search_count] |
| 111 } [list $res] |
| 112 }] |
| 113 } |
| 114 |
| 115 do_execsql_test 3.0 { |
| 116 CREATE TABLE t3(a, b, c); |
| 117 CREATE UNIQUE INDEX i3 ON t3(a, b); |
| 118 INSERT INTO t3 VALUES(1, 'one', 'i'); |
| 119 INSERT INTO t3 VALUES(3, 'three', 'iii'); |
| 120 INSERT INTO t3 VALUES(6, 'six', 'vi'); |
| 121 INSERT INTO t3 VALUES(2, 'two', 'ii'); |
| 122 INSERT INTO t3 VALUES(4, 'four', 'iv'); |
| 123 INSERT INTO t3 VALUES(5, 'five', 'v'); |
| 124 |
| 125 CREATE TABLE t4(x PRIMARY KEY, y); |
| 126 INSERT INTO t4 VALUES('a', 'one'); |
| 127 INSERT INTO t4 VALUES('b', 'two'); |
| 128 } |
| 129 |
| 130 do_searchcount_test 3.1 { |
| 131 SELECT a, b FROM t3 WHERE (a=1 AND b='one') OR (a=2 AND b='two') |
| 132 } {1 one 2 two search 2} |
| 133 |
| 134 do_searchcount_test 3.2 { |
| 135 SELECT a, c FROM t3 WHERE (a=1 AND b='one') OR (a=2 AND b='two') |
| 136 } {1 i 2 ii search 4} |
| 137 |
| 138 do_searchcount_test 3.4.1 { |
| 139 SELECT y FROM t4 WHERE x='a' |
| 140 } {one search 2} |
| 141 do_searchcount_test 3.4.2 { |
| 142 SELECT a, b FROM t3 WHERE |
| 143 (a=1 AND b=(SELECT y FROM t4 WHERE x='a')) |
| 144 OR (a=2 AND b='two') |
| 145 } {1 one 2 two search 4} |
| 146 do_searchcount_test 3.4.3 { |
| 147 SELECT a, b FROM t3 WHERE |
| 148 (a=2 AND b='two') |
| 149 OR (a=1 AND b=(SELECT y FROM t4 WHERE x='a')) |
| 150 } {2 two 1 one search 4} |
| 151 do_searchcount_test 3.4.4 { |
| 152 SELECT a, b FROM t3 WHERE |
| 153 (a=2 AND b=(SELECT y FROM t4 WHERE x='b')) |
| 154 OR (a=1 AND b=(SELECT y FROM t4 WHERE x='a')) |
| 155 } {2 two 1 one search 6} |
| 156 |
| 157 do_searchcount_test 3.5.1 { |
| 158 SELECT a, b FROM t3 WHERE (a=1 AND b='one') OR rowid=4 |
| 159 } {1 one 2 two search 2} |
| 160 do_searchcount_test 3.5.2 { |
| 161 SELECT a, c FROM t3 WHERE (a=1 AND b='one') OR rowid=4 |
| 162 } {1 i 2 ii search 2} |
| 163 |
| 164 # Ticket [d02e1406a58ea02d] (2012-10-04) |
| 165 # LEFT JOIN with an OR in the ON clause causes segfault |
| 166 # |
| 167 do_test 4.1 { |
| 168 db eval { |
| 169 CREATE TABLE t41(a,b,c); |
| 170 INSERT INTO t41 VALUES(1,2,3), (4,5,6); |
| 171 CREATE TABLE t42(d,e,f); |
| 172 INSERT INTO t42 VALUES(3,6,9), (4,8,12); |
| 173 SELECT * FROM t41 AS x LEFT JOIN t42 AS y ON (y.d=x.c) OR (y.e=x.b); |
| 174 } |
| 175 } {1 2 3 3 6 9 4 5 6 {} {} {}} |
| 176 do_test 4.2 { |
| 177 db eval { |
| 178 CREATE INDEX t42d ON t42(d); |
| 179 CREATE INDEX t42e ON t42(e); |
| 180 SELECT * FROM t41 AS x LEFT JOIN t42 AS y ON (y.d=x.c) OR (y.e=x.b); |
| 181 } |
| 182 } {1 2 3 3 6 9 4 5 6 {} {} {}} |
| 183 do_test 4.3 { |
| 184 db eval { |
| 185 SELECT * FROM t41 AS x LEFT JOIN t42 AS y ON (y.d=x.c) OR (y.d=x.b); |
| 186 } |
| 187 } {1 2 3 3 6 9 4 5 6 {} {} {}} |
| 188 |
| 189 # Ticket [bc1aea7b725f276177] |
| 190 # Incorrect result on LEFT JOIN with OR constraints and an ORDER BY clause. |
| 191 # |
| 192 do_execsql_test 4.4 { |
| 193 CREATE TABLE t44(a INTEGER, b INTEGER); |
| 194 INSERT INTO t44 VALUES(1,2); |
| 195 INSERT INTO t44 VALUES(3,4); |
| 196 SELECT * |
| 197 FROM t44 AS x |
| 198 LEFT JOIN (SELECT a AS c, b AS d FROM t44) AS y ON a=c |
| 199 WHERE d=4 OR d IS NULL; |
| 200 } {3 4 3 4} |
| 201 do_execsql_test 4.5 { |
| 202 SELECT * |
| 203 FROM t44 AS x |
| 204 LEFT JOIN (SELECT a AS c, b AS d FROM t44) AS y ON a=c |
| 205 WHERE d=4 OR d IS NULL |
| 206 ORDER BY a; |
| 207 } {3 4 3 4} |
| 208 do_execsql_test 4.6 { |
| 209 CREATE TABLE t46(c INTEGER, d INTEGER); |
| 210 INSERT INTO t46 SELECT a, b FROM t44; |
| 211 SELECT * FROM t44 LEFT JOIN t46 ON a=c |
| 212 WHERE d=4 OR d IS NULL; |
| 213 } {3 4 3 4} |
| 214 do_execsql_test 4.7 { |
| 215 SELECT * FROM t44 LEFT JOIN t46 ON a=c |
| 216 WHERE d=4 OR d IS NULL |
| 217 ORDER BY a; |
| 218 } {3 4 3 4} |
| 219 |
| 220 # Verify fix of a bug reported on the mailing list by Peter Reid |
| 221 # |
| 222 do_execsql_test 5.1 { |
| 223 DROP TABLE IF EXISTS t; |
| 224 CREATE TABLE t(c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17); |
| 225 CREATE INDEX tc0 ON t(c0); |
| 226 CREATE INDEX tc1 ON t(c1); |
| 227 CREATE INDEX tc2 ON t(c2); |
| 228 CREATE INDEX tc3 ON t(c3); |
| 229 CREATE INDEX tc4 ON t(c4); |
| 230 CREATE INDEX tc5 ON t(c5); |
| 231 CREATE INDEX tc6 ON t(c6); |
| 232 CREATE INDEX tc7 ON t(c7); |
| 233 CREATE INDEX tc8 ON t(c8); |
| 234 CREATE INDEX tc9 ON t(c9); |
| 235 CREATE INDEX tc10 ON t(c10); |
| 236 CREATE INDEX tc11 ON t(c11); |
| 237 CREATE INDEX tc12 ON t(c12); |
| 238 CREATE INDEX tc13 ON t(c13); |
| 239 CREATE INDEX tc14 ON t(c14); |
| 240 CREATE INDEX tc15 ON t(c15); |
| 241 CREATE INDEX tc16 ON t(c16); |
| 242 CREATE INDEX tc17 ON t(c17); |
| 243 |
| 244 INSERT INTO t(c0, c16) VALUES (1,1); |
| 245 |
| 246 SELECT * FROM t WHERE |
| 247 c0=1 or c1=1 or c2=1 or c3=1 or |
| 248 c4=1 or c5=1 or c6=1 or c7=1 or |
| 249 c8=1 or c9=1 or c10=1 or c11=1 or |
| 250 c12=1 or c13=1 or c14=1 or c15=1 or |
| 251 c16=1 or c17=1; |
| 252 } {1 {} {} {} {} {} {} {} {} {} {} {} {} {} {} {} 1 {}} |
| 253 do_execsql_test 5.2 { |
| 254 DELETE FROM t; |
| 255 INSERT INTO t(c0,c17) VALUES(1,1); |
| 256 SELECT * FROM t WHERE |
| 257 c0=1 or c1=1 or c2=1 or c3=1 or |
| 258 c4=1 or c5=1 or c6=1 or c7=1 or |
| 259 c8=1 or c9=1 or c10=1 or c11=1 or |
| 260 c12=1 or c13=1 or c14=1 or c15=1 or |
| 261 c16=1 or c17=1; |
| 262 } {1 {} {} {} {} {} {} {} {} {} {} {} {} {} {} {} {} 1} |
| 263 do_execsql_test 5.3 { |
| 264 DELETE FROM t; |
| 265 INSERT INTO t(c0,c15) VALUES(1,1); |
| 266 SELECT * FROM t WHERE |
| 267 c0=1 or c1=1 or c2=1 or c3=1 or |
| 268 c4=1 or c5=1 or c6=1 or c7=1 or |
| 269 c8=1 or c9=1 or c10=1 or c11=1 or |
| 270 c12=1 or c13=1 or c14=1 or c15=1 or |
| 271 c16=1 or c17=1; |
| 272 } {1 {} {} {} {} {} {} {} {} {} {} {} {} {} {} 1 {} {}} |
| 273 |
| 274 |
| 275 finish_test |
OLD | NEW |