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# 15# $Id: select6.test,v 1.11 2004/01/24 20:18:13 drh Exp $ 16 17set testdir [file dirname $argv0] 18source $testdir/tester.tcl 19 20do_test select6-1.0 { 21 execsql { 22 BEGIN; 23 CREATE TABLE t1(x, y); 24 INSERT INTO t1 VALUES(1,1); 25 INSERT INTO t1 VALUES(2,2); 26 INSERT INTO t1 VALUES(3,2); 27 INSERT INTO t1 VALUES(4,3); 28 INSERT INTO t1 VALUES(5,3); 29 INSERT INTO t1 VALUES(6,3); 30 INSERT INTO t1 VALUES(7,3); 31 INSERT INTO t1 VALUES(8,4); 32 INSERT INTO t1 VALUES(9,4); 33 INSERT INTO t1 VALUES(10,4); 34 INSERT INTO t1 VALUES(11,4); 35 INSERT INTO t1 VALUES(12,4); 36 INSERT INTO t1 VALUES(13,4); 37 INSERT INTO t1 VALUES(14,4); 38 INSERT INTO t1 VALUES(15,4); 39 INSERT INTO t1 VALUES(16,5); 40 INSERT INTO t1 VALUES(17,5); 41 INSERT INTO t1 VALUES(18,5); 42 INSERT INTO t1 VALUES(19,5); 43 INSERT INTO t1 VALUES(20,5); 44 COMMIT; 45 SELECT DISTINCT y FROM t1 ORDER BY y; 46 } 47} {1 2 3 4 5} 48 49do_test select6-1.1 { 50 execsql2 {SELECT * FROM (SELECT x, y FROM t1 WHERE x<2)} 51} {x 1 y 1} 52do_test select6-1.2 { 53 execsql {SELECT count(*) FROM (SELECT y FROM t1)} 54} {20} 55do_test select6-1.3 { 56 execsql {SELECT count(*) FROM (SELECT DISTINCT y FROM t1)} 57} {5} 58do_test select6-1.4 { 59 execsql {SELECT count(*) FROM (SELECT DISTINCT * FROM (SELECT y FROM t1))} 60} {5} 61do_test select6-1.5 { 62 execsql {SELECT count(*) FROM (SELECT * FROM (SELECT DISTINCT y FROM t1))} 63} {5} 64 65do_test select6-1.6 { 66 execsql { 67 SELECT * 68 FROM (SELECT count(*),y FROM t1 GROUP BY y) AS a, 69 (SELECT max(x),y FROM t1 GROUP BY y) as b 70 WHERE a.y=b.y ORDER BY a.y 71 } 72} {1 1 1 1 2 2 3 2 4 3 7 3 8 4 15 4 5 5 20 5} 73do_test select6-1.7 { 74 execsql { 75 SELECT a.y, a.[count(*)], [max(x)], [count(*)] 76 FROM (SELECT count(*),y FROM t1 GROUP BY y) AS a, 77 (SELECT max(x),y FROM t1 GROUP BY y) as b 78 WHERE a.y=b.y ORDER BY a.y 79 } 80} {1 1 1 1 2 2 3 2 3 4 7 4 4 8 15 8 5 5 20 5} 81do_test select6-1.8 { 82 execsql { 83 SELECT q, p, r 84 FROM (SELECT count(*) as p , y as q FROM t1 GROUP BY y) AS a, 85 (SELECT max(x) as r, y as s FROM t1 GROUP BY y) as b 86 WHERE q=s ORDER BY s 87 } 88} {1 1 1 2 2 3 3 4 7 4 8 15 5 5 20} 89do_test select6-1.9 { 90 execsql { 91 SELECT q, p, r, b.[min(x)+y] 92 FROM (SELECT count(*) as p , y as q FROM t1 GROUP BY y) AS a, 93 (SELECT max(x) as r, y as s, min(x)+y FROM t1 GROUP BY y) as b 94 WHERE q=s ORDER BY s 95 } 96} {1 1 1 2 2 2 3 4 3 4 7 7 4 8 15 12 5 5 20 21} 97 98do_test select6-2.0 { 99 execsql { 100 CREATE TABLE t2(a INTEGER PRIMARY KEY, b); 101 INSERT INTO t2 SELECT * FROM t1; 102 SELECT DISTINCT b FROM t2 ORDER BY b; 103 } 104} {1 2 3 4 5} 105do_test select6-2.1 { 106 execsql2 {SELECT * FROM (SELECT a, b FROM t2 WHERE a<2)} 107} {a 1 b 1} 108do_test select6-2.2 { 109 execsql {SELECT count(*) FROM (SELECT b FROM t2)} 110} {20} 111do_test select6-2.3 { 112 execsql {SELECT count(*) FROM (SELECT DISTINCT b FROM t2)} 113} {5} 114do_test select6-2.4 { 115 execsql {SELECT count(*) FROM (SELECT DISTINCT * FROM (SELECT b FROM t2))} 116} {5} 117do_test select6-2.5 { 118 execsql {SELECT count(*) FROM (SELECT * FROM (SELECT DISTINCT b FROM t2))} 119} {5} 120 121do_test select6-2.6 { 122 execsql { 123 SELECT * 124 FROM (SELECT count(*),b FROM t2 GROUP BY b) AS a, 125 (SELECT max(a),b FROM t2 GROUP BY b) as b 126 WHERE a.b=b.b ORDER BY a.b 127 } 128} {1 1 1 1 2 2 3 2 4 3 7 3 8 4 15 4 5 5 20 5} 129do_test select6-2.7 { 130 execsql { 131 SELECT a.b, a.[count(*)], [max(a)], [count(*)] 132 FROM (SELECT count(*),b FROM t2 GROUP BY b) AS a, 133 (SELECT max(a),b FROM t2 GROUP BY b) as b 134 WHERE a.b=b.b ORDER BY a.b 135 } 136} {1 1 1 1 2 2 3 2 3 4 7 4 4 8 15 8 5 5 20 5} 137do_test select6-2.8 { 138 execsql { 139 SELECT q, p, r 140 FROM (SELECT count(*) as p , b as q FROM t2 GROUP BY b) AS a, 141 (SELECT max(a) as r, b as s FROM t2 GROUP BY b) as b 142 WHERE q=s ORDER BY s 143 } 144} {1 1 1 2 2 3 3 4 7 4 8 15 5 5 20} 145do_test select6-2.9 { 146 execsql { 147 SELECT a.q, a.p, b.r 148 FROM (SELECT count(*) as p , b as q FROM t2 GROUP BY q) AS a, 149 (SELECT max(a) as r, b as s FROM t2 GROUP BY s) as b 150 WHERE a.q=b.s ORDER BY a.q 151 } 152} {1 1 1 2 2 3 3 4 7 4 8 15 5 5 20} 153 154do_test sqlite6-3.1 { 155 execsql2 { 156 SELECT * FROM (SELECT * FROM (SELECT * FROM t1 WHERE x=3)); 157 } 158} {x 3 y 2} 159do_test sqlite6-3.2 { 160 execsql { 161 SELECT * FROM 162 (SELECT a.q, a.p, b.r 163 FROM (SELECT count(*) as p , b as q FROM t2 GROUP BY q) AS a, 164 (SELECT max(a) as r, b as s FROM t2 GROUP BY s) as b 165 WHERE a.q=b.s ORDER BY a.q) 166 ORDER BY q 167 } 168} {1 1 1 2 2 3 3 4 7 4 8 15 5 5 20} 169do_test select6-3.3 { 170 execsql { 171 SELECT a,b,a+b FROM (SELECT avg(x) as 'a', avg(y) as 'b' FROM t1) 172 } 173} {10.5 3.7 14.2} 174do_test select6-3.4 { 175 execsql { 176 SELECT a,b,a+b FROM (SELECT avg(x) as 'a', avg(y) as 'b' FROM t1 WHERE y=4) 177 } 178} {11.5 4 15.5} 179do_test select6-3.5 { 180 execsql { 181 SELECT x,y,x+y FROM (SELECT avg(a) as 'x', avg(b) as 'y' FROM t2 WHERE a=4) 182 } 183} {4 3 7} 184do_test select6-3.6 { 185 execsql { 186 SELECT a,b,a+b FROM (SELECT avg(x) as 'a', avg(y) as 'b' FROM t1) 187 WHERE a>10 188 } 189} {10.5 3.7 14.2} 190do_test select6-3.7 { 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} {} 196do_test select6-3.8 { 197 execsql { 198 SELECT a,b,a+b FROM (SELECT avg(x) as 'a', avg(y) as 'b' FROM t1 WHERE y=4) 199 WHERE a>10 200 } 201} {11.5 4 15.5} 202do_test select6-3.9 { 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 } 207} {} 208do_test select6-3.10 { 209 execsql { 210 SELECT a,b,a+b FROM (SELECT avg(x) as 'a', y as 'b' FROM t1 GROUP BY b) 211 ORDER BY a 212 } 213} {1 1 2 2.5 2 4.5 5.5 3 8.5 11.5 4 15.5 18 5 23} 214do_test select6-3.11 { 215 execsql { 216 SELECT a,b,a+b FROM 217 (SELECT avg(x) as 'a', y as 'b' FROM t1 GROUP BY b) 218 WHERE b<4 ORDER BY a 219 } 220} {1 1 2 2.5 2 4.5 5.5 3 8.5} 221do_test select6-3.12 { 222 execsql { 223 SELECT a,b,a+b FROM 224 (SELECT avg(x) as 'a', y as 'b' FROM t1 GROUP BY b HAVING a>1) 225 WHERE b<4 ORDER BY a 226 } 227} {2.5 2 4.5 5.5 3 8.5} 228do_test select6-3.13 { 229 execsql { 230 SELECT a,b,a+b FROM 231 (SELECT avg(x) as 'a', y as 'b' FROM t1 GROUP BY b HAVING a>1) 232 ORDER BY a 233 } 234} {2.5 2 4.5 5.5 3 8.5 11.5 4 15.5 18 5 23} 235do_test select6-3.14 { 236 execsql { 237 SELECT [count(*)],y FROM (SELECT count(*), y FROM t1 GROUP BY y) 238 ORDER BY [count(*)] 239 } 240} {1 1 2 2 4 3 5 5 8 4} 241do_test select6-3.15 { 242 execsql { 243 SELECT [count(*)],y FROM (SELECT count(*), y FROM t1 GROUP BY y) 244 ORDER BY y 245 } 246} {1 1 2 2 4 3 8 4 5 5} 247 248do_test select6-4.1 { 249 execsql { 250 SELECT a,b,c FROM 251 (SELECT x AS 'a', y AS 'b', x+y AS 'c' FROM t1 WHERE y=4) 252 WHERE a<10 ORDER BY a; 253 } 254} {8 4 12 9 4 13} 255do_test select6-4.2 { 256 execsql { 257 SELECT y FROM (SELECT DISTINCT y FROM t1) WHERE y<5 ORDER BY y 258 } 259} {1 2 3 4} 260do_test select6-4.3 { 261 execsql { 262 SELECT DISTINCT y FROM (SELECT y FROM t1) WHERE y<5 ORDER BY y 263 } 264} {1 2 3 4} 265do_test select6-4.4 { 266 execsql { 267 SELECT avg(y) FROM (SELECT DISTINCT y FROM t1) WHERE y<5 ORDER BY y 268 } 269} {2.5} 270do_test select6-4.5 { 271 execsql { 272 SELECT avg(y) FROM (SELECT DISTINCT y FROM t1 WHERE y<5) ORDER BY y 273 } 274} {2.5} 275 276do_test select6-5.1 { 277 execsql { 278 SELECT a,x,b FROM 279 (SELECT x+3 AS 'a', x FROM t1 WHERE y=3) AS 'p', 280 (SELECT x AS 'b' FROM t1 WHERE y=4) AS 'q' 281 WHERE a=b 282 ORDER BY a 283 } 284} {8 5 8 9 6 9 10 7 10} 285do_test select6-5.2 { 286 execsql { 287 SELECT a,x,b FROM 288 (SELECT x+3 AS 'a', x FROM t1 WHERE y=3), 289 (SELECT x AS 'b' FROM t1 WHERE y=4) 290 WHERE a=b 291 ORDER BY a 292 } 293} {8 5 8 9 6 9 10 7 10} 294 295# Tests of compound sub-selects 296# 297do_test select5-6.1 { 298 execsql { 299 DELETE FROM t1 WHERE x>4; 300 SELECT * FROM t1 301 } 302} {1 1 2 2 3 2 4 3} 303do_test select6-6.2 { 304 execsql { 305 SELECT * FROM ( 306 SELECT x AS 'a' FROM t1 UNION ALL SELECT x+10 AS 'a' FROM t1 307 ) ORDER BY a; 308 } 309} {1 2 3 4 11 12 13 14} 310do_test select6-6.3 { 311 execsql { 312 SELECT * FROM ( 313 SELECT x AS 'a' FROM t1 UNION ALL SELECT x+1 AS 'a' FROM t1 314 ) ORDER BY a; 315 } 316} {1 2 2 3 3 4 4 5} 317do_test select6-6.4 { 318 execsql { 319 SELECT * FROM ( 320 SELECT x AS 'a' FROM t1 UNION SELECT x+1 AS 'a' FROM t1 321 ) ORDER BY a; 322 } 323} {1 2 3 4 5} 324do_test select6-6.5 { 325 execsql { 326 SELECT * FROM ( 327 SELECT x AS 'a' FROM t1 INTERSECT SELECT x+1 AS 'a' FROM t1 328 ) ORDER BY a; 329 } 330} {2 3 4} 331do_test select6-6.6 { 332 execsql { 333 SELECT * FROM ( 334 SELECT x AS 'a' FROM t1 EXCEPT SELECT x*2 AS 'a' FROM t1 335 ) ORDER BY a; 336 } 337} {1 3} 338 339# Subselects with no FROM clause 340# 341do_test select6-7.1 { 342 execsql { 343 SELECT * FROM (SELECT 1) 344 } 345} {1} 346do_test select6-7.2 { 347 execsql { 348 SELECT c,b,a,* FROM (SELECT 1 AS 'a', 2 AS 'b', 'abc' AS 'c') 349 } 350} {abc 2 1 1 2 abc} 351do_test select6-7.3 { 352 execsql { 353 SELECT c,b,a,* FROM (SELECT 1 AS 'a', 2 AS 'b', 'abc' AS 'c' WHERE 0) 354 } 355} {} 356do_test select6-7.4 { 357 execsql2 { 358 SELECT c,b,a,* FROM (SELECT 1 AS 'a', 2 AS 'b', 'abc' AS 'c' WHERE 1) 359 } 360} {c abc b 2 a 1 a 1 b 2 c abc} 361 362# The following procedure compiles the SQL given as an argument and returns 363# TRUE if that SQL uses any transient tables and returns FALSE if no 364# transient tables are used. This is used to make sure that the 365# sqliteFlattenSubquery() routine in select.c is doing its job. 366# 367proc is_flat {sql} { 368 return [expr 0>[lsearch [execsql "EXPLAIN $sql"] OpenTemp]] 369} 370 371# Check that the flattener works correctly for deeply nested subqueries 372# involving joins. 373# 374do_test select6-8.1 { 375 execsql { 376 BEGIN; 377 CREATE TABLE t3(p,q); 378 INSERT INTO t3 VALUES(1,11); 379 INSERT INTO t3 VALUES(2,22); 380 CREATE TABLE t4(q,r); 381 INSERT INTO t4 VALUES(11,111); 382 INSERT INTO t4 VALUES(22,222); 383 COMMIT; 384 SELECT * FROM t3 NATURAL JOIN t4; 385 } 386} {1 11 111 2 22 222} 387do_test select6-8.2 { 388 execsql { 389 SELECT y, p, q, r FROM 390 (SELECT t1.y AS y, t2.b AS b FROM t1, t2 WHERE t1.x=t2.a) AS m, 391 (SELECT t3.p AS p, t3.q AS q, t4.r AS r FROM t3 NATURAL JOIN t4) as n 392 WHERE y=p 393 } 394} {1 1 11 111 2 2 22 222 2 2 22 222} 395do_test select6-8.3 { 396 is_flat { 397 SELECT y, p, q, r FROM 398 (SELECT t1.y AS y, t2.b AS b FROM t1, t2 WHERE t1.x=t2.a) AS m, 399 (SELECT t3.p AS p, t3.q AS q, t4.r AS r FROM t3 NATURAL JOIN t4) as n 400 WHERE y=p 401 } 402} {1} 403do_test select6-8.4 { 404 execsql { 405 SELECT DISTINCT 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} 411do_test select6-8.5 { 412 execsql { 413 SELECT * FROM 414 (SELECT y, p, q, r FROM 415 (SELECT t1.y AS y, t2.b AS b FROM t1, t2 WHERE t1.x=t2.a) AS m, 416 (SELECT t3.p AS p, t3.q AS q, t4.r AS r FROM t3 NATURAL JOIN t4) as n 417 WHERE y=p) AS e, 418 (SELECT r AS z FROM t4 WHERE q=11) AS f 419 WHERE e.r=f.z 420 } 421} {1 1 11 111 111} 422do_test select6-8.6 { 423 is_flat { 424 SELECT * FROM 425 (SELECT 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) AS e, 429 (SELECT r AS z FROM t4 WHERE q=11) AS f 430 WHERE e.r=f.z 431 } 432} {1} 433 434 435finish_test 436