xref: /sqlite-3.40.0/test/autoindex5.test (revision b9248ef5)
1# 2014-10-24
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# This file implements regression tests for SQLite library.  The
13# focus of this script is testing automatic index creation logic,
14# and specifically ensuring that automatic indexes can be used with
15# co-routine subqueries.
16#
17
18set testdir [file dirname $argv0]
19source $testdir/tester.tcl
20set testprefix autoindex5
21
22# Schema is from the Debian security database
23#
24do_execsql_test autoindex5-1.0 {
25  CREATE TABLE source_package_status
26          (bug_name TEXT NOT NULL,
27           package INTEGER NOT NULL,
28           vulnerable INTEGER NOT NULL,
29           urgency TEXT NOT NULL,
30           PRIMARY KEY (bug_name, package));
31  CREATE INDEX source_package_status_package
32              ON source_package_status(package);
33
34  CREATE TABLE source_packages
35              (name TEXT NOT NULL,
36              release TEXT NOT NULL,
37              subrelease TEXT NOT NULL,
38              archive TEXT NOT NULL,
39              version TEXT NOT NULL,
40              version_id INTEGER NOT NULL DEFAULT 0,
41              PRIMARY KEY (name, release, subrelease, archive));
42
43  CREATE TABLE bugs
44          (name TEXT NOT NULL PRIMARY KEY,
45           cve_status TEXT NOT NULL
46               CHECK (cve_status IN
47                      ('', 'CANDIDATE', 'ASSIGNED', 'RESERVED', 'REJECTED')),
48           not_for_us INTEGER NOT NULL CHECK (not_for_us IN (0, 1)),
49           description TEXT NOT NULL,
50           release_date TEXT NOT NULL,
51           source_file TEXT NOT NULL,
52           source_line INTEGER NOT NULL);
53
54  CREATE TABLE package_notes
55          (id INTEGER NOT NULL PRIMARY KEY,
56           bug_name TEXT NOT NULL,
57           package TEXT NOT NULL,
58           fixed_version TEXT
59               CHECK (fixed_version IS NULL OR fixed_version <> ''),
60           fixed_version_id INTEGER NOT NULL DEFAULT 0,
61           release TEXT NOT NULL,
62           package_kind TEXT NOT NULL DEFAULT 'unknown',
63           urgency TEXT NOT NULL,
64           bug_origin TEXT NOT NULL DEFAULT '');
65  CREATE INDEX package_notes_package
66              ON package_notes(package);
67  CREATE UNIQUE INDEX package_notes_bug
68              ON package_notes(bug_name, package, release);
69
70  CREATE TABLE debian_bugs
71          (bug INTEGER NOT NULL,
72           note INTEGER NOT NULL,
73           PRIMARY KEY (bug, note));
74
75
76  CREATE VIEW debian_cve AS
77              SELECT DISTINCT debian_bugs.bug, st.bug_name
78              FROM package_notes, debian_bugs, source_package_status AS st
79              WHERE package_notes.bug_name = st.bug_name
80              AND debian_bugs.note = package_notes.id
81              ORDER BY debian_bugs.bug;
82} {}
83
84# The following query should use an automatic index for the view
85# in FROM clause of the subquery of the second result column.
86#
87do_eqp_test autoindex5-1.1 {
88  SELECT
89    st.bug_name,
90    (SELECT ALL debian_cve.bug FROM debian_cve
91      WHERE debian_cve.bug_name = st.bug_name
92      ORDER BY debian_cve.bug),
93    sp.release
94  FROM
95     source_package_status AS st,
96     source_packages AS sp,
97     bugs
98  WHERE
99     sp.rowid = st.package
100     AND st.bug_name = bugs.name
101     AND ( st.bug_name LIKE 'CVE-%' OR st.bug_name LIKE 'TEMP-%' )
102     AND ( sp.release = 'sid' OR sp.release = 'stretch' OR sp.release = 'jessie'
103            OR sp.release = 'wheezy' OR sp.release = 'squeeze' )
104  ORDER BY sp.name, st.bug_name, sp.release, sp.subrelease;
105} {SEARCH debian_cve USING AUTOMATIC COVERING INDEX (bug_name=?)}
106
107#-------------------------------------------------------------------------
108# Test that ticket [8a2adec1] has been fixed.
109#
110do_execsql_test 2.1 {
111  CREATE TABLE one(o);
112  INSERT INTO one DEFAULT VALUES;
113
114  CREATE TABLE t1(x, z);
115  INSERT INTO t1 VALUES('aaa', 4.0);
116  INSERT INTO t1 VALUES('aaa', 4.0);
117  CREATE VIEW vvv AS
118    SELECT * FROM t1
119    UNION ALL
120    SELECT 0, 0 WHERE 0;
121
122  SELECT (
123      SELECT sum(z) FROM vvv WHERE x='aaa'
124  ) FROM one;
125} {8.0}
126
127# At one point the following was returning "no such column: rowid". This
128# was incorrect - "rowid" matches against the rowid of table t1 in this
129# query.
130do_catchsql_test 2.2 {
131  DROP TABLE t1;
132  CREATE TABLE t1(aaa);
133  INSERT INTO t1(aaa) VALUES(9);
134  SELECT (
135    SELECT aaa FROM t1 GROUP BY (
136      SELECT bbb FROM (
137        SELECT ccc AS bbb FROM (
138           SELECT 1 ccc
139        ) WHERE rowid IS NOT 1
140      ) WHERE bbb = 1
141    )
142  );
143} {0 9}
144
145# Ticket https://www.sqlite.org/src/info/787fa716be3a7f65
146# Segfault due to multiple uses of the same subquery where the
147# subquery is implemented via coroutine.
148#
149ifcapable windowfunc {
150sqlite3 db :memory:
151do_execsql_test 3.0 {
152  -- This is the original test case reported on the mailing list
153  CREATE TABLE artists (
154    id integer NOT NULL PRIMARY KEY AUTOINCREMENT,
155    name varchar(255)
156  );
157  CREATE TABLE albums (
158    id integer NOT NULL PRIMARY KEY AUTOINCREMENT,
159    name varchar(255),
160    artist_id integer REFERENCES artists
161  );
162  INSERT INTO artists (name) VALUES ('Ar');
163  INSERT INTO albums (name, artist_id) VALUES ('Al', 1);
164  SELECT artists.*
165  FROM artists
166  INNER JOIN artists AS 'b' ON (b.id = artists.id)
167  WHERE (artists.id IN (
168    SELECT albums.artist_id
169    FROM albums
170    WHERE ((name = 'Al')
171      AND (albums.artist_id IS NOT NULL)
172      AND (albums.id IN (
173        SELECT id
174        FROM (
175          SELECT albums.id,
176                 row_number() OVER (
177                   PARTITION BY albums.artist_id
178                   ORDER BY name
179                 ) AS 'x'
180          FROM albums
181          WHERE (name = 'Al')
182        ) AS 't1'
183        WHERE (x = 1)
184      ))
185      AND (albums.id IN (1, 2)))
186  ));
187} {1 Ar}
188} ;# windowfunc
189
190# The remaining test cases were discovered (by Dan) during trouble-shooting
191sqlite3 db :memory:
192do_execsql_test 3.1 {
193  CREATE TABLE t1 (a); INSERT INTO t1 (a) VALUES (104);
194  CREATE TABLE t2 (b); INSERT INTO t2 (b) VALUES (104);
195  CREATE TABLE t3 (c); INSERT INTO t3 (c) VALUES (104);
196  CREATE TABLE t4 (d); INSERT INTO t4 (d) VALUES (104);
197  SELECT *
198  FROM t1 CROSS JOIN t2 ON (t1.a = t2.b) WHERE t2.b IN (
199    SELECT t3.c
200    FROM t3
201    WHERE t3.c IN (
202      SELECT d FROM (SELECT DISTINCT d FROM t4) AS x WHERE x.d=104
203    )
204  );
205} {104 104}
206sqlite3 db :memory:
207do_execsql_test 3.2 {
208  CREATE TABLE t5(a, b, c, d);
209  CREATE INDEX t5a ON t5(a);
210  CREATE INDEX t5b ON t5(b);
211  CREATE TABLE t6(e);
212  INSERT INTO t6 VALUES(1);
213  INSERT INTO t5 VALUES(1,1,1,1), (2,2,2,2);
214  SELECT * FROM t5 WHERE (a=1 OR b=2) AND c IN (
215    SELECT e FROM (SELECT DISTINCT e FROM t6) WHERE e=1
216  );
217} {1 1 1 1}
218sqlite3 db :memory:
219do_execsql_test 3.3 {
220  CREATE TABLE t1(a1, a2, a3);
221  CREATE INDEX t1a2 ON t1(a2, a1);
222  CREATE INDEX t1a3 ON t1(a3, a1);
223  CREATE TABLE t2(d);
224  INSERT INTO t1 VALUES(3, 1, 1), (3, 2, 2);
225  INSERT INTO t2 VALUES(3);
226  SELECT *, 'x' FROM t1 WHERE (a2=1 OR a3=2) AND a1 = (
227    SELECT d FROM (SELECT DISTINCT d FROM t2) WHERE d=3
228  );
229} {3 1 1 x 3 2 2 x}
230
231
232
233
234finish_test
235