| Index: third_party/sqlite/sqlite-src-3080704/test/analyze5.test
|
| diff --git a/third_party/sqlite/sqlite-src-3080704/test/analyze5.test b/third_party/sqlite/sqlite-src-3080704/test/analyze5.test
|
| deleted file mode 100644
|
| index ac175c07b5953b74a3541a398b34ad2005994fda..0000000000000000000000000000000000000000
|
| --- a/third_party/sqlite/sqlite-src-3080704/test/analyze5.test
|
| +++ /dev/null
|
| @@ -1,265 +0,0 @@
|
| -# 2011 January 19
|
| -#
|
| -# 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 tests for SQLite library. The focus of the tests
|
| -# in this file is the use of the sqlite_stat4 histogram data on tables
|
| -# with many repeated values and only a few distinct values.
|
| -#
|
| -
|
| -set testdir [file dirname $argv0]
|
| -source $testdir/tester.tcl
|
| -
|
| -ifcapable !stat4&&!stat3 {
|
| - finish_test
|
| - return
|
| -}
|
| -
|
| -set testprefix analyze5
|
| -
|
| -proc eqp {sql {db db}} {
|
| - uplevel execsql [list "EXPLAIN QUERY PLAN $sql"] $db
|
| -}
|
| -
|
| -proc alpha {blob} {
|
| - set ret ""
|
| - foreach c [split $blob {}] {
|
| - if {[string is alpha $c]} {append ret $c}
|
| - }
|
| - return $ret
|
| -}
|
| -db func alpha alpha
|
| -
|
| -db func lindex lindex
|
| -
|
| -unset -nocomplain i t u v w x y z
|
| -do_test analyze5-1.0 {
|
| - db eval {CREATE TABLE t1(t,u,v TEXT COLLATE nocase,w,x,y,z)}
|
| - for {set i 0} {$i < 1000} {incr i} {
|
| - set y [expr {$i>=25 && $i<=50}]
|
| - set z [expr {($i>=400) + ($i>=700) + ($i>=875)}]
|
| - set x $z
|
| - set w $z
|
| - set t [expr {$z+0.5}]
|
| - switch $z {
|
| - 0 {set u "alpha"; unset x}
|
| - 1 {set u "bravo"}
|
| - 2 {set u "charlie"}
|
| - 3 {set u "delta"; unset w}
|
| - }
|
| - if {$i%2} {set v $u} {set v [string toupper $u]}
|
| - db eval {INSERT INTO t1 VALUES($t,$u,$v,$w,$x,$y,$z)}
|
| - }
|
| - db eval {
|
| - CREATE INDEX t1t ON t1(t); -- 0.5, 1.5, 2.5, and 3.5
|
| - CREATE INDEX t1u ON t1(u); -- text
|
| - CREATE INDEX t1v ON t1(v); -- mixed case text
|
| - CREATE INDEX t1w ON t1(w); -- integers 0, 1, 2 and a few NULLs
|
| - CREATE INDEX t1x ON t1(x); -- integers 1, 2, 3 and many NULLs
|
| - CREATE INDEX t1y ON t1(y); -- integers 0 and very few 1s
|
| - CREATE INDEX t1z ON t1(z); -- integers 0, 1, 2, and 3
|
| - ANALYZE;
|
| - }
|
| - ifcapable stat4 {
|
| - db eval {
|
| - SELECT DISTINCT lindex(test_decode(sample),0)
|
| - FROM sqlite_stat4 WHERE idx='t1u' ORDER BY nlt;
|
| - }
|
| - } else {
|
| - db eval {
|
| - SELECT sample FROM sqlite_stat3 WHERE idx='t1u' ORDER BY nlt;
|
| - }
|
| - }
|
| -} {alpha bravo charlie delta}
|
| -
|
| -do_test analyze5-1.1 {
|
| - ifcapable stat4 {
|
| - db eval {
|
| - SELECT DISTINCT lower(lindex(test_decode(sample), 0))
|
| - FROM sqlite_stat4 WHERE idx='t1v' ORDER BY 1
|
| - }
|
| - } else {
|
| - db eval {
|
| - SELECT lower(sample) FROM sqlite_stat3 WHERE idx='t1v' ORDER BY 1
|
| - }
|
| - }
|
| -} {alpha bravo charlie delta}
|
| -ifcapable stat4 {
|
| - do_test analyze5-1.2 {
|
| - db eval {SELECT idx, count(*) FROM sqlite_stat4 GROUP BY 1 ORDER BY 1}
|
| - } {t1t 8 t1u 8 t1v 8 t1w 8 t1x 8 t1y 9 t1z 8}
|
| -} else {
|
| - do_test analyze5-1.2 {
|
| - db eval {SELECT idx, count(*) FROM sqlite_stat3 GROUP BY 1 ORDER BY 1}
|
| - } {t1t 4 t1u 4 t1v 4 t1w 4 t1x 4 t1y 2 t1z 4}
|
| -}
|
| -
|
| -# Verify that range queries generate the correct row count estimates
|
| -#
|
| -foreach {testid where index rows} {
|
| - 1 {z>=0 AND z<=0} t1z 400
|
| - 2 {z>=1 AND z<=1} t1z 300
|
| - 3 {z>=2 AND z<=2} t1z 175
|
| - 4 {z>=3 AND z<=3} t1z 125
|
| - 5 {z>=4 AND z<=4} t1z 1
|
| - 6 {z>=-1 AND z<=-1} t1z 1
|
| - 7 {z>1 AND z<3} t1z 175
|
| - 8 {z>0 AND z<100} t1z 600
|
| - 9 {z>=1 AND z<100} t1z 600
|
| - 10 {z>1 AND z<100} t1z 300
|
| - 11 {z>=2 AND z<100} t1z 300
|
| - 12 {z>2 AND z<100} t1z 125
|
| - 13 {z>=3 AND z<100} t1z 125
|
| - 14 {z>3 AND z<100} t1z 1
|
| - 15 {z>=4 AND z<100} t1z 1
|
| - 16 {z>=-100 AND z<=-1} t1z 1
|
| - 17 {z>=-100 AND z<=0} t1z 400
|
| - 18 {z>=-100 AND z<0} t1z 1
|
| - 19 {z>=-100 AND z<=1} t1z 700
|
| - 20 {z>=-100 AND z<2} t1z 700
|
| - 21 {z>=-100 AND z<=2} t1z 875
|
| - 22 {z>=-100 AND z<3} t1z 875
|
| -
|
| - 31 {z>=0.0 AND z<=0.0} t1z 400
|
| - 32 {z>=1.0 AND z<=1.0} t1z 300
|
| - 33 {z>=2.0 AND z<=2.0} t1z 175
|
| - 34 {z>=3.0 AND z<=3.0} t1z 125
|
| - 35 {z>=4.0 AND z<=4.0} t1z 1
|
| - 36 {z>=-1.0 AND z<=-1.0} t1z 1
|
| - 37 {z>1.5 AND z<3.0} t1z 174
|
| - 38 {z>0.5 AND z<100} t1z 599
|
| - 39 {z>=1.0 AND z<100} t1z 600
|
| - 40 {z>1.5 AND z<100} t1z 299
|
| - 41 {z>=2.0 AND z<100} t1z 300
|
| - 42 {z>2.1 AND z<100} t1z 124
|
| - 43 {z>=3.0 AND z<100} t1z 125
|
| - 44 {z>3.2 AND z<100} t1z 1
|
| - 45 {z>=4.0 AND z<100} t1z 1
|
| - 46 {z>=-100 AND z<=-1.0} t1z 1
|
| - 47 {z>=-100 AND z<=0.0} t1z 400
|
| - 48 {z>=-100 AND z<0.0} t1z 1
|
| - 49 {z>=-100 AND z<=1.0} t1z 700
|
| - 50 {z>=-100 AND z<2.0} t1z 700
|
| - 51 {z>=-100 AND z<=2.0} t1z 875
|
| - 52 {z>=-100 AND z<3.0} t1z 875
|
| -
|
| - 101 {z=-1} t1z 1
|
| - 102 {z=0} t1z 400
|
| - 103 {z=1} t1z 300
|
| - 104 {z=2} t1z 175
|
| - 105 {z=3} t1z 125
|
| - 106 {z=4} t1z 1
|
| - 107 {z=-10.0} t1z 1
|
| - 108 {z=0.0} t1z 400
|
| - 109 {z=1.0} t1z 300
|
| - 110 {z=2.0} t1z 175
|
| - 111 {z=3.0} t1z 125
|
| - 112 {z=4.0} t1z 1
|
| - 113 {z=1.5} t1z 1
|
| - 114 {z=2.5} t1z 1
|
| -
|
| - 201 {z IN (-1)} t1z 1
|
| - 202 {z IN (0)} t1z 400
|
| - 203 {z IN (1)} t1z 300
|
| - 204 {z IN (2)} t1z 175
|
| - 205 {z IN (3)} t1z 125
|
| - 206 {z IN (4)} t1z 1
|
| - 207 {z IN (0.5)} t1z 1
|
| - 208 {z IN (0,1)} t1z 700
|
| - 209 {z IN (0,1,2)} t1z 875
|
| - 210 {z IN (0,1,2,3)} {} 100
|
| - 211 {z IN (0,1,2,3,4,5)} {} 100
|
| - 212 {z IN (1,2)} t1z 475
|
| - 213 {z IN (2,3)} t1z 300
|
| - 214 {z=3 OR z=2} t1z 300
|
| - 215 {z IN (-1,3)} t1z 126
|
| - 216 {z=-1 OR z=3} t1z 126
|
| -
|
| - 300 {y=0} t1y 974
|
| - 301 {y=1} t1y 26
|
| - 302 {y=0.1} t1y 1
|
| -
|
| - 400 {x IS NULL} t1x 400
|
| -
|
| -} {
|
| - # Verify that the expected index is used with the expected row count
|
| - # No longer valid due to an EXPLAIN QUERY PLAN output format change
|
| - # do_test analyze5-1.${testid}a {
|
| - # set x [lindex [eqp "SELECT * FROM t1 WHERE $where"] 3]
|
| - # set idx {}
|
| - # regexp {INDEX (t1.) } $x all idx
|
| - # regexp {~([0-9]+) rows} $x all nrow
|
| - # list $idx $nrow
|
| - # } [list $index $rows]
|
| -
|
| - # Verify that the same result is achieved regardless of whether or not
|
| - # the index is used
|
| - do_test analyze5-1.${testid}b {
|
| - set w2 [string map {y +y z +z} $where]
|
| - set a1 [db eval "SELECT rowid FROM t1 NOT INDEXED WHERE $w2\
|
| - ORDER BY +rowid"]
|
| - set a2 [db eval "SELECT rowid FROM t1 WHERE $where ORDER BY +rowid"]
|
| - if {$a1==$a2} {
|
| - set res ok
|
| - } else {
|
| - set res "a1=\[$a1\] a2=\[$a2\]"
|
| - }
|
| - set res
|
| - } {ok}
|
| -}
|
| -
|
| -# Increase the number of NULLs in column x
|
| -#
|
| -db eval {
|
| - UPDATE t1 SET x=NULL;
|
| - UPDATE t1 SET x=rowid
|
| - WHERE rowid IN (SELECT rowid FROM t1 ORDER BY random() LIMIT 5);
|
| - ANALYZE;
|
| -}
|
| -
|
| -# Verify that range queries generate the correct row count estimates
|
| -#
|
| -foreach {testid where index rows} {
|
| - 500 {x IS NULL AND u='charlie'} t1u 17
|
| - 501 {x=1 AND u='charlie'} t1x 1
|
| - 502 {x IS NULL} t1x 995
|
| - 503 {x=1} t1x 1
|
| - 504 {x IS NOT NULL} t1x 2
|
| - 505 {+x IS NOT NULL} {} 500
|
| - 506 {upper(x) IS NOT NULL} {} 500
|
| -
|
| -} {
|
| - # Verify that the expected index is used with the expected row count
|
| - # No longer valid due to an EXPLAIN QUERY PLAN format change
|
| - # do_test analyze5-1.${testid}a {
|
| - # set x [lindex [eqp "SELECT * FROM t1 WHERE $where"] 3]
|
| - # set idx {}
|
| - # regexp {INDEX (t1.) } $x all idx
|
| - # regexp {~([0-9]+) rows} $x all nrow
|
| - # list $idx $nrow
|
| - # } [list $index $rows]
|
| -
|
| - # Verify that the same result is achieved regardless of whether or not
|
| - # the index is used
|
| - do_test analyze5-1.${testid}b {
|
| - set w2 [string map {y +y z +z} $where]
|
| - set a1 [db eval "SELECT rowid FROM t1 NOT INDEXED WHERE $w2\
|
| - ORDER BY +rowid"]
|
| - set a2 [db eval "SELECT rowid FROM t1 WHERE $where ORDER BY +rowid"]
|
| - if {$a1==$a2} {
|
| - set res ok
|
| - } else {
|
| - set res "a1=\[$a1\] a2=\[$a2\]"
|
| - }
|
| - set res
|
| - } {ok}
|
| -}
|
| -
|
| -finish_test
|
|
|