sqlite/test/minmax2.test
drh 21172c4cc0 Add an optimization that attempts to run a subquery as a coroutine rather
than manifesting it into a temporary table.

FossilOrigin-Name: 7af3acbbd49a2114fcdada9ec907c68ba9b053bd
2012-10-30 00:29:07 +00:00

388 lines
8.7 KiB
Plaintext

# 2007 July 17
#
# The author disclaims copyright to this source code. In place of
# a legal notice, here is a blessing:
#
# May you do good and not evil.
# May you find forgiveness for yourself and forgive others.
# May you share freely, never taking more than you give.
#
#***********************************************************************
# This file implements regression tests for SQLite library. The
# focus of this file is testing SELECT statements that contain
# aggregate min() and max() functions and which are handled as
# as a special case. This file makes sure that the min/max
# optimization works right in the presence of descending
# indices. Ticket #2514.
#
# $Id: minmax2.test,v 1.2 2008/01/05 17:39:30 danielk1977 Exp $
set testdir [file dirname $argv0]
source $testdir/tester.tcl
do_test minmax2-1.0 {
execsql {
PRAGMA legacy_file_format=0;
BEGIN;
CREATE TABLE t1(x, y);
INSERT INTO t1 VALUES(1,1);
INSERT INTO t1 VALUES(2,2);
INSERT INTO t1 VALUES(3,2);
INSERT INTO t1 VALUES(4,3);
INSERT INTO t1 VALUES(5,3);
INSERT INTO t1 VALUES(6,3);
INSERT INTO t1 VALUES(7,3);
INSERT INTO t1 VALUES(8,4);
INSERT INTO t1 VALUES(9,4);
INSERT INTO t1 VALUES(10,4);
INSERT INTO t1 VALUES(11,4);
INSERT INTO t1 VALUES(12,4);
INSERT INTO t1 VALUES(13,4);
INSERT INTO t1 VALUES(14,4);
INSERT INTO t1 VALUES(15,4);
INSERT INTO t1 VALUES(16,5);
INSERT INTO t1 VALUES(17,5);
INSERT INTO t1 VALUES(18,5);
INSERT INTO t1 VALUES(19,5);
INSERT INTO t1 VALUES(20,5);
COMMIT;
SELECT DISTINCT y FROM t1 ORDER BY y;
}
} {1 2 3 4 5}
do_test minmax2-1.1 {
set sqlite_search_count 0
execsql {SELECT min(x) FROM t1}
} {1}
do_test minmax2-1.2 {
set sqlite_search_count
} {19}
do_test minmax2-1.3 {
set sqlite_search_count 0
execsql {SELECT max(x) FROM t1}
} {20}
do_test minmax2-1.4 {
set sqlite_search_count
} {19}
do_test minmax2-1.5 {
execsql {CREATE INDEX t1i1 ON t1(x DESC)}
set sqlite_search_count 0
execsql {SELECT min(x) FROM t1}
} {1}
do_test minmax2-1.6 {
set sqlite_search_count
} {1}
do_test minmax2-1.7 {
set sqlite_search_count 0
execsql {SELECT max(x) FROM t1}
} {20}
do_test minmax2-1.8 {
set sqlite_search_count
} {0}
do_test minmax2-1.9 {
set sqlite_search_count 0
execsql {SELECT max(y) FROM t1}
} {5}
do_test minmax2-1.10 {
set sqlite_search_count
} {19}
do_test minmax2-2.0 {
execsql {
CREATE TABLE t2(a INTEGER PRIMARY KEY, b);
INSERT INTO t2 SELECT * FROM t1;
}
set sqlite_search_count 0
execsql {SELECT min(a) FROM t2}
} {1}
do_test minmax2-2.1 {
set sqlite_search_count
} {0}
do_test minmax2-2.2 {
set sqlite_search_count 0
execsql {SELECT max(a) FROM t2}
} {20}
do_test minmax2-2.3 {
set sqlite_search_count
} {0}
do_test minmax2-3.0 {
ifcapable subquery {
execsql {INSERT INTO t2 VALUES((SELECT max(a) FROM t2)+1,999)}
} else {
db function max_a_t2 {execsql {SELECT max(a) FROM t2}}
execsql {INSERT INTO t2 VALUES(max_a_t2()+1,999)}
}
set sqlite_search_count 0
execsql {SELECT max(a) FROM t2}
} {21}
do_test minmax2-3.1 {
set sqlite_search_count
} {0}
do_test minmax2-3.2 {
ifcapable subquery {
execsql {INSERT INTO t2 VALUES((SELECT max(a) FROM t2)+1,999)}
} else {
db function max_a_t2 {execsql {SELECT max(a) FROM t2}}
execsql {INSERT INTO t2 VALUES(max_a_t2()+1,999)}
}
set sqlite_search_count 0
ifcapable subquery {
execsql { SELECT b FROM t2 WHERE a=(SELECT max(a) FROM t2) }
} else {
execsql { SELECT b FROM t2 WHERE a=max_a_t2() }
}
} {999}
do_test minmax2-3.3 {
set sqlite_search_count
} {0}
ifcapable {compound && subquery} {
do_test minmax2-4.1 {
execsql {
SELECT coalesce(min(x+0),-1), coalesce(max(x+0),-1) FROM
(SELECT * FROM t1 UNION SELECT NULL as 'x', NULL as 'y')
}
} {1 20}
do_test minmax2-4.2 {
execsql {
SELECT y, coalesce(sum(x),0) FROM
(SELECT null AS x, y+1 AS y FROM t1 UNION SELECT * FROM t1)
GROUP BY y ORDER BY y;
}
} {1 1 2 5 3 22 4 92 5 90 6 0}
do_test minmax2-4.3 {
execsql {
SELECT y, count(x), count(*) FROM
(SELECT null AS x, y+1 AS y FROM t1 UNION SELECT * FROM t1)
GROUP BY y ORDER BY y;
}
} {1 1 1 2 2 3 3 4 5 4 8 9 5 5 6 6 0 1}
} ;# ifcapable compound
# Make sure the min(x) and max(x) optimizations work on empty tables
# including empty tables with indices. Ticket #296.
#
do_test minmax2-5.1 {
execsql {
CREATE TABLE t3(x INTEGER UNIQUE NOT NULL);
SELECT coalesce(min(x),999) FROM t3;
}
} {999}
do_test minmax2-5.2 {
execsql {
SELECT coalesce(min(rowid),999) FROM t3;
}
} {999}
do_test minmax2-5.3 {
execsql {
SELECT coalesce(max(x),999) FROM t3;
}
} {999}
do_test minmax2-5.4 {
execsql {
SELECT coalesce(max(rowid),999) FROM t3;
}
} {999}
do_test minmax2-5.5 {
execsql {
SELECT coalesce(max(rowid),999) FROM t3 WHERE rowid<25;
}
} {999}
# Make sure the min(x) and max(x) optimizations work when there
# is a LIMIT clause. Ticket #396.
#
do_test minmax2-6.1 {
execsql {
SELECT min(a) FROM t2 LIMIT 1
}
} {1}
do_test minmax2-6.2 {
execsql {
SELECT max(a) FROM t2 LIMIT 3
}
} {22}
do_test minmax2-6.3 {
execsql {
SELECT min(a) FROM t2 LIMIT 0,100
}
} {1}
do_test minmax2-6.4 {
execsql {
SELECT max(a) FROM t2 LIMIT 1,100
}
} {}
do_test minmax2-6.5 {
execsql {
SELECT min(x) FROM t3 LIMIT 1
}
} {{}}
do_test minmax2-6.6 {
execsql {
SELECT max(x) FROM t3 LIMIT 0
}
} {}
do_test minmax2-6.7 {
execsql {
SELECT max(a) FROM t2 LIMIT 0
}
} {}
# Make sure the max(x) and min(x) optimizations work for nested
# queries. Ticket #587.
#
do_test minmax2-7.1 {
execsql {
SELECT max(x) FROM t1;
}
} 20
ifcapable subquery {
do_test minmax2-7.2 {
execsql {
SELECT * FROM (SELECT max(x) FROM t1);
}
} 20
}
do_test minmax2-7.3 {
execsql {
SELECT min(x) FROM t1;
}
} 1
ifcapable subquery {
do_test minmax2-7.4 {
execsql {
SELECT * FROM (SELECT min(x) FROM t1);
}
} 1
}
# Make sure min(x) and max(x) work correctly when the datatype is
# TEXT instead of NUMERIC. Ticket #623.
#
do_test minmax2-8.1 {
execsql {
CREATE TABLE t4(a TEXT);
INSERT INTO t4 VALUES('1234');
INSERT INTO t4 VALUES('234');
INSERT INTO t4 VALUES('34');
SELECT min(a), max(a) FROM t4;
}
} {1234 34}
do_test minmax2-8.2 {
execsql {
CREATE TABLE t5(a INTEGER);
INSERT INTO t5 VALUES('1234');
INSERT INTO t5 VALUES('234');
INSERT INTO t5 VALUES('34');
SELECT min(a), max(a) FROM t5;
}
} {34 1234}
# Ticket #658: Test the min()/max() optimization when the FROM clause
# is a subquery.
#
ifcapable {compound && subquery} {
do_test minmax2-9.1 {
execsql {
SELECT max(rowid) FROM (
SELECT max(rowid) FROM t4 UNION SELECT max(rowid) FROM t5
)
}
} {{}}
do_test minmax2-9.2 {
execsql {
SELECT max(rowid) FROM (
SELECT max(rowid) FROM t4 EXCEPT SELECT max(rowid) FROM t5
)
}
} {{}}
} ;# ifcapable compound&&subquery
# If there is a NULL in an aggregate max() or min(), ignore it. An
# aggregate min() or max() will only return NULL if all values are NULL.
#
do_test minmax2-10.1 {
execsql {
CREATE TABLE t6(x);
INSERT INTO t6 VALUES(1);
INSERT INTO t6 VALUES(2);
INSERT INTO t6 VALUES(NULL);
SELECT coalesce(min(x),-1) FROM t6;
}
} {1}
do_test minmax2-10.2 {
execsql {
SELECT max(x) FROM t6;
}
} {2}
do_test minmax2-10.3 {
execsql {
CREATE INDEX i6 ON t6(x DESC);
SELECT coalesce(min(x),-1) FROM t6;
}
} {1}
do_test minmax2-10.4 {
execsql {
SELECT max(x) FROM t6;
}
} {2}
do_test minmax2-10.5 {
execsql {
DELETE FROM t6 WHERE x NOT NULL;
SELECT count(*) FROM t6;
}
} 1
do_test minmax2-10.6 {
execsql {
SELECT count(x) FROM t6;
}
} 0
ifcapable subquery {
do_test minmax2-10.7 {
execsql {
SELECT (SELECT min(x) FROM t6), (SELECT max(x) FROM t6);
}
} {{} {}}
}
do_test minmax2-10.8 {
execsql {
SELECT min(x), max(x) FROM t6;
}
} {{} {}}
do_test minmax2-10.9 {
execsql {
INSERT INTO t6 SELECT * FROM t6;
INSERT INTO t6 SELECT * FROM t6;
INSERT INTO t6 SELECT * FROM t6;
INSERT INTO t6 SELECT * FROM t6;
INSERT INTO t6 SELECT * FROM t6;
INSERT INTO t6 SELECT * FROM t6;
INSERT INTO t6 SELECT * FROM t6;
INSERT INTO t6 SELECT * FROM t6;
INSERT INTO t6 SELECT * FROM t6;
INSERT INTO t6 SELECT * FROM t6;
SELECT count(*) FROM t6;
}
} 1024
do_test minmax2-10.10 {
execsql {
SELECT count(x) FROM t6;
}
} 0
ifcapable subquery {
do_test minmax2-10.11 {
execsql {
SELECT (SELECT min(x) FROM t6), (SELECT max(x) FROM t6);
}
} {{} {}}
}
do_test minmax2-10.12 {
execsql {
SELECT min(x), max(x) FROM t6;
}
} {{} {}}
finish_test