1# 2005 January 19 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 script is testing correlated subqueries 13# 14# $Id: subquery.test,v 1.3 2005/01/29 08:32:47 danielk1977 Exp $ 15# 16 17set testdir [file dirname $argv0] 18source $testdir/tester.tcl 19 20ifcapable !subquery { 21 finish_test 22 return 23} 24 25do_test subquery-1.1 { 26 execsql { 27 BEGIN; 28 CREATE TABLE t1(a,b); 29 INSERT INTO t1 VALUES(1,2); 30 INSERT INTO t1 VALUES(3,4); 31 INSERT INTO t1 VALUES(5,6); 32 INSERT INTO t1 VALUES(7,8); 33 CREATE TABLE t2(x,y); 34 INSERT INTO t2 VALUES(1,1); 35 INSERT INTO t2 VALUES(3,9); 36 INSERT INTO t2 VALUES(5,25); 37 INSERT INTO t2 VALUES(7,49); 38 COMMIT; 39 } 40 execsql { 41 SELECT a, (SELECT y FROM t2 WHERE x=a) FROM t1 WHERE b<8 42 } 43} {1 1 3 9 5 25} 44do_test subquery-1.2 { 45 execsql { 46 UPDATE t1 SET b=b+(SELECT y FROM t2 WHERE x=a); 47 SELECT * FROM t1; 48 } 49} {1 3 3 13 5 31 7 57} 50 51do_test subquery-1.3 { 52 execsql { 53 SELECT b FROM t1 WHERE EXISTS(SELECT * FROM t2 WHERE y=a) 54 } 55} {3} 56do_test subquery-1.4 { 57 execsql { 58 SELECT b FROM t1 WHERE NOT EXISTS(SELECT * FROM t2 WHERE y=a) 59 } 60} {13 31 57} 61 62# Simple tests to make sure correlated subqueries in WHERE clauses 63# are used by the query optimizer correctly. 64do_test subquery-1.5 { 65 execsql { 66 SELECT a, x FROM t1, t2 WHERE t1.a = (SELECT x); 67 } 68} {1 1 3 3 5 5 7 7} 69do_test subquery-1.6 { 70 execsql { 71 CREATE INDEX i1 ON t1(a); 72 SELECT a, x FROM t1, t2 WHERE t1.a = (SELECT x); 73 } 74} {1 1 3 3 5 5 7 7} 75do_test subquery-1.7 { 76 execsql { 77 SELECT a, x FROM t2, t1 WHERE t1.a = (SELECT x); 78 } 79} {1 1 3 3 5 5 7 7} 80 81# Try an aggregate in both the subquery and the parent query. 82do_test subquery-1.6 { 83 execsql { 84 SELECT count(*) FROM t1 WHERE a > (SELECT count(*) FROM t2); 85 } 86} {2} 87 88 89#------------------------------------------------------------------ 90# The following test cases - subquery-2.* - are not logically 91# organized. They're here largely because they were failing during 92# one stage of development of sub-queries. 93# 94do_test subquery-2.1 { 95 execsql { 96 SELECT (SELECT 10); 97 } 98} {10} 99do_test subquery-2.2.1 { 100 execsql { 101 CREATE TABLE t3(a PRIMARY KEY, b); 102 INSERT INTO t3 VALUES(1, 2); 103 INSERT INTO t3 VALUES(3, 1); 104 } 105} {} 106do_test subquery-2.2.2 { 107 execsql { 108 SELECT * FROM t3 WHERE a IN (SELECT b FROM t3); 109 } 110} {1 2} 111do_test subquery-2.2.3 { 112 execsql { 113 DROP TABLE t3; 114 } 115} {} 116do_test subquery-2.3.1 { 117 execsql { 118 CREATE TABLE t3(a TEXT); 119 INSERT INTO t3 VALUES('10'); 120 } 121} {} 122do_test subquery-2.3.2 { 123 execsql { 124 SELECT a IN (10.0, 20) FROM t3; 125 } 126} {0} 127do_test subquery-2.3.3 { 128 execsql { 129 DROP TABLE t3; 130 } 131} {} 132do_test subquery-2.4.1 { 133 execsql { 134 CREATE TABLE t3(a TEXT); 135 INSERT INTO t3 VALUES('XX'); 136 } 137} {} 138do_test subquery-2.4.2 { 139 execsql { 140 SELECT count(*) FROM t3 WHERE a IN (SELECT 'XX') 141 } 142} {1} 143do_test subquery-2.4.3 { 144 execsql { 145 DROP TABLE t3; 146 } 147} {} 148do_test subquery-2.5.1 { 149 execsql { 150 CREATE TABLE t3(a INTEGER); 151 INSERT INTO t3 VALUES(10); 152 153 CREATE TABLE t4(x TEXT); 154 INSERT INTO t4 VALUES('10.0'); 155 } 156} {} 157do_test subquery-2.5.2 { 158 execsql { 159 SELECT * FROM t4 WHERE x IN (SELECT a FROM t3); 160 } 161} {10.0} 162do_test subquery-2.5.3 { 163 execsql { 164 CREATE INDEX t4i ON t4(x); 165 SELECT * FROM t4 WHERE x IN (SELECT a FROM t3); 166 } 167} {10.0} 168do_test subquery-2.5.4 { 169 execsql { 170 DROP TABLE t3; 171 DROP TABLE t4; 172 } 173} {} 174 175#------------------------------------------------------------------ 176# The following test cases - subquery-3.* - test tickets that 177# were raised during development of correlated subqueries. 178# 179 180# Ticket 1083 181ifcapable view { 182 do_test subquery-3.1 { 183 catchsql { DROP TABLE t1; } 184 catchsql { DROP TABLE t2; } 185 execsql { 186 CREATE TABLE t1(a,b); 187 INSERT INTO t1 VALUES(1,2); 188 CREATE VIEW v1 AS SELECT b FROM t1 WHERE a>0; 189 CREATE TABLE t2(p,q); 190 INSERT INTO t2 VALUES(2,9); 191 SELECT * FROM v1 WHERE EXISTS(SELECT * FROM t2 WHERE p=v1.b); 192 } 193 } {2} 194} 195 196# Ticket 1084 197do_test subquery-3.2 { 198 catchsql { 199 CREATE TABLE t1(a,b); 200 INSERT INTO t1 VALUES(1,2); 201 } 202 execsql { 203 SELECT (SELECT t1.a) FROM t1; 204 } 205} {1} 206 207#------------------------------------------------------------------ 208# These tests - subquery-4.* - use the TCL statement cache to try 209# and expose bugs to do with re-using statements that have been 210# passed to sqlite3_reset(). 211# 212# One problem was that VDBE memory cells were not being initialised 213# to NULL on the second and subsequent executions. 214# 215do_test subquery-4.1.1 { 216 execsql { 217 SELECT (SELECT a FROM t1); 218 } 219} {1} 220do_test subquery-4.2 { 221 execsql { 222 DELETE FROM t1; 223 SELECT (SELECT a FROM t1); 224 } 225} {{}} 226do_test subquery-4.2.1 { 227 execsql { 228 CREATE TABLE t3(a PRIMARY KEY); 229 INSERT INTO t3 VALUES(10); 230 } 231 execsql {INSERT INTO t3 VALUES((SELECT max(a) FROM t3)+1)} 232} {} 233do_test subquery-4.2.2 { 234 execsql {INSERT INTO t3 VALUES((SELECT max(a) FROM t3)+1)} 235} {} 236 237 238 239finish_test 240 241 242