drh | d820cb1 | 2002-02-18 03:21:45 +0000 | [diff] [blame] | 1 | # 2001 September 15 |
| 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 SELECT statements that contain |
| 13 | # subqueries in their FROM clause. |
| 14 | # |
drh | d820cb1 | 2002-02-18 03:21:45 +0000 | [diff] [blame] | 15 | |
| 16 | set testdir [file dirname $argv0] |
| 17 | source $testdir/tester.tcl |
| 18 | |
danielk1977 | 3e8c37e | 2005-01-21 03:12:14 +0000 | [diff] [blame] | 19 | # Omit this whole file if the library is build without subquery support. |
| 20 | ifcapable !subquery { |
| 21 | finish_test |
| 22 | return |
| 23 | } |
dan | 67c7014 | 2012-08-28 14:45:50 +0000 | [diff] [blame] | 24 | set ::testprefix select6 |
danielk1977 | 3e8c37e | 2005-01-21 03:12:14 +0000 | [diff] [blame] | 25 | |
drh | d820cb1 | 2002-02-18 03:21:45 +0000 | [diff] [blame] | 26 | do_test select6-1.0 { |
drh | cf90950 | 2002-02-18 13:35:33 +0000 | [diff] [blame] | 27 | execsql { |
| 28 | BEGIN; |
| 29 | CREATE TABLE t1(x, y); |
| 30 | INSERT INTO t1 VALUES(1,1); |
| 31 | INSERT INTO t1 VALUES(2,2); |
| 32 | INSERT INTO t1 VALUES(3,2); |
| 33 | INSERT INTO t1 VALUES(4,3); |
| 34 | INSERT INTO t1 VALUES(5,3); |
| 35 | INSERT INTO t1 VALUES(6,3); |
| 36 | INSERT INTO t1 VALUES(7,3); |
| 37 | INSERT INTO t1 VALUES(8,4); |
| 38 | INSERT INTO t1 VALUES(9,4); |
| 39 | INSERT INTO t1 VALUES(10,4); |
| 40 | INSERT INTO t1 VALUES(11,4); |
| 41 | INSERT INTO t1 VALUES(12,4); |
| 42 | INSERT INTO t1 VALUES(13,4); |
| 43 | INSERT INTO t1 VALUES(14,4); |
| 44 | INSERT INTO t1 VALUES(15,4); |
| 45 | INSERT INTO t1 VALUES(16,5); |
| 46 | INSERT INTO t1 VALUES(17,5); |
| 47 | INSERT INTO t1 VALUES(18,5); |
| 48 | INSERT INTO t1 VALUES(19,5); |
| 49 | INSERT INTO t1 VALUES(20,5); |
| 50 | COMMIT; |
| 51 | SELECT DISTINCT y FROM t1 ORDER BY y; |
| 52 | } |
| 53 | } {1 2 3 4 5} |
drh | d820cb1 | 2002-02-18 03:21:45 +0000 | [diff] [blame] | 54 | |
| 55 | do_test select6-1.1 { |
drh | cf90950 | 2002-02-18 13:35:33 +0000 | [diff] [blame] | 56 | execsql2 {SELECT * FROM (SELECT x, y FROM t1 WHERE x<2)} |
| 57 | } {x 1 y 1} |
drh | d820cb1 | 2002-02-18 03:21:45 +0000 | [diff] [blame] | 58 | do_test select6-1.2 { |
| 59 | execsql {SELECT count(*) FROM (SELECT y FROM t1)} |
drh | cf90950 | 2002-02-18 13:35:33 +0000 | [diff] [blame] | 60 | } {20} |
drh | d820cb1 | 2002-02-18 03:21:45 +0000 | [diff] [blame] | 61 | do_test select6-1.3 { |
| 62 | execsql {SELECT count(*) FROM (SELECT DISTINCT y FROM t1)} |
drh | cf90950 | 2002-02-18 13:35:33 +0000 | [diff] [blame] | 63 | } {5} |
drh | d820cb1 | 2002-02-18 03:21:45 +0000 | [diff] [blame] | 64 | do_test select6-1.4 { |
| 65 | execsql {SELECT count(*) FROM (SELECT DISTINCT * FROM (SELECT y FROM t1))} |
drh | cf90950 | 2002-02-18 13:35:33 +0000 | [diff] [blame] | 66 | } {5} |
drh | d820cb1 | 2002-02-18 03:21:45 +0000 | [diff] [blame] | 67 | do_test select6-1.5 { |
| 68 | execsql {SELECT count(*) FROM (SELECT * FROM (SELECT DISTINCT y FROM t1))} |
drh | cf90950 | 2002-02-18 13:35:33 +0000 | [diff] [blame] | 69 | } {5} |
drh | d820cb1 | 2002-02-18 03:21:45 +0000 | [diff] [blame] | 70 | |
drh | cf90950 | 2002-02-18 13:35:33 +0000 | [diff] [blame] | 71 | do_test select6-1.6 { |
| 72 | execsql { |
| 73 | SELECT * |
| 74 | FROM (SELECT count(*),y FROM t1 GROUP BY y) AS a, |
| 75 | (SELECT max(x),y FROM t1 GROUP BY y) as b |
| 76 | WHERE a.y=b.y ORDER BY a.y |
| 77 | } |
| 78 | } {1 1 1 1 2 2 3 2 4 3 7 3 8 4 15 4 5 5 20 5} |
| 79 | do_test select6-1.7 { |
| 80 | execsql { |
| 81 | SELECT a.y, a.[count(*)], [max(x)], [count(*)] |
| 82 | FROM (SELECT count(*),y FROM t1 GROUP BY y) AS a, |
| 83 | (SELECT max(x),y FROM t1 GROUP BY y) as b |
| 84 | WHERE a.y=b.y ORDER BY a.y |
| 85 | } |
| 86 | } {1 1 1 1 2 2 3 2 3 4 7 4 4 8 15 8 5 5 20 5} |
| 87 | do_test select6-1.8 { |
| 88 | execsql { |
| 89 | SELECT q, p, r |
| 90 | FROM (SELECT count(*) as p , y as q FROM t1 GROUP BY y) AS a, |
| 91 | (SELECT max(x) as r, y as s FROM t1 GROUP BY y) as b |
| 92 | WHERE q=s ORDER BY s |
| 93 | } |
| 94 | } {1 1 1 2 2 3 3 4 7 4 8 15 5 5 20} |
| 95 | do_test select6-1.9 { |
| 96 | execsql { |
| 97 | SELECT q, p, r, b.[min(x)+y] |
| 98 | FROM (SELECT count(*) as p , y as q FROM t1 GROUP BY y) AS a, |
| 99 | (SELECT max(x) as r, y as s, min(x)+y FROM t1 GROUP BY y) as b |
| 100 | WHERE q=s ORDER BY s |
| 101 | } |
| 102 | } {1 1 1 2 2 2 3 4 3 4 7 7 4 8 15 12 5 5 20 21} |
drh | d820cb1 | 2002-02-18 03:21:45 +0000 | [diff] [blame] | 103 | |
drh | 741f706 | 2006-11-30 13:06:00 +0000 | [diff] [blame] | 104 | do_test select6-2.0 { |
drh | cf90950 | 2002-02-18 13:35:33 +0000 | [diff] [blame] | 105 | execsql { |
| 106 | CREATE TABLE t2(a INTEGER PRIMARY KEY, b); |
| 107 | INSERT INTO t2 SELECT * FROM t1; |
| 108 | SELECT DISTINCT b FROM t2 ORDER BY b; |
| 109 | } |
| 110 | } {1 2 3 4 5} |
| 111 | do_test select6-2.1 { |
| 112 | execsql2 {SELECT * FROM (SELECT a, b FROM t2 WHERE a<2)} |
| 113 | } {a 1 b 1} |
| 114 | do_test select6-2.2 { |
| 115 | execsql {SELECT count(*) FROM (SELECT b FROM t2)} |
| 116 | } {20} |
| 117 | do_test select6-2.3 { |
| 118 | execsql {SELECT count(*) FROM (SELECT DISTINCT b FROM t2)} |
| 119 | } {5} |
| 120 | do_test select6-2.4 { |
| 121 | execsql {SELECT count(*) FROM (SELECT DISTINCT * FROM (SELECT b FROM t2))} |
| 122 | } {5} |
| 123 | do_test select6-2.5 { |
| 124 | execsql {SELECT count(*) FROM (SELECT * FROM (SELECT DISTINCT b FROM t2))} |
| 125 | } {5} |
drh | d820cb1 | 2002-02-18 03:21:45 +0000 | [diff] [blame] | 126 | |
drh | cf90950 | 2002-02-18 13:35:33 +0000 | [diff] [blame] | 127 | do_test select6-2.6 { |
| 128 | execsql { |
| 129 | SELECT * |
| 130 | FROM (SELECT count(*),b FROM t2 GROUP BY b) AS a, |
| 131 | (SELECT max(a),b FROM t2 GROUP BY b) as b |
| 132 | WHERE a.b=b.b ORDER BY a.b |
| 133 | } |
| 134 | } {1 1 1 1 2 2 3 2 4 3 7 3 8 4 15 4 5 5 20 5} |
| 135 | do_test select6-2.7 { |
| 136 | execsql { |
| 137 | SELECT a.b, a.[count(*)], [max(a)], [count(*)] |
| 138 | FROM (SELECT count(*),b FROM t2 GROUP BY b) AS a, |
| 139 | (SELECT max(a),b FROM t2 GROUP BY b) as b |
| 140 | WHERE a.b=b.b ORDER BY a.b |
| 141 | } |
| 142 | } {1 1 1 1 2 2 3 2 3 4 7 4 4 8 15 8 5 5 20 5} |
| 143 | do_test select6-2.8 { |
| 144 | execsql { |
| 145 | SELECT q, p, r |
| 146 | FROM (SELECT count(*) as p , b as q FROM t2 GROUP BY b) AS a, |
| 147 | (SELECT max(a) as r, b as s FROM t2 GROUP BY b) as b |
| 148 | WHERE q=s ORDER BY s |
| 149 | } |
| 150 | } {1 1 1 2 2 3 3 4 7 4 8 15 5 5 20} |
| 151 | do_test select6-2.9 { |
| 152 | execsql { |
| 153 | SELECT a.q, a.p, b.r |
| 154 | FROM (SELECT count(*) as p , b as q FROM t2 GROUP BY q) AS a, |
| 155 | (SELECT max(a) as r, b as s FROM t2 GROUP BY s) as b |
| 156 | WHERE a.q=b.s ORDER BY a.q |
| 157 | } |
| 158 | } {1 1 1 2 2 3 3 4 7 4 8 15 5 5 20} |
| 159 | |
danielk1977 | b3bce66 | 2005-01-29 08:32:43 +0000 | [diff] [blame] | 160 | do_test select6-3.1 { |
drh | cf90950 | 2002-02-18 13:35:33 +0000 | [diff] [blame] | 161 | execsql2 { |
| 162 | SELECT * FROM (SELECT * FROM (SELECT * FROM t1 WHERE x=3)); |
| 163 | } |
| 164 | } {x 3 y 2} |
danielk1977 | b3bce66 | 2005-01-29 08:32:43 +0000 | [diff] [blame] | 165 | do_test select6-3.2 { |
drh | cf90950 | 2002-02-18 13:35:33 +0000 | [diff] [blame] | 166 | execsql { |
| 167 | SELECT * FROM |
| 168 | (SELECT a.q, a.p, b.r |
| 169 | FROM (SELECT count(*) as p , b as q FROM t2 GROUP BY q) AS a, |
| 170 | (SELECT max(a) as r, b as s FROM t2 GROUP BY s) as b |
| 171 | WHERE a.q=b.s ORDER BY a.q) |
danielk1977 | b3bce66 | 2005-01-29 08:32:43 +0000 | [diff] [blame] | 172 | ORDER BY "a.q" |
drh | cf90950 | 2002-02-18 13:35:33 +0000 | [diff] [blame] | 173 | } |
| 174 | } {1 1 1 2 2 3 3 4 7 4 8 15 5 5 20} |
drh | 1b2e032 | 2002-03-03 02:49:51 +0000 | [diff] [blame] | 175 | do_test select6-3.3 { |
| 176 | execsql { |
| 177 | SELECT a,b,a+b FROM (SELECT avg(x) as 'a', avg(y) as 'b' FROM t1) |
| 178 | } |
| 179 | } {10.5 3.7 14.2} |
| 180 | do_test select6-3.4 { |
| 181 | execsql { |
| 182 | SELECT a,b,a+b FROM (SELECT avg(x) as 'a', avg(y) as 'b' FROM t1 WHERE y=4) |
| 183 | } |
drh | 92febd9 | 2004-08-20 18:34:20 +0000 | [diff] [blame] | 184 | } {11.5 4.0 15.5} |
drh | 1b2e032 | 2002-03-03 02:49:51 +0000 | [diff] [blame] | 185 | do_test select6-3.5 { |
| 186 | execsql { |
| 187 | SELECT x,y,x+y FROM (SELECT avg(a) as 'x', avg(b) as 'y' FROM t2 WHERE a=4) |
| 188 | } |
drh | 8a51256 | 2005-11-14 22:29:05 +0000 | [diff] [blame] | 189 | } {4.0 3.0 7.0} |
drh | 1b2e032 | 2002-03-03 02:49:51 +0000 | [diff] [blame] | 190 | do_test select6-3.6 { |
| 191 | execsql { |
| 192 | SELECT a,b,a+b FROM (SELECT avg(x) as 'a', avg(y) as 'b' FROM t1) |
| 193 | WHERE a>10 |
| 194 | } |
| 195 | } {10.5 3.7 14.2} |
| 196 | do_test select6-3.7 { |
| 197 | execsql { |
| 198 | SELECT a,b,a+b FROM (SELECT avg(x) as 'a', avg(y) as 'b' FROM t1) |
| 199 | WHERE a<10 |
| 200 | } |
| 201 | } {} |
| 202 | do_test select6-3.8 { |
| 203 | execsql { |
| 204 | SELECT a,b,a+b FROM (SELECT avg(x) as 'a', avg(y) as 'b' FROM t1 WHERE y=4) |
| 205 | WHERE a>10 |
| 206 | } |
drh | 92febd9 | 2004-08-20 18:34:20 +0000 | [diff] [blame] | 207 | } {11.5 4.0 15.5} |
drh | 1b2e032 | 2002-03-03 02:49:51 +0000 | [diff] [blame] | 208 | do_test select6-3.9 { |
| 209 | execsql { |
| 210 | SELECT a,b,a+b FROM (SELECT avg(x) as 'a', avg(y) as 'b' FROM t1 WHERE y=4) |
| 211 | WHERE a<10 |
| 212 | } |
| 213 | } {} |
| 214 | do_test select6-3.10 { |
| 215 | execsql { |
| 216 | SELECT a,b,a+b FROM (SELECT avg(x) as 'a', y as 'b' FROM t1 GROUP BY b) |
| 217 | ORDER BY a |
| 218 | } |
drh | 8a51256 | 2005-11-14 22:29:05 +0000 | [diff] [blame] | 219 | } {1.0 1 2.0 2.5 2 4.5 5.5 3 8.5 11.5 4 15.5 18.0 5 23.0} |
drh | 1b2e032 | 2002-03-03 02:49:51 +0000 | [diff] [blame] | 220 | do_test select6-3.11 { |
| 221 | execsql { |
| 222 | SELECT a,b,a+b FROM |
| 223 | (SELECT avg(x) as 'a', y as 'b' FROM t1 GROUP BY b) |
| 224 | WHERE b<4 ORDER BY a |
| 225 | } |
drh | 8a51256 | 2005-11-14 22:29:05 +0000 | [diff] [blame] | 226 | } {1.0 1 2.0 2.5 2 4.5 5.5 3 8.5} |
drh | 1b2e032 | 2002-03-03 02:49:51 +0000 | [diff] [blame] | 227 | do_test select6-3.12 { |
| 228 | execsql { |
| 229 | SELECT a,b,a+b FROM |
| 230 | (SELECT avg(x) as 'a', y as 'b' FROM t1 GROUP BY b HAVING a>1) |
| 231 | WHERE b<4 ORDER BY a |
| 232 | } |
| 233 | } {2.5 2 4.5 5.5 3 8.5} |
| 234 | do_test select6-3.13 { |
| 235 | execsql { |
| 236 | SELECT a,b,a+b FROM |
| 237 | (SELECT avg(x) as 'a', y as 'b' FROM t1 GROUP BY b HAVING a>1) |
| 238 | ORDER BY a |
| 239 | } |
drh | 8a51256 | 2005-11-14 22:29:05 +0000 | [diff] [blame] | 240 | } {2.5 2 4.5 5.5 3 8.5 11.5 4 15.5 18.0 5 23.0} |
drh | 1b2e032 | 2002-03-03 02:49:51 +0000 | [diff] [blame] | 241 | do_test select6-3.14 { |
| 242 | execsql { |
| 243 | SELECT [count(*)],y FROM (SELECT count(*), y FROM t1 GROUP BY y) |
| 244 | ORDER BY [count(*)] |
| 245 | } |
| 246 | } {1 1 2 2 4 3 5 5 8 4} |
| 247 | do_test select6-3.15 { |
| 248 | execsql { |
| 249 | SELECT [count(*)],y FROM (SELECT count(*), y FROM t1 GROUP BY y) |
| 250 | ORDER BY y |
| 251 | } |
| 252 | } {1 1 2 2 4 3 8 4 5 5} |
| 253 | |
| 254 | do_test select6-4.1 { |
| 255 | execsql { |
| 256 | SELECT a,b,c FROM |
| 257 | (SELECT x AS 'a', y AS 'b', x+y AS 'c' FROM t1 WHERE y=4) |
| 258 | WHERE a<10 ORDER BY a; |
| 259 | } |
| 260 | } {8 4 12 9 4 13} |
| 261 | do_test select6-4.2 { |
| 262 | execsql { |
| 263 | SELECT y FROM (SELECT DISTINCT y FROM t1) WHERE y<5 ORDER BY y |
| 264 | } |
| 265 | } {1 2 3 4} |
| 266 | do_test select6-4.3 { |
| 267 | execsql { |
| 268 | SELECT DISTINCT y FROM (SELECT y FROM t1) WHERE y<5 ORDER BY y |
| 269 | } |
| 270 | } {1 2 3 4} |
drh | 2d0794e | 2002-03-03 03:03:52 +0000 | [diff] [blame] | 271 | do_test select6-4.4 { |
| 272 | execsql { |
| 273 | SELECT avg(y) FROM (SELECT DISTINCT y FROM t1) WHERE y<5 ORDER BY y |
| 274 | } |
| 275 | } {2.5} |
| 276 | do_test select6-4.5 { |
| 277 | execsql { |
| 278 | SELECT avg(y) FROM (SELECT DISTINCT y FROM t1 WHERE y<5) ORDER BY y |
| 279 | } |
| 280 | } {2.5} |
drh | 1b2e032 | 2002-03-03 02:49:51 +0000 | [diff] [blame] | 281 | |
drh | c0a165b | 2002-03-03 03:11:15 +0000 | [diff] [blame] | 282 | do_test select6-5.1 { |
| 283 | execsql { |
| 284 | SELECT a,x,b FROM |
| 285 | (SELECT x+3 AS 'a', x FROM t1 WHERE y=3) AS 'p', |
| 286 | (SELECT x AS 'b' FROM t1 WHERE y=4) AS 'q' |
| 287 | WHERE a=b |
| 288 | ORDER BY a |
| 289 | } |
| 290 | } {8 5 8 9 6 9 10 7 10} |
drh | 094b2bb | 2002-03-13 18:54:07 +0000 | [diff] [blame] | 291 | do_test select6-5.2 { |
| 292 | execsql { |
| 293 | SELECT a,x,b FROM |
| 294 | (SELECT x+3 AS 'a', x FROM t1 WHERE y=3), |
| 295 | (SELECT x AS 'b' FROM t1 WHERE y=4) |
| 296 | WHERE a=b |
| 297 | ORDER BY a |
| 298 | } |
| 299 | } {8 5 8 9 6 9 10 7 10} |
drh | 1b2e032 | 2002-03-03 02:49:51 +0000 | [diff] [blame] | 300 | |
drh | 1cc3d75 | 2002-03-23 00:31:29 +0000 | [diff] [blame] | 301 | # Tests of compound sub-selects |
| 302 | # |
drh | 7d10d5a | 2008-08-20 16:35:10 +0000 | [diff] [blame] | 303 | do_test select6-6.1 { |
drh | 1cc3d75 | 2002-03-23 00:31:29 +0000 | [diff] [blame] | 304 | execsql { |
| 305 | DELETE FROM t1 WHERE x>4; |
| 306 | SELECT * FROM t1 |
| 307 | } |
| 308 | } {1 1 2 2 3 2 4 3} |
danielk1977 | a1686c9 | 2006-01-23 07:52:37 +0000 | [diff] [blame] | 309 | ifcapable compound { |
| 310 | do_test select6-6.2 { |
| 311 | execsql { |
| 312 | SELECT * FROM ( |
| 313 | SELECT x AS 'a' FROM t1 UNION ALL SELECT x+10 AS 'a' FROM t1 |
| 314 | ) ORDER BY a; |
| 315 | } |
| 316 | } {1 2 3 4 11 12 13 14} |
| 317 | do_test select6-6.3 { |
| 318 | execsql { |
| 319 | SELECT * FROM ( |
| 320 | SELECT x AS 'a' FROM t1 UNION ALL SELECT x+1 AS 'a' FROM t1 |
| 321 | ) ORDER BY a; |
| 322 | } |
| 323 | } {1 2 2 3 3 4 4 5} |
| 324 | do_test select6-6.4 { |
| 325 | execsql { |
| 326 | SELECT * FROM ( |
| 327 | SELECT x AS 'a' FROM t1 UNION SELECT x+1 AS 'a' FROM t1 |
| 328 | ) ORDER BY a; |
| 329 | } |
| 330 | } {1 2 3 4 5} |
| 331 | do_test select6-6.5 { |
| 332 | execsql { |
| 333 | SELECT * FROM ( |
| 334 | SELECT x AS 'a' FROM t1 INTERSECT SELECT x+1 AS 'a' FROM t1 |
| 335 | ) ORDER BY a; |
| 336 | } |
| 337 | } {2 3 4} |
| 338 | do_test select6-6.6 { |
| 339 | execsql { |
| 340 | SELECT * FROM ( |
| 341 | SELECT x AS 'a' FROM t1 EXCEPT SELECT x*2 AS 'a' FROM t1 |
| 342 | ) ORDER BY a; |
| 343 | } |
| 344 | } {1 3} |
danielk1977 | 27c7743 | 2004-11-22 13:35:41 +0000 | [diff] [blame] | 345 | } ;# ifcapable compound |
drh | 1cc3d75 | 2002-03-23 00:31:29 +0000 | [diff] [blame] | 346 | |
drh | 08192d5 | 2002-04-30 19:20:28 +0000 | [diff] [blame] | 347 | # Subselects with no FROM clause |
| 348 | # |
| 349 | do_test select6-7.1 { |
| 350 | execsql { |
| 351 | SELECT * FROM (SELECT 1) |
| 352 | } |
| 353 | } {1} |
| 354 | do_test select6-7.2 { |
| 355 | execsql { |
| 356 | SELECT c,b,a,* FROM (SELECT 1 AS 'a', 2 AS 'b', 'abc' AS 'c') |
| 357 | } |
| 358 | } {abc 2 1 1 2 abc} |
| 359 | do_test select6-7.3 { |
| 360 | execsql { |
| 361 | SELECT c,b,a,* FROM (SELECT 1 AS 'a', 2 AS 'b', 'abc' AS 'c' WHERE 0) |
| 362 | } |
| 363 | } {} |
| 364 | do_test select6-7.4 { |
| 365 | execsql2 { |
| 366 | SELECT c,b,a,* FROM (SELECT 1 AS 'a', 2 AS 'b', 'abc' AS 'c' WHERE 1) |
| 367 | } |
| 368 | } {c abc b 2 a 1 a 1 b 2 c abc} |
| 369 | |
drh | 6bf8957 | 2004-11-03 16:27:01 +0000 | [diff] [blame] | 370 | # The remaining tests in this file depend on the EXPLAIN keyword. |
| 371 | # Skip these tests if EXPLAIN is disabled in the current build. |
| 372 | # |
| 373 | ifcapable {!explain} { |
| 374 | finish_test |
| 375 | return |
| 376 | } |
| 377 | |
drh | e9ffc16 | 2003-05-02 16:44:25 +0000 | [diff] [blame] | 378 | # The following procedure compiles the SQL given as an argument and returns |
| 379 | # TRUE if that SQL uses any transient tables and returns FALSE if no |
| 380 | # transient tables are used. This is used to make sure that the |
| 381 | # sqliteFlattenSubquery() routine in select.c is doing its job. |
| 382 | # |
| 383 | proc is_flat {sql} { |
drh | b9bb7c1 | 2006-06-11 23:41:55 +0000 | [diff] [blame] | 384 | return [expr 0>[lsearch [execsql "EXPLAIN $sql"] OpenEphemeral]] |
drh | e9ffc16 | 2003-05-02 16:44:25 +0000 | [diff] [blame] | 385 | } |
| 386 | |
| 387 | # Check that the flattener works correctly for deeply nested subqueries |
| 388 | # involving joins. |
| 389 | # |
| 390 | do_test select6-8.1 { |
| 391 | execsql { |
| 392 | BEGIN; |
| 393 | CREATE TABLE t3(p,q); |
| 394 | INSERT INTO t3 VALUES(1,11); |
| 395 | INSERT INTO t3 VALUES(2,22); |
| 396 | CREATE TABLE t4(q,r); |
| 397 | INSERT INTO t4 VALUES(11,111); |
| 398 | INSERT INTO t4 VALUES(22,222); |
| 399 | COMMIT; |
| 400 | SELECT * FROM t3 NATURAL JOIN t4; |
| 401 | } |
| 402 | } {1 11 111 2 22 222} |
| 403 | do_test select6-8.2 { |
| 404 | execsql { |
| 405 | SELECT y, p, q, r FROM |
| 406 | (SELECT t1.y AS y, t2.b AS b FROM t1, t2 WHERE t1.x=t2.a) AS m, |
| 407 | (SELECT t3.p AS p, t3.q AS q, t4.r AS r FROM t3 NATURAL JOIN t4) as n |
| 408 | WHERE y=p |
| 409 | } |
| 410 | } {1 1 11 111 2 2 22 222 2 2 22 222} |
danielk1977 | d8702b4 | 2004-11-22 15:05:58 +0000 | [diff] [blame] | 411 | # If view support is omitted from the build, then so is the query |
| 412 | # "flattener". So omit this test and test select6-8.6 in that case. |
| 413 | ifcapable view { |
drh | e9ffc16 | 2003-05-02 16:44:25 +0000 | [diff] [blame] | 414 | do_test select6-8.3 { |
| 415 | is_flat { |
| 416 | SELECT y, p, q, r FROM |
| 417 | (SELECT t1.y AS y, t2.b AS b FROM t1, t2 WHERE t1.x=t2.a) AS m, |
| 418 | (SELECT t3.p AS p, t3.q AS q, t4.r AS r FROM t3 NATURAL JOIN t4) as n |
| 419 | WHERE y=p |
| 420 | } |
| 421 | } {1} |
danielk1977 | d8702b4 | 2004-11-22 15:05:58 +0000 | [diff] [blame] | 422 | } ;# ifcapable view |
drh | e9ffc16 | 2003-05-02 16:44:25 +0000 | [diff] [blame] | 423 | do_test select6-8.4 { |
| 424 | execsql { |
| 425 | SELECT DISTINCT y, p, q, r FROM |
| 426 | (SELECT t1.y AS y, t2.b AS b FROM t1, t2 WHERE t1.x=t2.a) AS m, |
| 427 | (SELECT t3.p AS p, t3.q AS q, t4.r AS r FROM t3 NATURAL JOIN t4) as n |
| 428 | WHERE y=p |
| 429 | } |
| 430 | } {1 1 11 111 2 2 22 222} |
| 431 | do_test select6-8.5 { |
| 432 | execsql { |
| 433 | SELECT * FROM |
| 434 | (SELECT y, p, q, r FROM |
| 435 | (SELECT t1.y AS y, t2.b AS b FROM t1, t2 WHERE t1.x=t2.a) AS m, |
| 436 | (SELECT t3.p AS p, t3.q AS q, t4.r AS r FROM t3 NATURAL JOIN t4) as n |
| 437 | WHERE y=p) AS e, |
| 438 | (SELECT r AS z FROM t4 WHERE q=11) AS f |
| 439 | WHERE e.r=f.z |
| 440 | } |
| 441 | } {1 1 11 111 111} |
danielk1977 | d8702b4 | 2004-11-22 15:05:58 +0000 | [diff] [blame] | 442 | ifcapable view { |
drh | e9ffc16 | 2003-05-02 16:44:25 +0000 | [diff] [blame] | 443 | do_test select6-8.6 { |
| 444 | is_flat { |
| 445 | SELECT * FROM |
| 446 | (SELECT y, p, q, r FROM |
| 447 | (SELECT t1.y AS y, t2.b AS b FROM t1, t2 WHERE t1.x=t2.a) AS m, |
| 448 | (SELECT t3.p AS p, t3.q AS q, t4.r AS r FROM t3 NATURAL JOIN t4) as n |
| 449 | WHERE y=p) AS e, |
| 450 | (SELECT r AS z FROM t4 WHERE q=11) AS f |
| 451 | WHERE e.r=f.z |
| 452 | } |
| 453 | } {1} |
danielk1977 | d8702b4 | 2004-11-22 15:05:58 +0000 | [diff] [blame] | 454 | } ;# ifcapable view |
drh | e9ffc16 | 2003-05-02 16:44:25 +0000 | [diff] [blame] | 455 | |
drh | fe61378 | 2006-01-22 00:14:39 +0000 | [diff] [blame] | 456 | # Ticket #1634 |
| 457 | # |
| 458 | do_test select6-9.1 { |
| 459 | execsql { |
| 460 | SELECT a.x, b.x FROM t1 AS a, (SELECT x FROM t1 LIMIT 2) AS b |
drh | 1556405 | 2010-09-25 22:32:56 +0000 | [diff] [blame] | 461 | ORDER BY 1, 2 |
drh | fe61378 | 2006-01-22 00:14:39 +0000 | [diff] [blame] | 462 | } |
| 463 | } {1 1 1 2 2 1 2 2 3 1 3 2 4 1 4 2} |
| 464 | do_test select6-9.2 { |
| 465 | execsql { |
| 466 | SELECT x FROM (SELECT x FROM t1 LIMIT 2); |
| 467 | } |
| 468 | } {1 2} |
| 469 | do_test select6-9.3 { |
| 470 | execsql { |
| 471 | SELECT x FROM (SELECT x FROM t1 LIMIT 2 OFFSET 1); |
| 472 | } |
| 473 | } {2 3} |
| 474 | do_test select6-9.4 { |
| 475 | execsql { |
| 476 | SELECT x FROM (SELECT x FROM t1) LIMIT 2; |
| 477 | } |
| 478 | } {1 2} |
| 479 | do_test select6-9.5 { |
| 480 | execsql { |
| 481 | SELECT x FROM (SELECT x FROM t1) LIMIT 2 OFFSET 1; |
| 482 | } |
| 483 | } {2 3} |
| 484 | do_test select6-9.6 { |
| 485 | execsql { |
| 486 | SELECT x FROM (SELECT x FROM t1 LIMIT 2) LIMIT 3; |
| 487 | } |
| 488 | } {1 2} |
| 489 | do_test select6-9.7 { |
| 490 | execsql { |
| 491 | SELECT x FROM (SELECT x FROM t1 LIMIT -1) LIMIT 3; |
| 492 | } |
| 493 | } {1 2 3} |
| 494 | do_test select6-9.8 { |
| 495 | execsql { |
| 496 | SELECT x FROM (SELECT x FROM t1 LIMIT -1); |
| 497 | } |
| 498 | } {1 2 3 4} |
| 499 | do_test select6-9.9 { |
| 500 | execsql { |
| 501 | SELECT x FROM (SELECT x FROM t1 LIMIT -1 OFFSET 1); |
| 502 | } |
| 503 | } {2 3 4} |
drh | e2f02ba | 2009-01-09 01:12:27 +0000 | [diff] [blame] | 504 | do_test select6-9.10 { |
| 505 | execsql { |
| 506 | SELECT x, y FROM (SELECT x, (SELECT 10+x) y FROM t1 LIMIT -1 OFFSET 1); |
| 507 | } |
| 508 | } {2 12 3 13 4 14} |
| 509 | do_test select6-9.11 { |
| 510 | execsql { |
| 511 | SELECT x, y FROM (SELECT x, (SELECT 10)+x y FROM t1 LIMIT -1 OFFSET 1); |
| 512 | } |
| 513 | } {2 12 3 13 4 14} |
drh | fe61378 | 2006-01-22 00:14:39 +0000 | [diff] [blame] | 514 | |
| 515 | |
dan | 67c7014 | 2012-08-28 14:45:50 +0000 | [diff] [blame] | 516 | #------------------------------------------------------------------------- |
| 517 | # Test that if a UNION ALL sub-query that would otherwise be eligible for |
| 518 | # flattening consists of two or more SELECT statements that do not all |
| 519 | # return the same number of result columns, the error is detected. |
| 520 | # |
| 521 | do_execsql_test 10.1 { |
| 522 | CREATE TABLE t(i,j,k); |
| 523 | CREATE TABLE j(l,m); |
| 524 | CREATE TABLE k(o); |
| 525 | } |
| 526 | |
| 527 | set err [list 1 {SELECTs to the left and right of UNION ALL do not have the same number of result columns}] |
| 528 | |
| 529 | do_execsql_test 10.2 { |
| 530 | SELECT * FROM (SELECT * FROM t), j; |
| 531 | } |
| 532 | do_catchsql_test 10.3 { |
| 533 | SELECT * FROM t UNION ALL SELECT * FROM j |
| 534 | } $err |
| 535 | do_catchsql_test 10.4 { |
| 536 | SELECT * FROM (SELECT i FROM t UNION ALL SELECT l, m FROM j) |
| 537 | } $err |
| 538 | do_catchsql_test 10.5 { |
| 539 | SELECT * FROM (SELECT j FROM t UNION ALL SELECT * FROM j) |
| 540 | } $err |
| 541 | do_catchsql_test 10.6 { |
| 542 | SELECT * FROM (SELECT * FROM t UNION ALL SELECT * FROM j) |
| 543 | } $err |
| 544 | do_catchsql_test 10.7 { |
| 545 | SELECT * FROM ( |
| 546 | SELECT * FROM t UNION ALL |
| 547 | SELECT l,m,l FROM j UNION ALL |
| 548 | SELECT * FROM k |
| 549 | ) |
| 550 | } $err |
| 551 | do_catchsql_test 10.8 { |
| 552 | SELECT * FROM ( |
| 553 | SELECT * FROM k UNION ALL |
| 554 | SELECT * FROM t UNION ALL |
| 555 | SELECT l,m,l FROM j |
| 556 | ) |
| 557 | } $err |
| 558 | |
drh | 2c5e9b5 | 2015-02-09 16:34:33 +0000 | [diff] [blame] | 559 | # 2015-02-09 Ticket [2f7170d73bf9abf80339187aa3677dce3dbcd5ca] |
| 560 | # "misuse of aggregate" error if aggregate column from FROM |
| 561 | # subquery is used in correlated subquery |
| 562 | # |
| 563 | do_execsql_test 11.1 { |
| 564 | DROP TABLE IF EXISTS t1; |
| 565 | CREATE TABLE t1(w INT, x INT); |
| 566 | INSERT INTO t1(w,x) |
| 567 | VALUES(1,10),(2,20),(3,30), |
| 568 | (2,21),(3,31), |
| 569 | (3,32); |
| 570 | CREATE INDEX t1wx ON t1(w,x); |
| 571 | |
| 572 | DROP TABLE IF EXISTS t2; |
| 573 | CREATE TABLE t2(w INT, y VARCHAR(8)); |
| 574 | INSERT INTO t2(w,y) VALUES(1,'one'),(2,'two'),(3,'three'),(4,'four'); |
| 575 | CREATE INDEX t2wy ON t2(w,y); |
| 576 | |
| 577 | SELECT cnt, xyz, (SELECT y FROM t2 WHERE w=cnt), '|' |
| 578 | FROM (SELECT count(*) AS cnt, w AS xyz FROM t1 GROUP BY 2) |
| 579 | ORDER BY cnt, xyz; |
| 580 | } {1 1 one | 2 2 two | 3 3 three |} |
| 581 | do_execsql_test 11.2 { |
| 582 | SELECT cnt, xyz, lower((SELECT y FROM t2 WHERE w=cnt)), '|' |
| 583 | FROM (SELECT count(*) AS cnt, w AS xyz FROM t1 GROUP BY 2) |
| 584 | ORDER BY cnt, xyz; |
| 585 | } {1 1 one | 2 2 two | 3 3 three |} |
| 586 | do_execsql_test 11.3 { |
| 587 | SELECT cnt, xyz, '|' |
| 588 | FROM (SELECT count(*) AS cnt, w AS xyz FROM t1 GROUP BY 2) |
| 589 | WHERE (SELECT y FROM t2 WHERE w=cnt)!='two' |
| 590 | ORDER BY cnt, xyz; |
| 591 | } {1 1 | 3 3 |} |
| 592 | do_execsql_test 11.4 { |
| 593 | SELECT cnt, xyz, '|' |
| 594 | FROM (SELECT count(*) AS cnt, w AS xyz FROM t1 GROUP BY 2) |
| 595 | ORDER BY lower((SELECT y FROM t2 WHERE w=cnt)); |
| 596 | } {1 1 | 3 3 | 2 2 |} |
| 597 | do_execsql_test 11.5 { |
| 598 | SELECT cnt, xyz, |
| 599 | CASE WHEN (SELECT y FROM t2 WHERE w=cnt)=='two' |
| 600 | THEN 'aaa' ELSE 'bbb' |
| 601 | END, '|' |
| 602 | FROM (SELECT count(*) AS cnt, w AS xyz FROM t1 GROUP BY 2) |
| 603 | ORDER BY +cnt; |
| 604 | } {1 1 bbb | 2 2 aaa | 3 3 bbb |} |
| 605 | |
| 606 | do_execsql_test 11.100 { |
| 607 | DROP TABLE t1; |
| 608 | DROP TABLE t2; |
| 609 | CREATE TABLE t1(x); |
| 610 | CREATE TABLE t2(y, z); |
| 611 | SELECT ( SELECT y FROM t2 WHERE z = cnt ) |
| 612 | FROM ( SELECT count(*) AS cnt FROM t1 ); |
| 613 | } {{}} |
| 614 | |
drh | 7cd5e85 | 2019-05-29 17:22:38 +0000 | [diff] [blame] | 615 | # 2019-05-29 ticket https://www.sqlite.org/src/info/c41afac34f15781f |
| 616 | # A LIMIT clause in a subquery is incorrectly applied to a subquery. |
| 617 | # |
| 618 | do_execsql_test 12.100 { |
| 619 | DROP TABLE t1; |
| 620 | DROP TABLE t2; |
| 621 | CREATE TABLE t1(a); |
| 622 | INSERT INTO t1 VALUES(1); |
| 623 | INSERT INTO t1 VALUES(2); |
| 624 | CREATE TABLE t2(b); |
| 625 | INSERT INTO t2 VALUES(3); |
| 626 | SELECT * FROM ( |
| 627 | SELECT * FROM (SELECT * FROM t1 LIMIT 1) |
| 628 | UNION ALL |
| 629 | SELECT * from t2); |
| 630 | } {1 3} |
drh | e9ffc16 | 2003-05-02 16:44:25 +0000 | [diff] [blame] | 631 | |
drh | d820cb1 | 2002-02-18 03:21:45 +0000 | [diff] [blame] | 632 | finish_test |