test/limit2.test

   1 # 2016-05-20
   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 the LIMIT in combination with ORDER BY
  13 # and in particular, the optimizations in the inner loop that cause an
  14 # early exit of the inner loop when the LIMIT is reached and the inner
  15 # loop is emitting rows in ORDER BY order.
  16
  17
  18 set testdir [file dirname $argv0]
  19 source $testdir/tester.tcl
  20 set testprefix limit2
  21
  22 do_execsql_test limit2-100 {
  23   CREATE TABLE t1(a,b);
  24   WITH RECURSIVE c(x) AS (VALUES(1) UNION ALL SELECT x+1 FROM c WHERE x<1000)
  25     INSERT INTO t1(a,b) SELECT 1, (x*17)%1000 + 1000 FROM c;
  26   INSERT INTO t1(a,b) VALUES(2,2),(3,1006),(4,4),(5,9999);
  27   CREATE INDEX t1ab ON t1(a,b);
  28 }
  29 set sqlite_search_count 0
  30 do_execsql_test limit2-100.1 {
  31   SELECT a, b, '|' FROM t1 WHERE a IN (2,4,5,3,1) ORDER BY b LIMIT 5;
  32 } {2 2 | 4 4 | 1 1000 | 1 1001 | 1 1002 |}
  33 set fast_count $sqlite_search_count
  34 set sqlite_search_count 0
  35 do_execsql_test limit2-100.2 {
  36   SELECT a, b, '|' FROM t1 WHERE a IN (2,4,5,3,1) ORDER BY +b LIMIT 5;
  37 } {2 2 | 4 4 | 1 1000 | 1 1001 | 1 1002 |}
  38 do_test limit2-100.3 {
  39   set slow_count $sqlite_search_count
  40   expr {$fast_count < 0.02*$slow_count}
  41 } {1}
  42
  43 do_execsql_test limit2-110 {
  44   CREATE TABLE t2(x,y);
  45   INSERT INTO t2(x,y) VALUES('a',1),('a',2),('a',3),('a',4);
  46   INSERT INTO t2(x,y) VALUES('b',1),('c',2),('d',3),('e',4);
  47   CREATE INDEX t2xy ON t2(x,y);
  48 }
  49 set sqlite_search_count 0
  50 do_execsql_test limit2-110.1 {
  51   SELECT a, b, '|' FROM t2, t1 WHERE t2.x='a' AND t1.a=t2.y ORDER BY t1.b LIMIT 5;
  52 } {2 2 | 4 4 | 1 1000 | 1 1001 | 1 1002 |}
  53 set fast_count $sqlite_search_count
  54 set sqlite_search_count 0
  55 do_execsql_test limit2-110.2 {
  56   SELECT a, b, '|' FROM t2, t1 WHERE t2.x='a' AND t1.a=t2.y ORDER BY +t1.b LIMIT 5;
  57 } {2 2 | 4 4 | 1 1000 | 1 1001 | 1 1002 |}
  58 set slow_count $sqlite_search_count
  59 do_test limit2-110.3 {
  60   expr {$fast_count < 0.02*$slow_count}
  61 } {1}
  62
  63 do_execsql_test limit2-120 {
  64   DROP INDEX t1ab;
  65   CREATE INDEX t1ab ON t1(a,b DESC);
  66 }
  67 set sqlite_search_count 0
  68 do_execsql_test limit2-120.1 {
  69   SELECT a, b, '|' FROM t1 WHERE a IN (2,4,5,3,1) ORDER BY b DESC LIMIT 5;
  70 } {5 9999 | 1 1999 | 1 1998 | 1 1997 | 1 1996 |}
  71 set fast_count $sqlite_search_count
  72 set sqlite_search_count 0
  73 do_execsql_test limit2-120.2 {
  74   SELECT a, b, '|' FROM t1 WHERE a IN (2,4,5,3,1) ORDER BY +b DESC LIMIT 5;
  75 } {5 9999 | 1 1999 | 1 1998 | 1 1997 | 1 1996 |}
  76 do_test limit2-120.3 {
  77   set slow_count $sqlite_search_count
  78   expr {$fast_count < 0.02*$slow_count}
  79 } {1}
  80
  81 # Bug report against the new ORDER BY LIMIT optimization just prior to
  82 # release.  (Unreleased so there is no ticket).
  83 #
  84 # Make sure the optimization is not applied if the inner loop can only
  85 # provide a single row of output.
  86 #
  87 do_execsql_test limit2-200 {
  88   CREATE TABLE t200(a, b);
  89   WITH RECURSIVE c(x) AS (VALUES(1) UNION ALL SELECT x+1 FROM c WHERE x<1000)
  90     INSERT INTO t200(a,b) SELECT x, x FROM c;
  91   CREATE TABLE t201(x INTEGER PRIMARY KEY, y);
  92   INSERT INTO t201(x,y) VALUES(2,12345);
  93
  94   SELECT *, '|' FROM t200, t201 WHERE x=b ORDER BY y LIMIT 3;
  95 } {2 2 2 12345 |}
  96 do_execsql_test limit2-210 {
  97   SELECT *, '|' FROM t200 LEFT JOIN t201 ON x=b ORDER BY y LIMIT 3;
  98 } {1 1 {} {} | 3 3 {} {} | 4 4 {} {} |}
  99
 100 # Bug in the ORDER BY LIMIT optimization reported on 2016-09-06.
 101 # Ticket https://www.sqlite.org/src/info/559733b09e96
 102 #
 103 do_execsql_test limit2-300 {
 104   CREATE TABLE t300(a,b,c);
 105   CREATE INDEX t300x ON t300(a,b,c);
 106   INSERT INTO t300 VALUES(0,1,99),(0,1,0),(0,0,0);
 107   SELECT *,'.' FROM t300 WHERE a=0 AND (c=0 OR c=99) ORDER BY c DESC;
 108 } {0 1 99 . 0 0 0 . 0 1 0 .}
 109 do_execsql_test limit2-310 {
 110   SELECT *,'.' FROM t300 WHERE a=0 AND (c=0 OR c=99) ORDER BY c DESC LIMIT 1;
 111 } {0 1 99 .}
 112
 113 # Make sure the SELECT loop is ordered correctly for the direction of
 114 # the ORDER BY
 115 #
 116 do_execsql_test limit2-400 {
 117   CREATE TABLE t400(a,b);
 118   CREATE INDEX t400_ab ON t400(a,b);
 119   INSERT INTO t400(a,b) VALUES(1,90),(1,40),(2,80),(2,30),(3,70),(3,20);
 120   SELECT *,'x' FROM t400 WHERE a IN (1,2,3) ORDER BY b DESC LIMIT 3;
 121   SELECT *,'y' FROM t400 WHERE a IN (1,2,3) ORDER BY +b DESC LIMIT 3;
 122 } {1 90 x 2 80 x 3 70 x 1 90 y 2 80 y 3 70 y}
 123
 124
 125 do_execsql_test 500 {
 126   CREATE TABLE t500(i INTEGER PRIMARY KEY, j);
 127   INSERT INTO t500 VALUES(1, 1);
 128   INSERT INTO t500 VALUES(2, 2);
 129   INSERT INTO t500 VALUES(3, 3);
 130   INSERT INTO t500 VALUES(4, 0);
 131   INSERT INTO t500 VALUES(5, 5);
 132   SELECT j FROM t500 WHERE i IN (1,2,3,4,5) ORDER BY j DESC LIMIT 3;
 133 } {5 3 2}
 134 do_execsql_test 501 {
 135   CREATE TABLE t501(i INTEGER PRIMARY KEY, j);
 136   INSERT INTO t501 VALUES(1, 5);
 137   INSERT INTO t501 VALUES(2, 4);
 138   INSERT INTO t501 VALUES(3, 3);
 139   INSERT INTO t501 VALUES(4, 6);
 140   INSERT INTO t501 VALUES(5, 1);
 141   SELECT j FROM t501 WHERE i IN (1,2,3,4,5) ORDER BY j LIMIT 3;
 142 } {1 3 4}
 143 do_execsql_test 502 {
 144   CREATE TABLE t502(i INT PRIMARY KEY, j);
 145   INSERT INTO t502 VALUES(1, 5);
 146   INSERT INTO t502 VALUES(2, 4);
 147   INSERT INTO t502 VALUES(3, 3);
 148   INSERT INTO t502 VALUES(4, 6);
 149   INSERT INTO t502 VALUES(5, 1);
 150   SELECT j FROM t502 WHERE i IN (1,2,3,4,5) ORDER BY j LIMIT 3;
 151 } {1 3 4}
 152
 153 # Ticket https://www.sqlite.org/src/info/123c9ba32130a6c9 2017-12-13
 154 # Incorrect result when an idnex is used for an ordered join.
 155 #
 156 # This test case is in the limit2.test module because the problem was first
 157 # exposed by check-in https://www.sqlite.org/src/info/559733b09e which
 158 # implemented the ORDER BY LIMIT optimization that limit2.test strives to
 159 # test.
 160 #
 161 do_execsql_test 600 {
 162   DROP TABLE IF EXISTS t1;
 163   CREATE TABLE t1(a, b);  INSERT INTO t1 VALUES(1,2);
 164   DROP TABLE IF EXISTS t2;
 165   CREATE TABLE t2(x, y);  INSERT INTO t2 VALUES(1,3);
 166   CREATE INDEX t1ab ON t1(a,b);
 167   SELECT y FROM t1, t2 WHERE a=x AND b<=y ORDER BY b DESC;
 168 } {3}
 169
 170 # Ticket https://www.sqlite.org/src/info/9936b2fa443fec03 2018-09-08
 171 # Infinite loop due to the ORDER BY LIMIT optimization.
 172 #
 173 do_execsql_test 700 {
 174   DROP TABLE IF EXISTS t1;
 175   DROP TABLE IF EXISTS t2;
 176   CREATE TABLE t1(aa VARCHAR PRIMARY KEY NOT NULL,bb,cc,x VARCHAR(400));
 177   INSERT INTO t1(aa,bb,cc) VALUES('maroon','meal','lecture');
 178   INSERT INTO t1(aa,bb,cc) VALUES('reality','meal','catsear');
 179   CREATE TABLE t2(aa VARCHAR PRIMARY KEY, dd INT DEFAULT 1, ee, x VARCHAR(100));
 180   INSERT INTO t2(aa,dd,ee) VALUES('maroon',0,'travel'),('reality',0,'hour');
 181   CREATE INDEX t2x1 ON t2(dd,ee);
 182   ANALYZE;
 183   DROP TABLE IF EXISTS sqlite_stat4;
 184   DELETE FROM sqlite_stat1;
 185   INSERT INTO sqlite_stat1 VALUES
 186     ('t2','t2x1','3 3 3'),
 187     ('t2','sqlite_autoindex_t2_1','3 1'),
 188     ('t1','sqlite_autoindex_t1_1','2 1');
 189   ANALYZE sqlite_master;
 190   SELECT *
 191     FROM t1 LEFT JOIN t2 ON t1.aa=t2.aa
 192    WHERE t1.bb='meal'
 193    ORDER BY t2.dd DESC
 194    LIMIT 1;
 195 } {maroon meal lecture {} maroon 0 travel {}}
 196 do_execsql_test 710 {
 197   DROP TABLE t1;
 198   DROP TABLE t2;
 199   CREATE TABLE t1(aa, bb);
 200   INSERT INTO t1 VALUES('maroon','meal');
 201   CREATE TABLE t2(cc, dd, ee, x VARCHAR(100));
 202   INSERT INTO t2(cc,dd,ee) VALUES('maroon',1,'one');
 203   INSERT INTO t2(cc,dd,ee) VALUES('maroon',2,'two');
 204   INSERT INTO t2(cc,dd,ee) VALUES('maroon',0,'zero');
 205   CREATE INDEX t2ddee ON t2(dd,ee);
 206   CREATE INDEX t2cc ON t2(cc);
 207    ANALYZE;
 208   SELECT t2.cc, t2.dd, t2.ee FROM t1 CROSS JOIN t2 ON t1.aa=t2.cc
 209   ORDER BY t2.dd LIMIT 1;
 210 } {maroon 0 zero}
 211 do_execsql_test 720 {
 212   SELECT t2.cc, t2.dd, t2.ee FROM t1 CROSS JOIN t2 ON t1.aa=t2.cc
 213   WHERE t1.bb='meal'
 214   ORDER BY t2.dd LIMIT 1;
 215 } {maroon 0 zero}
 216
 217 finish_test