blob: f6177b44e9571ad959fbe52c26fd6db13db2451b [file] [log] [blame]
drh1fe05372013-07-31 18:12:26 +00001# 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
16set testdir [file dirname $argv0]
17source $testdir/tester.tcl
18
danc3c16cb2013-08-20 20:25:03 +000019ifcapable !vtab {
20 finish_test
21 return
22}
23
drh1fe05372013-07-31 18:12:26 +000024load_static_extension db wholenumber;
25do_test index6-1.1 {
drh66518ca2013-08-01 15:09:57 +000026 # Able to parse and manage partial indices
drh1fe05372013-07-31 18:12:26 +000027 execsql {
drh721dfcf2013-08-01 04:39:17 +000028 CREATE TABLE t1(a,b,c);
drh1fe05372013-07-31 18:12:26 +000029 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;
drh721dfcf2013-08-01 04:39:17 +000032 INSERT INTO t1(a,b,c)
33 SELECT CASE WHEN value%3!=0 THEN value END, value, value
drh1fe05372013-07-31 18:12:26 +000034 FROM nums WHERE value<=20;
35 SELECT count(a), count(b) FROM t1;
drh66518ca2013-08-01 15:09:57 +000036 PRAGMA integrity_check;
drh1fe05372013-07-31 18:12:26 +000037 }
drh66518ca2013-08-01 15:09:57 +000038} {14 20 ok}
drh1fe05372013-07-31 18:12:26 +000039
drh5f33f372013-10-04 00:00:12 +000040# Make sure the count(*) optimization works correctly with
41# partial indices. Ticket [a5c8ed66cae16243be6] 2013-10-03.
42#
43do_execsql_test index6-1.1.1 {
44 SELECT count(*) FROM t1;
45} {20}
46
drh66518ca2013-08-01 15:09:57 +000047# Error conditions during parsing...
48#
drh3780be12013-07-31 19:05:22 +000049do_test index6-1.2 {
50 catchsql {
drh721dfcf2013-08-01 04:39:17 +000051 CREATE INDEX bad1 ON t1(a,b) WHERE x IS NOT NULL;
drh3780be12013-07-31 19:05:22 +000052 }
drh721dfcf2013-08-01 04:39:17 +000053} {1 {no such column: x}}
drh3780be12013-07-31 19:05:22 +000054do_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}}
59do_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}}
64do_test index6-1.5 {
65 catchsql {
66 CREATE INDEX bad1 ON t1(a,b) WHERE a!=random();
67 }
drha71c7432016-10-03 18:13:23 +000068} {1 {non-deterministic functions prohibited in partial index WHERE clauses}}
drh3780be12013-07-31 19:05:22 +000069do_test index6-1.6 {
70 catchsql {
71 CREATE INDEX bad1 ON t1(a,b) WHERE a NOT LIKE 'abc%';
72 }
drha71c7432016-10-03 18:13:23 +000073} {0 {}}
74do_execsql_test index6-1.7 {
75 DROP INDEX IF EXISTS bad1;
76}
drh3780be12013-07-31 19:05:22 +000077
drh8a9789b2013-08-01 03:36:59 +000078do_test index6-1.10 {
79 execsql {
80 ANALYZE;
81 SELECT idx, stat FROM sqlite_stat1 ORDER BY idx;
82 PRAGMA integrity_check;
83 }
drh721dfcf2013-08-01 04:39:17 +000084} {{} 20 t1a {14 1} t1b {10 1} ok}
drh8a9789b2013-08-01 03:36:59 +000085
drh66518ca2013-08-01 15:09:57 +000086# STAT1 shows the partial indices have a reduced number of
87# rows.
88#
drh8a9789b2013-08-01 03:36:59 +000089do_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 }
drh721dfcf2013-08-01 04:39:17 +000096} {{} 20 t1a {20 1} t1b {10 1} ok}
drh8a9789b2013-08-01 03:36:59 +000097
98do_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 }
drh721dfcf2013-08-01 04:39:17 +0000106} {{} 20 t1a {6 1} t1b {20 1} ok}
drh8a9789b2013-08-01 03:36:59 +0000107
108do_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 }
drh721dfcf2013-08-01 04:39:17 +0000116} {{} 20 t1a {13 1} t1b {10 1} ok}
drh8a9789b2013-08-01 03:36:59 +0000117
118do_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 }
drh721dfcf2013-08-01 04:39:17 +0000125} {{} 15 t1a {10 1} t1b {8 1} ok}
drh8a9789b2013-08-01 03:36:59 +0000126
127do_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 }
drh721dfcf2013-08-01 04:39:17 +0000134} {{} 15 t1a {10 1} t1b {8 1} ok}
135
136do_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}
drh3780be12013-07-31 19:05:22 +0000144
drh66518ca2013-08-01 15:09:57 +0000145# Queries use partial indices as appropriate times.
146#
147do_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;
dan7de2a1f2014-04-28 20:11:20 +0000151 UPDATE t2 SET a=NULL WHERE b%2==0;
drh66518ca2013-08-01 15:09:57 +0000152 CREATE INDEX t2a1 ON t2(a) WHERE a IS NOT NULL;
153 SELECT count(*) FROM t2 WHERE a IS NOT NULL;
154 }
dan7de2a1f2014-04-28 20:11:20 +0000155} {500}
drh66518ca2013-08-01 15:09:57 +0000156do_test index6-2.2 {
157 execsql {
158 EXPLAIN QUERY PLAN
159 SELECT * FROM t2 WHERE a=5;
160 }
161} {/.* TABLE t2 USING INDEX t2a1 .*/}
dan8ad169a2013-08-12 20:14:04 +0000162ifcapable stat4||stat3 {
dan7de2a1f2014-04-28 20:11:20 +0000163 execsql ANALYZE
dan3d407592013-08-07 18:42:27 +0000164 do_test index6-2.3stat4 {
drh9fe809c2013-08-06 19:18:17 +0000165 execsql {
166 EXPLAIN QUERY PLAN
167 SELECT * FROM t2 WHERE a IS NOT NULL;
168 }
169 } {/.* TABLE t2 USING INDEX t2a1 .*/}
170} else {
dan3d407592013-08-07 18:42:27 +0000171 do_test index6-2.3stat4 {
drh9fe809c2013-08-06 19:18:17 +0000172 execsql {
173 EXPLAIN QUERY PLAN
174 SELECT * FROM t2 WHERE a IS NOT NULL AND a>0;
175 }
176 } {/.* TABLE t2 USING INDEX t2a1 .*/}
177}
drh66518ca2013-08-01 15:09:57 +0000178do_test index6-2.4 {
179 execsql {
180 EXPLAIN QUERY PLAN
181 SELECT * FROM t2 WHERE a IS NULL;
182 }
183} {~/.*INDEX t2a1.*/}
184
185do_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}
190do_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}
195do_execsql_test index6-2.102eqp {
196 EXPLAIN QUERY PLAN
197 SELECT b FROM t2 WHERE a=15;
198} {~/.*INDEX t2a2.*/}
199do_execsql_test index6-2.103 {
200 SELECT b FROM t2 WHERE a=15 AND a<100;
201} {10015}
202do_execsql_test index6-2.103eqp {
203 EXPLAIN QUERY PLAN
204 SELECT b FROM t2 WHERE a=15 AND a<100;
205} {/.*INDEX t2a2.*/}
206do_execsql_test index6-2.104 {
207 SELECT b FROM t2 WHERE a=515 AND a>200;
208} {10515}
209do_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#
216do_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} {}
222do_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 }
drhf9c8ce32013-11-05 13:33:55 +0000227} {1 {UNIQUE constraint failed: t3.a}}
drh66518ca2013-08-01 15:09:57 +0000228do_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 {}}
235do_execsql_test index6-3.4 {
236 SELECT count(*) FROM t3 WHERE a=999;
237} {162}
238integrity_check index6-3.5
239
drh3bf0ac12013-08-01 16:02:40 +0000240do_execsql_test index6-4.0 {
241 VACUUM;
242 PRAGMA integrity_check;
243} {ok}
244
drh1e7d43c2013-08-02 14:18:18 +0000245# Silently ignore database name qualifiers in partial indices.
246#
247do_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
drh87744512014-04-13 19:15:49 +0000255# Test case for ticket [2ea3e9fe6379fc3f6ce7e090ce483c1a3a80d6c9] from
256# 2014-04-13: Partial index causes assertion fault on UPDATE OR REPLACE.
257#
258do_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}
265do_execsql_test index6-6.1 {
266 UPDATE OR REPLACE t6 SET b=789;
267 SELECT * FROM t6;
268} {123 789}
269do_execsql_test index6-6.2 {
270 PRAGMA integrity_check;
271} {ok}
272
drhe006a862015-02-24 18:39:00 +0000273# 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#
278do_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 {}}
286do_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} {}
290do_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}
294do_execsql_test index6-7.3 {
295 SELECT * FROM t7a JOIN t7b ON (x=99) ORDER BY x;
296} {99 2}
297do_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/}
drh87744512014-04-13 19:15:49 +0000301
dan2a45cb52015-02-24 20:10:49 +0000302
303do_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
318do_eqp_test index6-8.1 {
319 SELECT * FROM t8a LEFT JOIN t8b ON (x = 'value' AND y = a)
320} {
321 0 0 0 {SCAN TABLE t8a}
322 0 1 1 {SEARCH TABLE t8b USING INDEX i8c (y=?)}
323}
324
325do_execsql_test index6-8.2 {
326 SELECT * FROM t8a LEFT JOIN t8b ON (x = 'value' AND y = a)
327} {
328 1 one value 1
329 2 two {} {}
330 3 three value 3
331}
332
drh72bc8202015-06-11 13:58:35 +0000333# 2015-06-11. Assertion fault found by AFL
334#
335do_execsql_test index6-9.1 {
336 CREATE TABLE t9(a int, b int, c int);
337 CREATE INDEX t9ca ON t9(c,a) WHERE a in (10,12,20);
338 INSERT INTO t9 VALUES(1,1,9),(10,2,35),(11,15,82),(20,19,5),(NULL,7,3);
339 UPDATE t9 SET b=c WHERE a in (10,12,20);
340 SELECT a,b,c,'|' FROM t9 ORDER BY a;
341} {{} 7 3 | 1 1 9 | 10 35 35 | 11 15 82 | 20 5 5 |}
342do_execsql_test index6-9.2 {
343 DROP TABLE t9;
344 CREATE TABLE t9(a int, b int, c int, PRIMARY KEY(a)) WITHOUT ROWID;
345 CREATE INDEX t9ca ON t9(c,a) WHERE a in (10,12,20);
346 INSERT INTO t9 VALUES(1,1,9),(10,2,35),(11,15,82),(20,19,5);
347 UPDATE t9 SET b=c WHERE a in (10,12,20);
348 SELECT a,b,c,'|' FROM t9 ORDER BY a;
349} {1 1 9 | 10 35 35 | 11 15 82 | 20 5 5 |}
350
drhcf599b62015-08-07 20:57:00 +0000351# AND-connected terms in the WHERE clause of a partial index
352#
353do_execsql_test index6-10.1 {
354 CREATE TABLE t10(a,b,c,d,e INTEGER PRIMARY KEY);
355 INSERT INTO t10 VALUES
356 (1,2,3,4,5),
357 (2,3,4,5,6),
358 (3,4,5,6,7),
359 (1,2,3,8,9);
360 CREATE INDEX t10x ON t10(d) WHERE a=1 AND b=2 AND c=3;
361 SELECT e FROM t10 WHERE a=1 AND b=2 AND c=3 ORDER BY d;
362} {5 9}
363do_execsql_test index6-10.1eqp {
364 EXPLAIN QUERY PLAN
365 SELECT e FROM t10 WHERE a=1 AND b=2 AND c=3 ORDER BY d;
366} {/USING INDEX t10x/}
367do_execsql_test index6-10.2 {
368 SELECT e FROM t10 WHERE c=3 AND 2=b AND a=1 ORDER BY d DESC;
369} {9 5}
370do_execsql_test index6-10.2eqp {
371 EXPLAIN QUERY PLAN
372 SELECT e FROM t10 WHERE c=3 AND 2=b AND a=1 ORDER BY d DESC;
373} {/USING INDEX t10x/}
374do_execsql_test index6-10.3 {
375 SELECT e FROM t10 WHERE a=1 AND b=2 ORDER BY d DESC;
376} {9 5}
377do_execsql_test index6-10.3eqp {
378 EXPLAIN QUERY PLAN
379 SELECT e FROM t10 WHERE a=1 AND b=2 ORDER BY d DESC;
380} {~/USING INDEX t10x/}
drh72bc8202015-06-11 13:58:35 +0000381
drh8dc570b2016-06-08 18:07:21 +0000382# A partial index will be used for a full table scan, where possible
383do_execsql_test index6-11.1 {
384 CREATE TABLE t11(a,b,c);
385 CREATE INDEX t11x ON t11(a) WHERE b<>99;
386 EXPLAIN QUERY PLAN SELECT a FROM t11 WHERE b<>99;
387} {/USING INDEX t11x/}
388do_execsql_test index6-11.2 {
389 EXPLAIN QUERY PLAN SELECT a FROM t11 WHERE b<>99 AND c<>98;
390} {/USING INDEX t11x/}
391
392
drh1fe05372013-07-31 18:12:26 +0000393finish_test