sl@0: # 2001 September 15
sl@0: #
sl@0: # The author disclaims copyright to this source code.  In place of
sl@0: # a legal notice, here is a blessing:
sl@0: #
sl@0: #    May you do good and not evil.
sl@0: #    May you find forgiveness for yourself and forgive others.
sl@0: #    May you share freely, never taking more than you give.
sl@0: #
sl@0: #***********************************************************************
sl@0: # This file implements regression tests for SQLite library.  The
sl@0: # focus of this file is testing SELECT statements that contain
sl@0: # aggregate min() and max() functions and which are handled as
sl@0: # as a special case.
sl@0: #
sl@0: # $Id: minmax.test,v 1.21 2008/07/08 18:05:26 drh Exp $
sl@0: 
sl@0: set testdir [file dirname $argv0]
sl@0: source $testdir/tester.tcl
sl@0: 
sl@0: do_test minmax-1.0 {
sl@0:   execsql {
sl@0:     BEGIN;
sl@0:     CREATE TABLE t1(x, y);
sl@0:     INSERT INTO t1 VALUES(1,1);
sl@0:     INSERT INTO t1 VALUES(2,2);
sl@0:     INSERT INTO t1 VALUES(3,2);
sl@0:     INSERT INTO t1 VALUES(4,3);
sl@0:     INSERT INTO t1 VALUES(5,3);
sl@0:     INSERT INTO t1 VALUES(6,3);
sl@0:     INSERT INTO t1 VALUES(7,3);
sl@0:     INSERT INTO t1 VALUES(8,4);
sl@0:     INSERT INTO t1 VALUES(9,4);
sl@0:     INSERT INTO t1 VALUES(10,4);
sl@0:     INSERT INTO t1 VALUES(11,4);
sl@0:     INSERT INTO t1 VALUES(12,4);
sl@0:     INSERT INTO t1 VALUES(13,4);
sl@0:     INSERT INTO t1 VALUES(14,4);
sl@0:     INSERT INTO t1 VALUES(15,4);
sl@0:     INSERT INTO t1 VALUES(16,5);
sl@0:     INSERT INTO t1 VALUES(17,5);
sl@0:     INSERT INTO t1 VALUES(18,5);
sl@0:     INSERT INTO t1 VALUES(19,5);
sl@0:     INSERT INTO t1 VALUES(20,5);
sl@0:     COMMIT;
sl@0:     SELECT DISTINCT y FROM t1 ORDER BY y;
sl@0:   }
sl@0: } {1 2 3 4 5}
sl@0: 
sl@0: do_test minmax-1.1 {
sl@0:   set sqlite_search_count 0
sl@0:   execsql {SELECT min(x) FROM t1}
sl@0: } {1}
sl@0: do_test minmax-1.2 {
sl@0:   set sqlite_search_count
sl@0: } {19}
sl@0: do_test minmax-1.3 {
sl@0:   set sqlite_search_count 0
sl@0:   execsql {SELECT max(x) FROM t1}
sl@0: } {20}
sl@0: do_test minmax-1.4 {
sl@0:   set sqlite_search_count
sl@0: } {19}
sl@0: do_test minmax-1.5 {
sl@0:   execsql {CREATE INDEX t1i1 ON t1(x)}
sl@0:   set sqlite_search_count 0
sl@0:   execsql {SELECT min(x) FROM t1}
sl@0: } {1}
sl@0: do_test minmax-1.6 {
sl@0:   set sqlite_search_count
sl@0: } {1}
sl@0: do_test minmax-1.7 {
sl@0:   set sqlite_search_count 0
sl@0:   execsql {SELECT max(x) FROM t1}
sl@0: } {20}
sl@0: do_test minmax-1.8 {
sl@0:   set sqlite_search_count
sl@0: } {0}
sl@0: do_test minmax-1.9 {
sl@0:   set sqlite_search_count 0
sl@0:   execsql {SELECT max(y) FROM t1}
sl@0: } {5}
sl@0: do_test minmax-1.10 {
sl@0:   set sqlite_search_count
sl@0: } {19}
sl@0: 
sl@0: do_test minmax-1.21 {
sl@0:   execsql {SELECT min(x) FROM t1 WHERE x=5}
sl@0: } {5}
sl@0: do_test minmax-1.22 {
sl@0:   execsql {SELECT min(x) FROM t1 WHERE x>=5}
sl@0: } {5}
sl@0: do_test minmax-1.23 {
sl@0:   execsql {SELECT min(x) FROM t1 WHERE x>=4.5}
sl@0: } {5}
sl@0: do_test minmax-1.24 {
sl@0:   execsql {SELECT min(x) FROM t1 WHERE x<4.5}
sl@0: } {1}
sl@0: 
sl@0: do_test minmax-2.0 {
sl@0:   execsql {
sl@0:     CREATE TABLE t2(a INTEGER PRIMARY KEY, b);
sl@0:     INSERT INTO t2 SELECT * FROM t1;
sl@0:   }
sl@0:   set sqlite_search_count 0
sl@0:   execsql {SELECT min(a) FROM t2}
sl@0: } {1}
sl@0: do_test minmax-2.1 {
sl@0:   set sqlite_search_count
sl@0: } {0}
sl@0: do_test minmax-2.2 {
sl@0:   set sqlite_search_count 0
sl@0:   execsql {SELECT max(a) FROM t2}
sl@0: } {20}
sl@0: do_test minmax-2.3 {
sl@0:   set sqlite_search_count
sl@0: } {0}
sl@0: 
sl@0: do_test minmax-3.0 {
sl@0:   ifcapable subquery {
sl@0:     execsql {INSERT INTO t2 VALUES((SELECT max(a) FROM t2)+1,999)}
sl@0:   } else {
sl@0:     db function max_a_t2 {execsql {SELECT max(a) FROM t2}}
sl@0:     execsql {INSERT INTO t2 VALUES(max_a_t2()+1,999)}
sl@0:   }
sl@0:   set sqlite_search_count 0
sl@0:   execsql {SELECT max(a) FROM t2}
sl@0: } {21}
sl@0: do_test minmax-3.1 {
sl@0:   set sqlite_search_count
sl@0: } {0}
sl@0: do_test minmax-3.2 {
sl@0:   ifcapable subquery {
sl@0:     execsql {INSERT INTO t2 VALUES((SELECT max(a) FROM t2)+1,999)}
sl@0:   } else {
sl@0:     db function max_a_t2 {execsql {SELECT max(a) FROM t2}}
sl@0:     execsql {INSERT INTO t2 VALUES(max_a_t2()+1,999)}
sl@0:   }
sl@0:   set sqlite_search_count 0
sl@0:   ifcapable subquery {
sl@0:     execsql { SELECT b FROM t2 WHERE a=(SELECT max(a) FROM t2) }
sl@0:   } else {
sl@0:     execsql { SELECT b FROM t2 WHERE a=max_a_t2() }
sl@0:   }
sl@0: } {999}
sl@0: do_test minmax-3.3 {
sl@0:   set sqlite_search_count
sl@0: } {0}
sl@0: 
sl@0: ifcapable {compound && subquery} {
sl@0:   do_test minmax-4.1 {
sl@0:     execsql {
sl@0:       SELECT coalesce(min(x+0),-1), coalesce(max(x+0),-1) FROM
sl@0:         (SELECT * FROM t1 UNION SELECT NULL as 'x', NULL as 'y')
sl@0:     }
sl@0:   } {1 20}
sl@0:   do_test minmax-4.2 {
sl@0:     execsql {
sl@0:       SELECT y, coalesce(sum(x),0) FROM
sl@0:         (SELECT null AS x, y+1 AS y FROM t1 UNION SELECT * FROM t1)
sl@0:       GROUP BY y ORDER BY y;
sl@0:     }
sl@0:   } {1 1 2 5 3 22 4 92 5 90 6 0}
sl@0:   do_test minmax-4.3 {
sl@0:     execsql {
sl@0:       SELECT y, count(x), count(*) FROM
sl@0:         (SELECT null AS x, y+1 AS y FROM t1 UNION SELECT * FROM t1)
sl@0:       GROUP BY y ORDER BY y;
sl@0:     }
sl@0:   } {1 1 1 2 2 3 3 4 5 4 8 9 5 5 6 6 0 1}
sl@0: } ;# ifcapable compound
sl@0: 
sl@0: # Make sure the min(x) and max(x) optimizations work on empty tables
sl@0: # including empty tables with indices. Ticket #296.
sl@0: #
sl@0: do_test minmax-5.1 {
sl@0:   execsql {
sl@0:     CREATE TABLE t3(x INTEGER UNIQUE NOT NULL);
sl@0:     SELECT coalesce(min(x),999) FROM t3;
sl@0:   }
sl@0: } {999}
sl@0: do_test minmax-5.2 {
sl@0:   execsql {
sl@0:     SELECT coalesce(min(rowid),999) FROM t3;
sl@0:   }
sl@0: } {999}
sl@0: do_test minmax-5.3 {
sl@0:   execsql {
sl@0:     SELECT coalesce(max(x),999) FROM t3;
sl@0:   }
sl@0: } {999}
sl@0: do_test minmax-5.4 {
sl@0:   execsql {
sl@0:     SELECT coalesce(max(rowid),999) FROM t3;
sl@0:   }
sl@0: } {999}
sl@0: do_test minmax-5.5 {
sl@0:   execsql {
sl@0:     SELECT coalesce(max(rowid),999) FROM t3 WHERE rowid<25;
sl@0:   }
sl@0: } {999}
sl@0: 
sl@0: # Make sure the min(x) and max(x) optimizations work when there
sl@0: # is a LIMIT clause.  Ticket #396.
sl@0: #
sl@0: do_test minmax-6.1 {
sl@0:   execsql {
sl@0:     SELECT min(a) FROM t2 LIMIT 1
sl@0:   }
sl@0: } {1}
sl@0: do_test minmax-6.2 {
sl@0:   execsql {
sl@0:     SELECT max(a) FROM t2 LIMIT 3
sl@0:   }
sl@0: } {22}
sl@0: do_test minmax-6.3 {
sl@0:   execsql {
sl@0:     SELECT min(a) FROM t2 LIMIT 0,100
sl@0:   }
sl@0: } {1}
sl@0: do_test minmax-6.4 {
sl@0:   execsql {
sl@0:     SELECT max(a) FROM t2 LIMIT 1,100
sl@0:   }
sl@0: } {}
sl@0: do_test minmax-6.5 {
sl@0:   execsql {
sl@0:     SELECT min(x) FROM t3 LIMIT 1
sl@0:   }
sl@0: } {{}}
sl@0: do_test minmax-6.6 {
sl@0:   execsql {
sl@0:     SELECT max(x) FROM t3 LIMIT 0
sl@0:   }
sl@0: } {}
sl@0: do_test minmax-6.7 {
sl@0:   execsql {
sl@0:     SELECT max(a) FROM t2 LIMIT 0
sl@0:   }
sl@0: } {}
sl@0: 
sl@0: # Make sure the max(x) and min(x) optimizations work for nested
sl@0: # queries.  Ticket #587.
sl@0: #
sl@0: do_test minmax-7.1 {
sl@0:   execsql {
sl@0:     SELECT max(x) FROM t1;
sl@0:   }
sl@0: } 20
sl@0: ifcapable subquery {
sl@0:   do_test minmax-7.2 {
sl@0:     execsql {
sl@0:       SELECT * FROM (SELECT max(x) FROM t1);
sl@0:     }
sl@0:   } 20
sl@0: }
sl@0: do_test minmax-7.3 {
sl@0:   execsql {
sl@0:     SELECT min(x) FROM t1;
sl@0:   }
sl@0: } 1
sl@0: ifcapable subquery {
sl@0:   do_test minmax-7.4 {
sl@0:     execsql {
sl@0:       SELECT * FROM (SELECT min(x) FROM t1);
sl@0:     }
sl@0:   } 1
sl@0: }
sl@0: 
sl@0: # Make sure min(x) and max(x) work correctly when the datatype is
sl@0: # TEXT instead of NUMERIC.  Ticket #623.
sl@0: #
sl@0: do_test minmax-8.1 {
sl@0:   execsql {
sl@0:     CREATE TABLE t4(a TEXT);
sl@0:     INSERT INTO t4 VALUES('1234');
sl@0:     INSERT INTO t4 VALUES('234');
sl@0:     INSERT INTO t4 VALUES('34');
sl@0:     SELECT min(a), max(a) FROM t4;
sl@0:   }
sl@0: } {1234 34}
sl@0: do_test minmax-8.2 {
sl@0:   execsql {
sl@0:     CREATE TABLE t5(a INTEGER);
sl@0:     INSERT INTO t5 VALUES('1234');
sl@0:     INSERT INTO t5 VALUES('234');
sl@0:     INSERT INTO t5 VALUES('34');
sl@0:     SELECT min(a), max(a) FROM t5;
sl@0:   }
sl@0: } {34 1234}
sl@0: 
sl@0: # Ticket #658:  Test the min()/max() optimization when the FROM clause
sl@0: # is a subquery.
sl@0: #
sl@0: ifcapable {compound && subquery} {
sl@0:   do_test minmax-9.1 {
sl@0:     execsql {
sl@0:       SELECT max(rowid) FROM (
sl@0:         SELECT max(rowid) FROM t4 UNION SELECT max(rowid) FROM t5
sl@0:       )
sl@0:     }
sl@0:   } {1}
sl@0:   do_test minmax-9.2 {
sl@0:     execsql {
sl@0:       SELECT max(rowid) FROM (
sl@0:         SELECT max(rowid) FROM t4 EXCEPT SELECT max(rowid) FROM t5
sl@0:       )
sl@0:     }
sl@0:   } {{}}
sl@0: } ;# ifcapable compound&&subquery
sl@0: 
sl@0: # If there is a NULL in an aggregate max() or min(), ignore it.  An
sl@0: # aggregate min() or max() will only return NULL if all values are NULL.
sl@0: #
sl@0: do_test minmax-10.1 {
sl@0:   execsql {
sl@0:     CREATE TABLE t6(x);
sl@0:     INSERT INTO t6 VALUES(1);
sl@0:     INSERT INTO t6 VALUES(2);
sl@0:     INSERT INTO t6 VALUES(NULL);
sl@0:     SELECT coalesce(min(x),-1) FROM t6;
sl@0:   }
sl@0: } {1}
sl@0: do_test minmax-10.2 {
sl@0:   execsql {
sl@0:     SELECT max(x) FROM t6;
sl@0:   }
sl@0: } {2}
sl@0: do_test minmax-10.3 {
sl@0:   execsql {
sl@0:     CREATE INDEX i6 ON t6(x);
sl@0:     SELECT coalesce(min(x),-1) FROM t6;
sl@0:   }
sl@0: } {1}
sl@0: do_test minmax-10.4 {
sl@0:   execsql {
sl@0:     SELECT max(x) FROM t6;
sl@0:   }
sl@0: } {2}
sl@0: do_test minmax-10.5 {
sl@0:   execsql {
sl@0:     DELETE FROM t6 WHERE x NOT NULL;
sl@0:     SELECT count(*) FROM t6;
sl@0:   }
sl@0: } 1
sl@0: do_test minmax-10.6 {
sl@0:   execsql {
sl@0:     SELECT count(x) FROM t6;
sl@0:   }
sl@0: } 0
sl@0: ifcapable subquery {
sl@0:   do_test minmax-10.7 {
sl@0:     execsql {
sl@0:       SELECT (SELECT min(x) FROM t6), (SELECT max(x) FROM t6);
sl@0:     }
sl@0:   } {{} {}}
sl@0: }
sl@0: do_test minmax-10.8 {
sl@0:   execsql {
sl@0:     SELECT min(x), max(x) FROM t6;
sl@0:   }
sl@0: } {{} {}}
sl@0: do_test minmax-10.9 {
sl@0:   execsql {
sl@0:     INSERT INTO t6 SELECT * FROM t6;
sl@0:     INSERT INTO t6 SELECT * FROM t6;
sl@0:     INSERT INTO t6 SELECT * FROM t6;
sl@0:     INSERT INTO t6 SELECT * FROM t6;
sl@0:     INSERT INTO t6 SELECT * FROM t6;
sl@0:     INSERT INTO t6 SELECT * FROM t6;
sl@0:     INSERT INTO t6 SELECT * FROM t6;
sl@0:     INSERT INTO t6 SELECT * FROM t6;
sl@0:     INSERT INTO t6 SELECT * FROM t6;
sl@0:     INSERT INTO t6 SELECT * FROM t6;
sl@0:     SELECT count(*) FROM t6;
sl@0:   }
sl@0: } 1024
sl@0: do_test minmax-10.10 {
sl@0:   execsql {
sl@0:     SELECT count(x) FROM t6;
sl@0:   }
sl@0: } 0
sl@0: ifcapable subquery {
sl@0:   do_test minmax-10.11 {
sl@0:     execsql {
sl@0:       SELECT (SELECT min(x) FROM t6), (SELECT max(x) FROM t6);
sl@0:     }
sl@0:   } {{} {}}
sl@0: }
sl@0: do_test minmax-10.12 {
sl@0:   execsql {
sl@0:     SELECT min(x), max(x) FROM t6;
sl@0:   }
sl@0: } {{} {}}
sl@0: 
sl@0: 
sl@0: do_test minmax-11.1 {
sl@0:   execsql {
sl@0:     CREATE INDEX t1i2 ON t1(y,x);
sl@0:     SELECT min(x) FROM t1 WHERE y=5;
sl@0:   }
sl@0: } {16}
sl@0: do_test minmax-11.2 {
sl@0:   execsql {
sl@0:     SELECT max(x) FROM t1 WHERE y=5;
sl@0:   }
sl@0: } {20}
sl@0: do_test minmax-11.3 {
sl@0:   execsql {
sl@0:     SELECT min(x) FROM t1 WHERE y=6;
sl@0:   }
sl@0: } {{}}
sl@0: do_test minmax-11.4 {
sl@0:   execsql {
sl@0:     SELECT max(x) FROM t1 WHERE y=6;
sl@0:   }
sl@0: } {{}}
sl@0: do_test minmax-11.5 {
sl@0:   execsql {
sl@0:     SELECT min(x) FROM t1 WHERE y=1;
sl@0:   }
sl@0: } {1}
sl@0: do_test minmax-11.6 {
sl@0:   execsql {
sl@0:     SELECT max(x) FROM t1 WHERE y=1;
sl@0:   }
sl@0: } {1}
sl@0: do_test minmax-11.7 {
sl@0:   execsql {
sl@0:     SELECT min(x) FROM t1 WHERE y=0;
sl@0:   }
sl@0: } {{}}
sl@0: do_test minmax-11.8 {
sl@0:   execsql {
sl@0:     SELECT max(x) FROM t1 WHERE y=0;
sl@0:   }
sl@0: } {{}}
sl@0: do_test minmax-11.9 {
sl@0:   execsql {
sl@0:     SELECT min(x) FROM t1 WHERE y=5 AND x>=17.5;
sl@0:   }
sl@0: } {18}
sl@0: do_test minmax-11.10 {
sl@0:   execsql {
sl@0:     SELECT max(x) FROM t1 WHERE y=5 AND x>=17.5;
sl@0:   }
sl@0: } {20}
sl@0: 
sl@0: do_test minmax-12.1 {
sl@0:   execsql {
sl@0:     CREATE TABLE t7(a,b,c);
sl@0:     INSERT INTO t7 SELECT y, x, x*y FROM t1;
sl@0:     INSERT INTO t7 SELECT y, x, x*y+1000 FROM t1;
sl@0:     CREATE INDEX t7i1 ON t7(a,b,c);
sl@0:     SELECT min(a) FROM t7;
sl@0:   }
sl@0: } {1}
sl@0: do_test minmax-12.2 {
sl@0:   execsql {
sl@0:     SELECT max(a) FROM t7;
sl@0:   }
sl@0: } {5}
sl@0: do_test minmax-12.3 {
sl@0:   execsql {
sl@0:     SELECT max(a) FROM t7 WHERE a=5;
sl@0:   }
sl@0: } {5}
sl@0: do_test minmax-12.4 {
sl@0:   execsql {
sl@0:     SELECT min(b) FROM t7 WHERE a=5;
sl@0:   }
sl@0: } {16}
sl@0: do_test minmax-12.5 {
sl@0:   execsql {
sl@0:     SELECT max(b) FROM t7 WHERE a=5;
sl@0:   }
sl@0: } {20}
sl@0: do_test minmax-12.6 {
sl@0:   execsql {
sl@0:     SELECT min(b) FROM t7 WHERE a=4;
sl@0:   }
sl@0: } {8}
sl@0: do_test minmax-12.7 {
sl@0:   execsql {
sl@0:     SELECT max(b) FROM t7 WHERE a=4;
sl@0:   }
sl@0: } {15}
sl@0: do_test minmax-12.8 {
sl@0:   execsql {
sl@0:     SELECT min(c) FROM t7 WHERE a=4 AND b=10;
sl@0:   }
sl@0: } {40}
sl@0: do_test minmax-12.9 {
sl@0:   execsql {
sl@0:     SELECT max(c) FROM t7 WHERE a=4 AND b=10;
sl@0:   }
sl@0: } {1040}
sl@0: do_test minmax-12.10 {
sl@0:   execsql {
sl@0:     SELECT min(rowid) FROM t7;
sl@0:   }
sl@0: } {1}
sl@0: do_test minmax-12.11 {
sl@0:   execsql {
sl@0:     SELECT max(rowid) FROM t7;
sl@0:   }
sl@0: } {40}
sl@0: do_test minmax-12.12 {
sl@0:   execsql {
sl@0:     SELECT min(rowid) FROM t7 WHERE a=3;
sl@0:   }
sl@0: } {4}
sl@0: do_test minmax-12.13 {
sl@0:   execsql {
sl@0:     SELECT max(rowid) FROM t7 WHERE a=3;
sl@0:   }
sl@0: } {27}
sl@0: do_test minmax-12.14 {
sl@0:   execsql {
sl@0:     SELECT min(rowid) FROM t7 WHERE a=3 AND b=5;
sl@0:   }
sl@0: } {5}
sl@0: do_test minmax-12.15 {
sl@0:   execsql {
sl@0:     SELECT max(rowid) FROM t7 WHERE a=3 AND b=5;
sl@0:   }
sl@0: } {25}
sl@0: do_test minmax-12.16 {
sl@0:   execsql {
sl@0:     SELECT min(rowid) FROM t7 WHERE a=3 AND b=5 AND c=1015;
sl@0:   }
sl@0: } {25}
sl@0: do_test minmax-12.17 {
sl@0:   execsql {
sl@0:     SELECT max(rowid) FROM t7 WHERE a=3 AND b=5 AND c=15;
sl@0:   }
sl@0: } {5}
sl@0: 
sl@0: 
sl@0: 
sl@0: 
sl@0: finish_test