gitlab.com/CoiaPrant/sqlite3@v1.19.1/testdata/tcl/index6.test (about) 1 # 2013-07-31 2 # 3 # The author disclaims copyright to this source code. In place of 4 # a legal notice, here is a blessing: 5 # 6 # May you do good and not evil. 7 # May you find forgiveness for yourself and forgive others. 8 # May you share freely, never taking more than you give. 9 # 10 #*********************************************************************** 11 # 12 # Test cases for partial indices 13 # 14 15 16 set testdir [file dirname $argv0] 17 source $testdir/tester.tcl 18 19 ifcapable !vtab { 20 finish_test 21 return 22 } 23 24 load_static_extension db wholenumber; 25 do_test index6-1.1 { 26 # Able to parse and manage partial indices 27 execsql { 28 CREATE TABLE t1(a,b,c); 29 CREATE INDEX t1a ON t1(a) WHERE a IS NOT NULL; 30 CREATE INDEX t1b ON t1(b) WHERE b>10; 31 CREATE VIRTUAL TABLE nums USING wholenumber; 32 INSERT INTO t1(a,b,c) 33 SELECT CASE WHEN value%3!=0 THEN value END, value, value 34 FROM nums WHERE value<=20; 35 SELECT count(a), count(b) FROM t1; 36 PRAGMA integrity_check; 37 } 38 } {14 20 ok} 39 40 # Make sure the count(*) optimization works correctly with 41 # partial indices. Ticket [a5c8ed66cae16243be6] 2013-10-03. 42 # 43 do_execsql_test index6-1.1.1 { 44 SELECT count(*) FROM t1; 45 } {20} 46 47 # Error conditions during parsing... 48 # 49 do_test index6-1.2 { 50 catchsql { 51 CREATE INDEX bad1 ON t1(a,b) WHERE x IS NOT NULL; 52 } 53 } {1 {no such column: x}} 54 do_test index6-1.3 { 55 catchsql { 56 CREATE INDEX bad1 ON t1(a,b) WHERE EXISTS(SELECT * FROM t1); 57 } 58 } {1 {subqueries prohibited in partial index WHERE clauses}} 59 do_test index6-1.4 { 60 catchsql { 61 CREATE INDEX bad1 ON t1(a,b) WHERE a!=?1; 62 } 63 } {1 {parameters prohibited in partial index WHERE clauses}} 64 do_test index6-1.5 { 65 catchsql { 66 CREATE INDEX bad1 ON t1(a,b) WHERE a!=random(); 67 } 68 } {1 {non-deterministic functions prohibited in partial index WHERE clauses}} 69 do_test index6-1.6 { 70 catchsql { 71 CREATE INDEX bad1 ON t1(a,b) WHERE a NOT LIKE 'abc%'; 72 } 73 } {0 {}} 74 do_execsql_test index6-1.7 { 75 DROP INDEX IF EXISTS bad1; 76 } 77 78 do_test index6-1.10 { 79 execsql { 80 ANALYZE; 81 SELECT idx, stat FROM sqlite_stat1 ORDER BY idx; 82 PRAGMA integrity_check; 83 } 84 } {{} 20 t1a {14 1} t1b {10 1} ok} 85 86 # STAT1 shows the partial indices have a reduced number of 87 # rows. 88 # 89 do_test index6-1.11 { 90 execsql { 91 UPDATE t1 SET a=b; 92 ANALYZE; 93 SELECT idx, stat FROM sqlite_stat1 ORDER BY idx; 94 PRAGMA integrity_check; 95 } 96 } {{} 20 t1a {20 1} t1b {10 1} ok} 97 98 do_test index6-1.11 { 99 execsql { 100 UPDATE t1 SET a=NULL WHERE b%3!=0; 101 UPDATE t1 SET b=b+100; 102 ANALYZE; 103 SELECT idx, stat FROM sqlite_stat1 ORDER BY idx; 104 PRAGMA integrity_check; 105 } 106 } {{} 20 t1a {6 1} t1b {20 1} ok} 107 108 do_test index6-1.12 { 109 execsql { 110 UPDATE t1 SET a=CASE WHEN b%3!=0 THEN b END; 111 UPDATE t1 SET b=b-100; 112 ANALYZE; 113 SELECT idx, stat FROM sqlite_stat1 ORDER BY idx; 114 PRAGMA integrity_check; 115 } 116 } {{} 20 t1a {13 1} t1b {10 1} ok} 117 118 do_test index6-1.13 { 119 execsql { 120 DELETE FROM t1 WHERE b BETWEEN 8 AND 12; 121 ANALYZE; 122 SELECT idx, stat FROM sqlite_stat1 ORDER BY idx; 123 PRAGMA integrity_check; 124 } 125 } {{} 15 t1a {10 1} t1b {8 1} ok} 126 127 do_test index6-1.14 { 128 execsql { 129 REINDEX; 130 ANALYZE; 131 SELECT idx, stat FROM sqlite_stat1 ORDER BY idx; 132 PRAGMA integrity_check; 133 } 134 } {{} 15 t1a {10 1} t1b {8 1} ok} 135 136 do_test index6-1.15 { 137 execsql { 138 CREATE INDEX t1c ON t1(c); 139 ANALYZE; 140 SELECT idx, stat FROM sqlite_stat1 ORDER BY idx; 141 PRAGMA integrity_check; 142 } 143 } {t1a {10 1} t1b {8 1} t1c {15 1} ok} 144 145 # Queries use partial indices as appropriate times. 146 # 147 do_test index6-2.1 { 148 execsql { 149 CREATE TABLE t2(a,b); 150 INSERT INTO t2(a,b) SELECT value, value FROM nums WHERE value<1000; 151 UPDATE t2 SET a=NULL WHERE b%2==0; 152 CREATE INDEX t2a1 ON t2(a) WHERE a IS NOT NULL; 153 SELECT count(*) FROM t2 WHERE a IS NOT NULL; 154 } 155 } {500} 156 do_test index6-2.2 { 157 execsql { 158 EXPLAIN QUERY PLAN 159 SELECT * FROM t2 WHERE a=5; 160 } 161 } {/(SEARCH|SCAN) t2 USING INDEX t2a1 /} 162 ifcapable stat4 { 163 execsql ANALYZE 164 do_test index6-2.3stat4 { 165 execsql { 166 EXPLAIN QUERY PLAN 167 SELECT * FROM t2 WHERE a IS NOT NULL; 168 } 169 } {/(SEARCH|SCAN) t2 USING INDEX t2a1 /} 170 } else { 171 do_test index6-2.3stat4 { 172 execsql { 173 EXPLAIN QUERY PLAN 174 SELECT * FROM t2 WHERE a IS NOT NULL AND a>0; 175 } 176 } {/(SEARCH|SCANE) t2 USING INDEX t2a1 /} 177 } 178 do_test index6-2.4 { 179 execsql { 180 EXPLAIN QUERY PLAN 181 SELECT * FROM t2 WHERE a IS NULL; 182 } 183 } {~/INDEX t2a1/} 184 185 do_execsql_test index6-2.101 { 186 DROP INDEX t2a1; 187 UPDATE t2 SET a=b, b=b+10000; 188 SELECT b FROM t2 WHERE a=15; 189 } {10015} 190 do_execsql_test index6-2.102 { 191 CREATE INDEX t2a2 ON t2(a) WHERE a<100 OR a>200; 192 SELECT b FROM t2 WHERE a=15; 193 PRAGMA integrity_check; 194 } {10015 ok} 195 do_execsql_test index6-2.102eqp { 196 EXPLAIN QUERY PLAN 197 SELECT b FROM t2 WHERE a=15; 198 } {~/.*INDEX t2a2.*/} 199 do_execsql_test index6-2.103 { 200 SELECT b FROM t2 WHERE a=15 AND a<100; 201 } {10015} 202 do_execsql_test index6-2.103eqp { 203 EXPLAIN QUERY PLAN 204 SELECT b FROM t2 WHERE a=15 AND a<100; 205 } {/.*INDEX t2a2.*/} 206 do_execsql_test index6-2.104 { 207 SELECT b FROM t2 WHERE a=515 AND a>200; 208 } {10515} 209 do_execsql_test index6-2.104eqp { 210 EXPLAIN QUERY PLAN 211 SELECT b FROM t2 WHERE a=515 AND a>200; 212 } {/.*INDEX t2a2.*/} 213 214 # Partial UNIQUE indices 215 # 216 do_execsql_test index6-3.1 { 217 CREATE TABLE t3(a,b); 218 INSERT INTO t3 SELECT value, value FROM nums WHERE value<200; 219 UPDATE t3 SET a=999 WHERE b%5!=0; 220 CREATE UNIQUE INDEX t3a ON t3(a) WHERE a<>999; 221 } {} 222 do_test index6-3.2 { 223 # unable to insert a duplicate row a-value that is not 999. 224 catchsql { 225 INSERT INTO t3(a,b) VALUES(150, 'test1'); 226 } 227 } {1 {UNIQUE constraint failed: t3.a}} 228 do_test index6-3.3 { 229 # can insert multiple rows with a==999 because such rows are not 230 # part of the unique index. 231 catchsql { 232 INSERT INTO t3(a,b) VALUES(999, 'test1'), (999, 'test2'); 233 } 234 } {0 {}} 235 do_execsql_test index6-3.4 { 236 SELECT count(*) FROM t3 WHERE a=999; 237 } {162} 238 integrity_check index6-3.5 239 240 do_execsql_test index6-4.0 { 241 VACUUM; 242 PRAGMA integrity_check; 243 } {ok} 244 245 # Silently ignore database name qualifiers in partial indices. 246 # 247 do_execsql_test index6-5.0 { 248 CREATE INDEX t3b ON t3(b) WHERE xyzzy.t3.b BETWEEN 5 AND 10; 249 /* ^^^^^-- ignored */ 250 ANALYZE; 251 SELECT count(*) FROM t3 WHERE t3.b BETWEEN 5 AND 10; 252 SELECT stat+0 FROM sqlite_stat1 WHERE idx='t3b'; 253 } {6 6} 254 255 # Test case for ticket [2ea3e9fe6379fc3f6ce7e090ce483c1a3a80d6c9] from 256 # 2014-04-13: Partial index causes assertion fault on UPDATE OR REPLACE. 257 # 258 do_execsql_test index6-6.0 { 259 CREATE TABLE t6(a,b); 260 CREATE UNIQUE INDEX t6ab ON t1(a,b); 261 CREATE INDEX t6b ON t6(b) WHERE b=1; 262 INSERT INTO t6(a,b) VALUES(123,456); 263 SELECT * FROM t6; 264 } {123 456} 265 do_execsql_test index6-6.1 { 266 UPDATE OR REPLACE t6 SET b=789; 267 SELECT * FROM t6; 268 } {123 789} 269 do_execsql_test index6-6.2 { 270 PRAGMA integrity_check; 271 } {ok} 272 273 # Test case for ticket [2326c258d02ead33d69faa63de8f4686b9b1b9d9] on 274 # 2015-02-24. Any use of a partial index qualifying constraint inside 275 # the ON clause of a LEFT JOIN was causing incorrect results for all 276 # versions of SQLite 3.8.0 through 3.8.8. 277 # 278 do_execsql_test index6-7.0 { 279 CREATE TABLE t7a(x); 280 CREATE TABLE t7b(y); 281 INSERT INTO t7a(x) VALUES(1); 282 CREATE INDEX t7ax ON t7a(x) WHERE x=99; 283 PRAGMA automatic_index=OFF; 284 SELECT * FROM t7a LEFT JOIN t7b ON (x=99) ORDER BY x; 285 } {1 {}} 286 do_execsql_test index6-7.1 { 287 INSERT INTO t7b(y) VALUES(2); 288 SELECT * FROM t7a JOIN t7b ON (x=99) ORDER BY x; 289 } {} 290 do_execsql_test index6-7.2 { 291 INSERT INTO t7a(x) VALUES(99); 292 SELECT * FROM t7a LEFT JOIN t7b ON (x=99) ORDER BY x; 293 } {1 {} 99 2} 294 do_execsql_test index6-7.3 { 295 SELECT * FROM t7a JOIN t7b ON (x=99) ORDER BY x; 296 } {99 2} 297 do_execsql_test index6-7.4 { 298 EXPLAIN QUERY PLAN 299 SELECT * FROM t7a JOIN t7b ON (x=99) ORDER BY x; 300 } {/USING COVERING INDEX t7ax/} 301 302 303 do_execsql_test index6-8.0 { 304 CREATE TABLE t8a(a,b); 305 CREATE TABLE t8b(x,y); 306 CREATE INDEX i8c ON t8b(y) WHERE x = 'value'; 307 308 INSERT INTO t8a VALUES(1, 'one'); 309 INSERT INTO t8a VALUES(2, 'two'); 310 INSERT INTO t8a VALUES(3, 'three'); 311 312 INSERT INTO t8b VALUES('value', 1); 313 INSERT INTO t8b VALUES('dummy', 2); 314 INSERT INTO t8b VALUES('value', 3); 315 INSERT INTO t8b VALUES('dummy', 4); 316 } {} 317 318 do_eqp_test index6-8.1 { 319 SELECT * FROM t8a LEFT JOIN t8b ON (x = 'value' AND y = a) 320 } { 321 QUERY PLAN 322 |--SCAN t8a 323 `--SEARCH t8b USING INDEX i8c (y=?) LEFT-JOIN 324 } 325 326 do_execsql_test index6-8.2 { 327 SELECT * FROM t8a LEFT JOIN t8b ON (x = 'value' AND y = a) 328 } { 329 1 one value 1 330 2 two {} {} 331 3 three value 3 332 } 333 334 # 2015-06-11. Assertion fault found by AFL 335 # 336 do_execsql_test index6-9.1 { 337 CREATE TABLE t9(a int, b int, c int); 338 CREATE INDEX t9ca ON t9(c,a) WHERE a in (10,12,20); 339 INSERT INTO t9 VALUES(1,1,9),(10,2,35),(11,15,82),(20,19,5),(NULL,7,3); 340 UPDATE t9 SET b=c WHERE a in (10,12,20); 341 SELECT a,b,c,'|' FROM t9 ORDER BY a; 342 } {{} 7 3 | 1 1 9 | 10 35 35 | 11 15 82 | 20 5 5 |} 343 do_execsql_test index6-9.2 { 344 DROP TABLE t9; 345 CREATE TABLE t9(a int, b int, c int, PRIMARY KEY(a)) WITHOUT ROWID; 346 CREATE INDEX t9ca ON t9(c,a) WHERE a in (10,12,20); 347 INSERT INTO t9 VALUES(1,1,9),(10,2,35),(11,15,82),(20,19,5); 348 UPDATE t9 SET b=c WHERE a in (10,12,20); 349 SELECT a,b,c,'|' FROM t9 ORDER BY a; 350 } {1 1 9 | 10 35 35 | 11 15 82 | 20 5 5 |} 351 352 # AND-connected terms in the WHERE clause of a partial index 353 # 354 do_execsql_test index6-10.1 { 355 CREATE TABLE t10(a,b,c,d,e INTEGER PRIMARY KEY); 356 INSERT INTO t10 VALUES 357 (1,2,3,4,5), 358 (2,3,4,5,6), 359 (3,4,5,6,7), 360 (1,2,3,8,9); 361 CREATE INDEX t10x ON t10(d) WHERE a=1 AND b=2 AND c=3; 362 SELECT e FROM t10 WHERE a=1 AND b=2 AND c=3 ORDER BY d; 363 } {5 9} 364 do_execsql_test index6-10.1eqp { 365 EXPLAIN QUERY PLAN 366 SELECT e FROM t10 WHERE a=1 AND b=2 AND c=3 ORDER BY d; 367 } {/USING INDEX t10x/} 368 do_execsql_test index6-10.2 { 369 SELECT e FROM t10 WHERE c=3 AND 2=b AND a=1 ORDER BY d DESC; 370 } {9 5} 371 do_execsql_test index6-10.2eqp { 372 EXPLAIN QUERY PLAN 373 SELECT e FROM t10 WHERE c=3 AND 2=b AND a=1 ORDER BY d DESC; 374 } {/USING INDEX t10x/} 375 do_execsql_test index6-10.3 { 376 SELECT e FROM t10 WHERE a=1 AND b=2 ORDER BY d DESC; 377 } {9 5} 378 do_execsql_test index6-10.3eqp { 379 EXPLAIN QUERY PLAN 380 SELECT e FROM t10 WHERE a=1 AND b=2 ORDER BY d DESC; 381 } {~/USING INDEX t10x/} 382 383 # A partial index will be used for a full table scan, where possible 384 do_execsql_test index6-11.1 { 385 CREATE TABLE t11(a,b,c); 386 CREATE INDEX t11x ON t11(a) WHERE b<>99; 387 EXPLAIN QUERY PLAN SELECT a FROM t11 WHERE b<>99; 388 } {/USING INDEX t11x/} 389 do_execsql_test index6-11.2 { 390 EXPLAIN QUERY PLAN SELECT a FROM t11 WHERE b<>99 AND c<>98; 391 } {/USING INDEX t11x/} 392 393 # 2018-12-08 394 # Ticket https://www.sqlite.org/src/info/1d958d90596593a7 395 # NOT IN operator fails when using a partial index. 396 # 397 do_execsql_test index6-12.1 { 398 DROP TABLE IF EXISTS t1; 399 DROP TABLE IF EXISTS t2; 400 CREATE TABLE t1(a,b); 401 INSERT INTO t1 VALUES(1,1); 402 INSERT INTO t1 VALUES(2,2); 403 CREATE TABLE t2(x); 404 INSERT INTO t2 VALUES(1); 405 INSERT INTO t2 VALUES(2); 406 SELECT 'one', * FROM t2 WHERE x NOT IN (SELECT a FROM t1); 407 CREATE INDEX t1a ON t1(a) WHERE b=1; 408 SELECT 'two', * FROM t2 WHERE x NOT IN (SELECT a FROM t1); 409 } {} 410 do_execsql_test index6-12.2 { 411 SELECT x FROM t2 WHERE x IN (SELECT a FROM t1) ORDER BY +x; 412 } {1 2} 413 414 # 2019-05-04 415 # Ticket https://www.sqlite.org/src/tktview/5c6955204c392ae763a95 416 # Theorem prover error 417 # 418 do_execsql_test index6-13.1 { 419 DROP TABLE IF EXISTS t0; 420 CREATE TABLE t0(c0); 421 CREATE INDEX index_0 ON t0(c0) WHERE c0 NOT NULL; 422 INSERT INTO t0(c0) VALUES (NULL); 423 SELECT * FROM t0 WHERE c0 OR 1; 424 } {{}} 425 426 # 2019-05-11 427 # Ticket https://sqlite.org/src/tktview/8025674847 428 reset_db 429 do_execsql_test index6-14.1 { 430 CREATE TABLE IF NOT EXISTS t0 (c0, c1); 431 CREATE INDEX IF NOT EXISTS i0 ON t0(c0, c1) WHERE c0 NOT NULL; 432 INSERT INTO t0(c0, c1) VALUES(NULL, 'row'); 433 SELECT * FROM t0 WHERE t0.c0 IS NOT 1; 434 } {{} row} 435 436 do_execsql_test index6-14.2 { 437 SELECT * FROM t0 WHERE CASE c0 WHEN 0 THEN 0 ELSE 1 END; 438 } {{} row} 439 440 # 2019-08-30 441 # Ticket https://www.sqlite.org/src/info/a6408d42b9f44462 442 # Ticket https://www.sqlite.org/src/info/fba33c8b1df6a915 443 # https://sqlite.org/src/info/bac716244fddac1fe841 444 # 445 do_execsql_test index6-15.1 { 446 DROP TABLE t0; 447 CREATE TABLE t0(c0); 448 INSERT INTO t0(c0) VALUES (NULL); 449 CREATE INDEX i0 ON t0(1) WHERE c0 NOT NULL; 450 SELECT 1 FROM t0 WHERE (t0.c0 IS FALSE) IS FALSE; 451 } {1} 452 do_execsql_test index6-15.2 { 453 SELECT 1 FROM t0 WHERE (t0.c0 IS FALSE) BETWEEN FALSE AND TRUE; 454 } {1} 455 do_execsql_test index6-15.3 { 456 SELECT 1 FROM t0 WHERE TRUE BETWEEN (t0.c0 IS FALSE) AND TRUE; 457 } {1} 458 do_execsql_test index6-15.4 { 459 SELECT 1 FROM t0 WHERE FALSE BETWEEN FALSE AND (t0.c0 IS FALSE); 460 } {1} 461 do_execsql_test index6-15.5 { 462 SELECT 1 FROM t0 WHERE (c0 IS FALSE) IN (FALSE); 463 } {1} 464 465 # 2019-09-03 466 # Ticket https://sqlite.org/src/info/767a8cbc6d20bd68 467 do_execsql_test index6-16.1 { 468 DROP TABLE t0; 469 CREATE TABLE t0(c0 COLLATE NOCASE, c1); 470 CREATE INDEX i0 ON t0(0) WHERE c0 >= c1; 471 INSERT INTO t0 VALUES('a', 'B'); 472 SELECT c1 <= c0, c0 >= c1 FROM t0; 473 } {1 0} 474 do_execsql_test index6-16.2 { 475 SELECT 2 FROM t0 WHERE c0 >= c1; 476 } {} 477 do_execsql_test index6-16.3 { 478 SELECT 3 FROM t0 WHERE c1 <= c0; 479 } {3} 480 481 # 2019-11-02 482 # Ticket https://sqlite.org/src/tktview/a9efb42811fa41ee286e8 483 db close 484 sqlite3 db :memory: 485 do_execsql_test index6-17.1 { 486 CREATE TABLE t0(c0); 487 CREATE INDEX i0 ON t0(0) WHERE c0 GLOB c0; 488 INSERT INTO t0 VALUES (0); 489 CREATE UNIQUE INDEX i1 ON t0(0); 490 PRAGMA integrity_check; 491 } {ok} 492 do_execsql_test index6-17.2 { 493 CREATE UNIQUE INDEX i2 ON t0(0); 494 REPLACE INTO t0 VALUES(0); 495 PRAGMA integrity_check; 496 } {ok} 497 do_execsql_test index6-17.3 { 498 SELECT COUNT(*) FROM t0 WHERE t0.c0 GLOB t0.c0; 499 } {1} 500 501 # 2021-05-29 502 # Forum https://sqlite.org/forum/forumpost/d813704d7c 503 reset_db 504 do_execsql_test index6-18.1 { 505 CREATE TABLE t1(a INT, b INT); 506 INSERT INTO t1 VALUES(10,10); 507 CREATE UNIQUE INDEX t1b ON t1(b) WHERE a>NULL; 508 SELECT * FROM t1 WHERE a IS NOT NULL; 509 } {10 10} 510 511 # 2022-06-09 512 # https://sqlite.org/forum/forumpost/c4676c4956 513 # Cannot do a scan of a partial index on the left table of a RIGHT JOIN 514 # since that will cause extra rows to appear in the output during the 515 # right-join no-match loop. The following testcase is verify using 516 # PostgreSQL 14. 517 # 518 reset_db 519 do_execsql_test index6-19.1 { 520 CREATE TABLE t1(a INT, b INT); 521 INSERT INTO t1(a) VALUES(2); 522 CREATE TABLE t2(c INT); 523 CREATE INDEX i0 ON t2(c) WHERE c=3; 524 CREATE TABLE t3(d INT); 525 INSERT INTO t3 VALUES(1); 526 } 527 do_execsql_test index6-19.2 { 528 SELECT * FROM t2 RIGHT JOIN t3 ON d<>0 LEFT JOIN t1 ON c=3 WHERE t1.a<>0; 529 } {} 530 531 finish_test