test/analyzeD.test

   1 # 2014-10-04
   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.
  12 # This file implements tests for the ANALYZE command.
  13 #
  14
  15 set testdir [file dirname $argv0]
  16 source $testdir/tester.tcl
  17 set ::testprefix analyzeD
  18
  19 ifcapable {!stat4} {
  20   finish_test
  21   return
  22 }
  23
  24
  25 # Set up a table with the following properties:
  26 #
  27 #    * Contains 1000 rows.
  28 #    * Column a contains even integers between 0 and 18, inclusive (so that
  29 #      a=? for any such integer matches 100 rows).
  30 #    * Column b contains integers between 0 and 9, inclusive.
  31 #    * Column c contains integers between 0 and 199, inclusive (so that
  32 #      for any such integer, c=? matches 5 rows).
  33 #    * Then add 7 rows with a new value for "a" - 3001. The stat4 table will
  34 #      not contain any samples with a=3001.
  35 #
  36 do_execsql_test 1.0 {
  37   CREATE TABLE t1(a, b, c);
  38 }
  39 do_test 1.1 {
  40   for {set i 1} {$i < 1000} {incr i} {
  41     set c [expr $i % 200]
  42     execsql { INSERT INTO t1(a, b, c) VALUES( 2*($i/100), $i%10, $c ) }
  43   }
  44
  45   execsql {
  46     INSERT INTO t1 VALUES(3001, 3001, 3001);
  47     INSERT INTO t1 VALUES(3001, 3001, 3002);
  48     INSERT INTO t1 VALUES(3001, 3001, 3003);
  49     INSERT INTO t1 VALUES(3001, 3001, 3004);
  50     INSERT INTO t1 VALUES(3001, 3001, 3005);
  51     INSERT INTO t1 VALUES(3001, 3001, 3006);
  52     INSERT INTO t1 VALUES(3001, 3001, 3007);
  53
  54     CREATE INDEX t1_ab ON t1(a, b);
  55     CREATE INDEX t1_c ON t1(c);
  56
  57     ANALYZE;
  58   }
  59 } {}
  60
  61 # With full ANALYZE data, SQLite sees that c=150 (5 rows) is better than
  62 # a=3001 (7 rows).
  63 #
  64 do_eqp_test 1.2 {
  65   SELECT * FROM t1 WHERE a=3001 AND c=150;
  66 } {SEARCH t1 USING INDEX t1_c (c=?)}
  67
  68 do_test 1.3 {
  69   execsql { DELETE FROM sqlite_stat1 }
  70   db close
  71   sqlite3 db test.db
  72 } {}
  73
  74 # Without stat1, because 3001 is larger than all samples in the stat4
  75 # table, SQLite thinks that a=3001 matches just 1 row. So it (incorrectly)
  76 # chooses it over the c=150 index (5 rows). Even with stat1 data, things
  77 # worked this way before commit [e6f7f97dbc].
  78 #
  79 do_eqp_test 1.4 {
  80   SELECT * FROM t1 WHERE a=3001 AND c=150;
  81 } {SEARCH t1 USING INDEX t1_ab (a=?)}
  82
  83 do_test 1.5 {
  84   execsql {
  85     UPDATE t1 SET a=13 WHERE a = 3001;
  86     ANALYZE;
  87   }
  88 } {}
  89
  90 do_eqp_test 1.6 {
  91   SELECT * FROM t1 WHERE a=13 AND c=150;
  92 } {SEARCH t1 USING INDEX t1_c (c=?)}
  93
  94 do_test 1.7 {
  95   execsql { DELETE FROM sqlite_stat1 }
  96   db close
  97   sqlite3 db test.db
  98 } {}
  99
 100 # Same test as 1.4, except this time the 7 rows that match the a=? condition
 101 # do not feature larger values than all rows in the stat4 table. So SQLite
 102 # gets this right, even without stat1 data.
 103 do_eqp_test 1.8 {
 104   SELECT * FROM t1 WHERE a=13 AND c=150;
 105 } {SEARCH t1 USING INDEX t1_c (c=?)}
 106
 107 finish_test