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