OLD | NEW |
| (Empty) |
1 # 2007 November 29 | |
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 tests the optimisations made in November 2007 of expressions | |
12 # of the following form: | |
13 # | |
14 # <value> IN (SELECT <column> FROM <table>) | |
15 # | |
16 # $Id: in3.test,v 1.5 2008/08/04 03:51:24 danielk1977 Exp $ | |
17 | |
18 set testdir [file dirname $argv0] | |
19 source $testdir/tester.tcl | |
20 | |
21 ifcapable !subquery { | |
22 finish_test | |
23 return | |
24 } | |
25 | |
26 # Return the number of OpenEphemeral instructions used in the | |
27 # implementation of the sql statement passed as a an argument. | |
28 # | |
29 proc nEphemeral {sql} { | |
30 set nEph 0 | |
31 foreach op [execsql "EXPLAIN $sql"] { | |
32 if {$op eq "OpenEphemeral"} {incr nEph} | |
33 } | |
34 set nEph | |
35 } | |
36 | |
37 # This proc works the same way as execsql, except that the number | |
38 # of OpenEphemeral instructions used in the implementation of the | |
39 # statement is inserted into the start of the returned list. | |
40 # | |
41 proc exec_neph {sql} { | |
42 return [concat [nEphemeral $sql] [execsql $sql]] | |
43 } | |
44 | |
45 do_test in3-1.1 { | |
46 execsql { | |
47 CREATE TABLE t1(a PRIMARY KEY, b); | |
48 INSERT INTO t1 VALUES(1, 2); | |
49 INSERT INTO t1 VALUES(3, 4); | |
50 INSERT INTO t1 VALUES(5, 6); | |
51 } | |
52 } {} | |
53 | |
54 # All of these queries should avoid using a temp-table: | |
55 # | |
56 do_test in3-1.2 { | |
57 exec_neph { SELECT rowid FROM t1 WHERE rowid IN (SELECT rowid FROM t1); } | |
58 } {0 1 2 3} | |
59 do_test in3-1.3 { | |
60 exec_neph { SELECT a FROM t1 WHERE a IN (SELECT a FROM t1); } | |
61 } {0 1 3 5} | |
62 do_test in3-1.4 { | |
63 exec_neph { SELECT rowid FROM t1 WHERE rowid+0 IN (SELECT rowid FROM t1); } | |
64 } {0 1 2 3} | |
65 do_test in3-1.5 { | |
66 exec_neph { SELECT a FROM t1 WHERE a+0 IN (SELECT a FROM t1); } | |
67 } {0 1 3 5} | |
68 | |
69 # Because none of the sub-select queries in the following statements | |
70 # match the pattern ("SELECT <column> FROM <table>"), the following do | |
71 # require a temp table. | |
72 # | |
73 do_test in3-1.6 { | |
74 exec_neph { SELECT rowid FROM t1 WHERE rowid IN (SELECT rowid+0 FROM t1); } | |
75 } {1 1 2 3} | |
76 do_test in3-1.7 { | |
77 exec_neph { SELECT a FROM t1 WHERE a IN (SELECT a+0 FROM t1); } | |
78 } {1 1 3 5} | |
79 do_test in3-1.8 { | |
80 exec_neph { SELECT a FROM t1 WHERE a IN (SELECT a FROM t1 WHERE 1); } | |
81 } {1 1 3 5} | |
82 do_test in3-1.9 { | |
83 exec_neph { SELECT a FROM t1 WHERE a IN (SELECT a FROM t1 GROUP BY a); } | |
84 } {1 1 3 5} | |
85 | |
86 # This should not use a temp-table. Even though the sub-select does | |
87 # not exactly match the pattern "SELECT <column> FROM <table>", in | |
88 # this case the ORDER BY is a no-op and can be ignored. | |
89 do_test in3-1.10 { | |
90 exec_neph { SELECT a FROM t1 WHERE a IN (SELECT a FROM t1 ORDER BY a); } | |
91 } {0 1 3 5} | |
92 | |
93 # These do use the temp-table. Adding the LIMIT clause means the | |
94 # ORDER BY cannot be ignored. | |
95 do_test in3-1.11 { | |
96 exec_neph {SELECT a FROM t1 WHERE a IN (SELECT a FROM t1 ORDER BY a LIMIT 1)} | |
97 } {1 1} | |
98 do_test in3-1.12 { | |
99 exec_neph { | |
100 SELECT a FROM t1 WHERE a IN (SELECT a FROM t1 ORDER BY a LIMIT 1 OFFSET 1) | |
101 } | |
102 } {1 3} | |
103 | |
104 # Has to use a temp-table because of the compound sub-select. | |
105 # | |
106 ifcapable compound { | |
107 do_test in3-1.13 { | |
108 exec_neph { | |
109 SELECT a FROM t1 WHERE a IN ( | |
110 SELECT a FROM t1 UNION ALL SELECT a FROM t1 | |
111 ) | |
112 } | |
113 } {1 1 3 5} | |
114 } | |
115 | |
116 # The first of these queries has to use the temp-table, because the | |
117 # collation sequence used for the index on "t1.a" does not match the | |
118 # collation sequence used by the "IN" comparison. The second does not | |
119 # require a temp-table, because the collation sequences match. | |
120 # | |
121 do_test in3-1.14 { | |
122 exec_neph { SELECT a FROM t1 WHERE a COLLATE nocase IN (SELECT a FROM t1) } | |
123 } {1 1 3 5} | |
124 do_test in3-1.15 { | |
125 exec_neph { SELECT a FROM t1 WHERE a COLLATE binary IN (SELECT a FROM t1) } | |
126 } {0 1 3 5} | |
127 | |
128 # Neither of these queries require a temp-table. The collation sequence | |
129 # makes no difference when using a rowid. | |
130 # | |
131 do_test in3-1.16 { | |
132 exec_neph {SELECT a FROM t1 WHERE a COLLATE nocase IN (SELECT rowid FROM t1)} | |
133 } {0 1 3} | |
134 do_test in3-1.17 { | |
135 exec_neph {SELECT a FROM t1 WHERE a COLLATE binary IN (SELECT rowid FROM t1)} | |
136 } {0 1 3} | |
137 | |
138 # The following tests - in3.2.* - test a bug that was difficult to track | |
139 # down during development. They are not particularly well focused. | |
140 # | |
141 do_test in3-2.1 { | |
142 execsql { | |
143 DROP TABLE IF EXISTS t1; | |
144 CREATE TABLE t1(w int, x int, y int); | |
145 CREATE TABLE t2(p int, q int, r int, s int); | |
146 } | |
147 for {set i 1} {$i<=100} {incr i} { | |
148 set w $i | |
149 set x [expr {int(log($i)/log(2))}] | |
150 set y [expr {$i*$i + 2*$i + 1}] | |
151 execsql "INSERT INTO t1 VALUES($w,$x,$y)" | |
152 } | |
153 set maxy [execsql {select max(y) from t1}] | |
154 db eval { INSERT INTO t2 SELECT 101-w, x, $maxy+1-y, y FROM t1 } | |
155 } {} | |
156 do_test in3-2.2 { | |
157 execsql { | |
158 SELECT rowid | |
159 FROM t1 | |
160 WHERE rowid IN (SELECT rowid FROM t1 WHERE rowid IN (1, 2)); | |
161 } | |
162 } {1 2} | |
163 do_test in3-2.3 { | |
164 execsql { | |
165 select rowid from t1 where rowid IN (-1,2,4) | |
166 } | |
167 } {2 4} | |
168 do_test in3-2.4 { | |
169 execsql { | |
170 SELECT rowid FROM t1 WHERE rowid IN | |
171 (select rowid from t1 where rowid IN (-1,2,4)) | |
172 } | |
173 } {2 4} | |
174 | |
175 #------------------------------------------------------------------------- | |
176 # This next block of tests - in3-3.* - verify that column affinity is | |
177 # correctly handled in cases where an index might be used to optimise | |
178 # an IN (SELECT) expression. | |
179 # | |
180 do_test in3-3.1 { | |
181 catch {execsql { | |
182 DROP TABLE t1; | |
183 DROP TABLE t2; | |
184 }} | |
185 | |
186 execsql { | |
187 | |
188 CREATE TABLE t1(a BLOB, b NUMBER ,c TEXT); | |
189 CREATE UNIQUE INDEX t1_i1 ON t1(a); /* no affinity */ | |
190 CREATE UNIQUE INDEX t1_i2 ON t1(b); /* numeric affinity */ | |
191 CREATE UNIQUE INDEX t1_i3 ON t1(c); /* text affinity */ | |
192 | |
193 CREATE TABLE t2(x BLOB, y NUMBER, z TEXT); | |
194 CREATE UNIQUE INDEX t2_i1 ON t2(x); /* no affinity */ | |
195 CREATE UNIQUE INDEX t2_i2 ON t2(y); /* numeric affinity */ | |
196 CREATE UNIQUE INDEX t2_i3 ON t2(z); /* text affinity */ | |
197 | |
198 INSERT INTO t1 VALUES(1, 1, 1); | |
199 INSERT INTO t2 VALUES('1', '1', '1'); | |
200 } | |
201 } {} | |
202 | |
203 do_test in3-3.2 { | |
204 # No affinity is applied before comparing "x" and "a". Therefore | |
205 # the index can be used (the comparison is false, text!=number). | |
206 exec_neph { SELECT x IN (SELECT a FROM t1) FROM t2 } | |
207 } {0 0} | |
208 do_test in3-3.3 { | |
209 # Logically, numeric affinity is applied to both sides before | |
210 # the comparison. Therefore it is possible to use index t1_i2. | |
211 exec_neph { SELECT x IN (SELECT b FROM t1) FROM t2 } | |
212 } {0 1} | |
213 do_test in3-3.4 { | |
214 # No affinity is applied before the comparison takes place. Making | |
215 # it possible to use index t1_i3. | |
216 exec_neph { SELECT x IN (SELECT c FROM t1) FROM t2 } | |
217 } {0 1} | |
218 | |
219 do_test in3-3.5 { | |
220 # Numeric affinity should be applied to each side before the comparison | |
221 # takes place. Therefore we cannot use index t1_i1, which has no affinity. | |
222 exec_neph { SELECT y IN (SELECT a FROM t1) FROM t2 } | |
223 } {1 1} | |
224 do_test in3-3.6 { | |
225 # Numeric affinity is applied to both sides before | |
226 # the comparison. Therefore it is possible to use index t1_i2. | |
227 exec_neph { SELECT y IN (SELECT b FROM t1) FROM t2 } | |
228 } {0 1} | |
229 do_test in3-3.7 { | |
230 # Numeric affinity is applied before the comparison takes place. | |
231 # Making it impossible to use index t1_i3. | |
232 exec_neph { SELECT y IN (SELECT c FROM t1) FROM t2 } | |
233 } {1 1} | |
234 | |
235 #--------------------------------------------------------------------- | |
236 # | |
237 # Test using a multi-column index. | |
238 # | |
239 do_test in3-4.1 { | |
240 execsql { | |
241 CREATE TABLE t3(a, b, c); | |
242 CREATE UNIQUE INDEX t3_i ON t3(b, a); | |
243 } | |
244 | |
245 execsql { | |
246 INSERT INTO t3 VALUES(1, 'numeric', 2); | |
247 INSERT INTO t3 VALUES(2, 'text', 2); | |
248 INSERT INTO t3 VALUES(3, 'real', 2); | |
249 INSERT INTO t3 VALUES(4, 'none', 2); | |
250 } | |
251 } {} | |
252 do_test in3-4.2 { | |
253 exec_neph { SELECT 'text' IN (SELECT b FROM t3) } | |
254 } {0 1} | |
255 do_test in3-4.3 { | |
256 exec_neph { SELECT 'TEXT' COLLATE nocase IN (SELECT b FROM t3) } | |
257 } {1 1} | |
258 do_test in3-4.4 { | |
259 # A temp table must be used because t3_i.b is not guaranteed to be unique. | |
260 exec_neph { SELECT b FROM t3 WHERE b IN (SELECT b FROM t3) } | |
261 } {1 none numeric real text} | |
262 do_test in3-4.5 { | |
263 execsql { CREATE UNIQUE INDEX t3_i2 ON t3(b) } | |
264 exec_neph { SELECT b FROM t3 WHERE b IN (SELECT b FROM t3) } | |
265 } {0 none numeric real text} | |
266 do_test in3-4.6 { | |
267 execsql { DROP INDEX t3_i2 } | |
268 } {} | |
269 | |
270 # The following two test cases verify that ticket #2991 has been fixed. | |
271 # | |
272 do_test in3-5.1 { | |
273 execsql { | |
274 CREATE TABLE Folders( | |
275 folderid INTEGER PRIMARY KEY, | |
276 parentid INTEGER, | |
277 rootid INTEGER, | |
278 path VARCHAR(255) | |
279 ); | |
280 } | |
281 } {} | |
282 do_test in3-5.2 { | |
283 catchsql { | |
284 DELETE FROM Folders WHERE folderid IN | |
285 (SELECT folderid FROM Folder WHERE path LIKE 'C:\MP3\Albums\' || '%'); | |
286 } | |
287 } {1 {no such table: Folder}} | |
288 | |
289 finish_test | |
OLD | NEW |