/ Hex Artifact Content
Login

Artifact 765c4e284aa69ca172772aa940946f55629bc8c4:


0000: 23 20 32 30 31 31 20 4a 61 6e 75 61 72 79 20 31  # 2011 January 1
0010: 39 0a 23 0a 23 20 54 68 65 20 61 75 74 68 6f 72  9.#.# The author
0020: 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70 79 72   disclaims copyr
0030: 69 67 68 74 20 74 6f 20 74 68 69 73 20 73 6f 75  ight to this sou
0040: 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c  rce code.  In pl
0050: 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c  ace of.# a legal
0060: 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20 69 73   notice, here is
0070: 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23   a blessing:.#.#
0080: 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f 20 67      May you do g
0090: 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c  ood and not evil
00a0: 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 66  ..#    May you f
00b0: 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73 73 20  ind forgiveness 
00c0: 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61 6e 64  for yourself and
00d0: 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72 73 2e   forgive others.
00e0: 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 73 68  .#    May you sh
00f0: 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65 76 65  are freely, neve
0100: 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68  r taking more th
0110: 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23  an you give..#.#
0120: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 2a 2a 2a 2a 2a 0a 23 0a 23 20 54 68 69 73  *******.#.# This
0170: 20 66 69 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73   file implements
0180: 20 74 65 73 74 73 20 66 6f 72 20 53 51 4c 69 74   tests for SQLit
0190: 65 20 6c 69 62 72 61 72 79 2e 20 20 54 68 65 20  e library.  The 
01a0: 66 6f 63 75 73 20 6f 66 20 74 68 65 20 74 65 73  focus of the tes
01b0: 74 73 0a 23 20 69 6e 20 74 68 69 73 20 66 69 6c  ts.# in this fil
01c0: 65 20 69 73 20 74 68 65 20 75 73 65 20 6f 66 20  e is the use of 
01d0: 74 68 65 20 73 71 6c 69 74 65 5f 73 74 61 74 34  the sqlite_stat4
01e0: 20 68 69 73 74 6f 67 72 61 6d 20 64 61 74 61 20   histogram data 
01f0: 6f 6e 20 74 61 62 6c 65 73 0a 23 20 77 69 74 68  on tables.# with
0200: 20 6d 61 6e 79 20 72 65 70 65 61 74 65 64 20 76   many repeated v
0210: 61 6c 75 65 73 20 61 6e 64 20 6f 6e 6c 79 20 61  alues and only a
0220: 20 66 65 77 20 64 69 73 74 69 6e 63 74 20 76 61   few distinct va
0230: 6c 75 65 73 2e 0a 23 0a 0a 73 65 74 20 74 65 73  lues..#..set tes
0240: 74 64 69 72 20 5b 66 69 6c 65 20 64 69 72 6e 61  tdir [file dirna
0250: 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f 75 72 63  me $argv0].sourc
0260: 65 20 24 74 65 73 74 64 69 72 2f 74 65 73 74 65  e $testdir/teste
0270: 72 2e 74 63 6c 0a 0a 69 66 63 61 70 61 62 6c 65  r.tcl..ifcapable
0280: 20 21 73 74 61 74 34 26 26 21 73 74 61 74 33 20   !stat4&&!stat3 
0290: 7b 0a 20 20 66 69 6e 69 73 68 5f 74 65 73 74 0a  {.  finish_test.
02a0: 20 20 72 65 74 75 72 6e 0a 7d 0a 0a 73 65 74 20    return.}..set 
02b0: 74 65 73 74 70 72 65 66 69 78 20 61 6e 61 6c 79  testprefix analy
02c0: 7a 65 35 0a 0a 70 72 6f 63 20 65 71 70 20 7b 73  ze5..proc eqp {s
02d0: 71 6c 20 7b 64 62 20 64 62 7d 7d 20 7b 0a 20 20  ql {db db}} {.  
02e0: 75 70 6c 65 76 65 6c 20 65 78 65 63 73 71 6c 20  uplevel execsql 
02f0: 5b 6c 69 73 74 20 22 45 58 50 4c 41 49 4e 20 51  [list "EXPLAIN Q
0300: 55 45 52 59 20 50 4c 41 4e 20 24 73 71 6c 22 5d  UERY PLAN $sql"]
0310: 20 24 64 62 0a 7d 0a 0a 70 72 6f 63 20 61 6c 70   $db.}..proc alp
0320: 68 61 20 7b 62 6c 6f 62 7d 20 7b 0a 20 20 73 65  ha {blob} {.  se
0330: 74 20 72 65 74 20 22 22 0a 20 20 66 6f 72 65 61  t ret "".  forea
0340: 63 68 20 63 20 5b 73 70 6c 69 74 20 24 62 6c 6f  ch c [split $blo
0350: 62 20 7b 7d 5d 20 7b 0a 20 20 20 20 69 66 20 7b  b {}] {.    if {
0360: 5b 73 74 72 69 6e 67 20 69 73 20 61 6c 70 68 61  [string is alpha
0370: 20 24 63 5d 7d 20 7b 61 70 70 65 6e 64 20 72 65   $c]} {append re
0380: 74 20 24 63 7d 0a 20 20 7d 0a 20 20 72 65 74 75  t $c}.  }.  retu
0390: 72 6e 20 24 72 65 74 0a 7d 0a 64 62 20 66 75 6e  rn $ret.}.db fun
03a0: 63 20 61 6c 70 68 61 20 61 6c 70 68 61 0a 0a 64  c alpha alpha..d
03b0: 62 20 66 75 6e 63 20 6c 69 6e 64 65 78 20 6c 69  b func lindex li
03c0: 6e 64 65 78 0a 0a 75 6e 73 65 74 20 2d 6e 6f 63  ndex..unset -noc
03d0: 6f 6d 70 6c 61 69 6e 20 69 20 74 20 75 20 76 20  omplain i t u v 
03e0: 77 20 78 20 79 20 7a 0a 64 6f 5f 74 65 73 74 20  w x y z.do_test 
03f0: 61 6e 61 6c 79 7a 65 35 2d 31 2e 30 20 7b 0a 20  analyze5-1.0 {. 
0400: 20 64 62 20 65 76 61 6c 20 7b 43 52 45 41 54 45   db eval {CREATE
0410: 20 54 41 42 4c 45 20 74 31 28 74 2c 75 2c 76 20   TABLE t1(t,u,v 
0420: 54 45 58 54 20 43 4f 4c 4c 41 54 45 20 6e 6f 63  TEXT COLLATE noc
0430: 61 73 65 2c 77 2c 78 2c 79 2c 7a 29 7d 0a 20 20  ase,w,x,y,z)}.  
0440: 66 6f 72 20 7b 73 65 74 20 69 20 30 7d 20 7b 24  for {set i 0} {$
0450: 69 20 3c 20 31 30 30 30 7d 20 7b 69 6e 63 72 20  i < 1000} {incr 
0460: 69 7d 20 7b 0a 20 20 20 20 73 65 74 20 79 20 5b  i} {.    set y [
0470: 65 78 70 72 20 7b 24 69 3e 3d 32 35 20 26 26 20  expr {$i>=25 && 
0480: 24 69 3c 3d 35 30 7d 5d 0a 20 20 20 20 73 65 74  $i<=50}].    set
0490: 20 7a 20 5b 65 78 70 72 20 7b 28 24 69 3e 3d 34   z [expr {($i>=4
04a0: 30 30 29 20 2b 20 28 24 69 3e 3d 37 30 30 29 20  00) + ($i>=700) 
04b0: 2b 20 28 24 69 3e 3d 38 37 35 29 7d 5d 0a 20 20  + ($i>=875)}].  
04c0: 20 20 73 65 74 20 78 20 24 7a 0a 20 20 20 20 73    set x $z.    s
04d0: 65 74 20 77 20 24 7a 0a 20 20 20 20 73 65 74 20  et w $z.    set 
04e0: 74 20 5b 65 78 70 72 20 7b 24 7a 2b 30 2e 35 7d  t [expr {$z+0.5}
04f0: 5d 0a 20 20 20 20 73 77 69 74 63 68 20 24 7a 20  ].    switch $z 
0500: 7b 0a 20 20 20 20 20 20 30 20 7b 73 65 74 20 75  {.      0 {set u
0510: 20 22 61 6c 70 68 61 22 3b 20 75 6e 73 65 74 20   "alpha"; unset 
0520: 78 7d 0a 20 20 20 20 20 20 31 20 7b 73 65 74 20  x}.      1 {set 
0530: 75 20 22 62 72 61 76 6f 22 7d 0a 20 20 20 20 20  u "bravo"}.     
0540: 20 32 20 7b 73 65 74 20 75 20 22 63 68 61 72 6c   2 {set u "charl
0550: 69 65 22 7d 0a 20 20 20 20 20 20 33 20 7b 73 65  ie"}.      3 {se
0560: 74 20 75 20 22 64 65 6c 74 61 22 3b 20 75 6e 73  t u "delta"; uns
0570: 65 74 20 77 7d 0a 20 20 20 20 7d 0a 20 20 20 20  et w}.    }.    
0580: 69 66 20 7b 24 69 25 32 7d 20 7b 73 65 74 20 76  if {$i%2} {set v
0590: 20 24 75 7d 20 7b 73 65 74 20 76 20 5b 73 74 72   $u} {set v [str
05a0: 69 6e 67 20 74 6f 75 70 70 65 72 20 24 75 5d 7d  ing toupper $u]}
05b0: 0a 20 20 20 20 64 62 20 65 76 61 6c 20 7b 49 4e  .    db eval {IN
05c0: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c  SERT INTO t1 VAL
05d0: 55 45 53 28 24 74 2c 24 75 2c 24 76 2c 24 77 2c  UES($t,$u,$v,$w,
05e0: 24 78 2c 24 79 2c 24 7a 29 7d 0a 20 20 7d 0a 20  $x,$y,$z)}.  }. 
05f0: 20 64 62 20 65 76 61 6c 20 7b 20 0a 20 20 20 20   db eval { .    
0600: 43 52 45 41 54 45 20 49 4e 44 45 58 20 74 31 74  CREATE INDEX t1t
0610: 20 4f 4e 20 74 31 28 74 29 3b 20 20 2d 2d 20 30   ON t1(t);  -- 0
0620: 2e 35 2c 20 31 2e 35 2c 20 32 2e 35 2c 20 61 6e  .5, 1.5, 2.5, an
0630: 64 20 33 2e 35 0a 20 20 20 20 43 52 45 41 54 45  d 3.5.    CREATE
0640: 20 49 4e 44 45 58 20 74 31 75 20 4f 4e 20 74 31   INDEX t1u ON t1
0650: 28 75 29 3b 20 20 2d 2d 20 74 65 78 74 0a 20 20  (u);  -- text.  
0660: 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 74    CREATE INDEX t
0670: 31 76 20 4f 4e 20 74 31 28 76 29 3b 20 20 2d 2d  1v ON t1(v);  --
0680: 20 6d 69 78 65 64 20 63 61 73 65 20 74 65 78 74   mixed case text
0690: 0a 20 20 20 20 43 52 45 41 54 45 20 49 4e 44 45  .    CREATE INDE
06a0: 58 20 74 31 77 20 4f 4e 20 74 31 28 77 29 3b 20  X t1w ON t1(w); 
06b0: 20 2d 2d 20 69 6e 74 65 67 65 72 73 20 30 2c 20   -- integers 0, 
06c0: 31 2c 20 32 20 61 6e 64 20 61 20 66 65 77 20 4e  1, 2 and a few N
06d0: 55 4c 4c 73 0a 20 20 20 20 43 52 45 41 54 45 20  ULLs.    CREATE 
06e0: 49 4e 44 45 58 20 74 31 78 20 4f 4e 20 74 31 28  INDEX t1x ON t1(
06f0: 78 29 3b 20 20 2d 2d 20 69 6e 74 65 67 65 72 73  x);  -- integers
0700: 20 31 2c 20 32 2c 20 33 20 61 6e 64 20 6d 61 6e   1, 2, 3 and man
0710: 79 20 4e 55 4c 4c 73 0a 20 20 20 20 43 52 45 41  y NULLs.    CREA
0720: 54 45 20 49 4e 44 45 58 20 74 31 79 20 4f 4e 20  TE INDEX t1y ON 
0730: 74 31 28 79 29 3b 20 20 2d 2d 20 69 6e 74 65 67  t1(y);  -- integ
0740: 65 72 73 20 30 20 61 6e 64 20 76 65 72 79 20 66  ers 0 and very f
0750: 65 77 20 31 73 0a 20 20 20 20 43 52 45 41 54 45  ew 1s.    CREATE
0760: 20 49 4e 44 45 58 20 74 31 7a 20 4f 4e 20 74 31   INDEX t1z ON t1
0770: 28 7a 29 3b 20 20 2d 2d 20 69 6e 74 65 67 65 72  (z);  -- integer
0780: 73 20 30 2c 20 31 2c 20 32 2c 20 61 6e 64 20 33  s 0, 1, 2, and 3
0790: 0a 20 20 20 20 41 4e 41 4c 59 5a 45 3b 0a 20 20  .    ANALYZE;.  
07a0: 7d 0a 20 20 69 66 63 61 70 61 62 6c 65 20 73 74  }.  ifcapable st
07b0: 61 74 34 20 7b 0a 20 20 20 20 64 62 20 65 76 61  at4 {.    db eva
07c0: 6c 20 7b 0a 20 20 20 20 20 20 53 45 4c 45 43 54  l {.      SELECT
07d0: 20 44 49 53 54 49 4e 43 54 20 6c 69 6e 64 65 78   DISTINCT lindex
07e0: 28 74 65 73 74 5f 64 65 63 6f 64 65 28 73 61 6d  (test_decode(sam
07f0: 70 6c 65 29 2c 30 29 20 0a 20 20 20 20 20 20 20  ple),0) .       
0800: 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 73 74 61   FROM sqlite_sta
0810: 74 34 20 57 48 45 52 45 20 69 64 78 3d 27 74 31  t4 WHERE idx='t1
0820: 75 27 20 4f 52 44 45 52 20 42 59 20 6e 6c 74 3b  u' ORDER BY nlt;
0830: 0a 20 20 20 20 7d 0a 20 20 7d 20 65 6c 73 65 20  .    }.  } else 
0840: 7b 0a 20 20 20 20 64 62 20 65 76 61 6c 20 7b 0a  {.    db eval {.
0850: 20 20 20 20 20 20 53 45 4c 45 43 54 20 73 61 6d        SELECT sam
0860: 70 6c 65 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f  ple FROM sqlite_
0870: 73 74 61 74 33 20 57 48 45 52 45 20 69 64 78 3d  stat3 WHERE idx=
0880: 27 74 31 75 27 20 4f 52 44 45 52 20 42 59 20 6e  't1u' ORDER BY n
0890: 6c 74 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a 7d 20  lt;.    }.  }.} 
08a0: 7b 61 6c 70 68 61 20 62 72 61 76 6f 20 63 68 61  {alpha bravo cha
08b0: 72 6c 69 65 20 64 65 6c 74 61 7d 0a 0a 64 6f 5f  rlie delta}..do_
08c0: 74 65 73 74 20 61 6e 61 6c 79 7a 65 35 2d 31 2e  test analyze5-1.
08d0: 31 20 7b 0a 20 20 69 66 63 61 70 61 62 6c 65 20  1 {.  ifcapable 
08e0: 73 74 61 74 34 20 7b 0a 20 20 20 20 64 62 20 65  stat4 {.    db e
08f0: 76 61 6c 20 7b 0a 20 20 20 20 20 20 53 45 4c 45  val {.      SELE
0900: 43 54 20 44 49 53 54 49 4e 43 54 20 6c 6f 77 65  CT DISTINCT lowe
0910: 72 28 6c 69 6e 64 65 78 28 74 65 73 74 5f 64 65  r(lindex(test_de
0920: 63 6f 64 65 28 73 61 6d 70 6c 65 29 2c 20 30 29  code(sample), 0)
0930: 29 20 0a 20 20 20 20 20 20 20 20 46 52 4f 4d 20  ) .        FROM 
0940: 73 71 6c 69 74 65 5f 73 74 61 74 34 20 57 48 45  sqlite_stat4 WHE
0950: 52 45 20 69 64 78 3d 27 74 31 76 27 20 4f 52 44  RE idx='t1v' ORD
0960: 45 52 20 42 59 20 31 0a 20 20 20 20 7d 0a 20 20  ER BY 1.    }.  
0970: 7d 20 65 6c 73 65 20 7b 0a 20 20 20 20 64 62 20  } else {.    db 
0980: 65 76 61 6c 20 7b 0a 20 20 20 20 20 20 53 45 4c  eval {.      SEL
0990: 45 43 54 20 6c 6f 77 65 72 28 73 61 6d 70 6c 65  ECT lower(sample
09a0: 29 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 73 74  ) FROM sqlite_st
09b0: 61 74 33 20 57 48 45 52 45 20 69 64 78 3d 27 74  at3 WHERE idx='t
09c0: 31 76 27 20 4f 52 44 45 52 20 42 59 20 31 0a 20  1v' ORDER BY 1. 
09d0: 20 20 20 7d 0a 20 20 7d 0a 7d 20 7b 61 6c 70 68     }.  }.} {alph
09e0: 61 20 62 72 61 76 6f 20 63 68 61 72 6c 69 65 20  a bravo charlie 
09f0: 64 65 6c 74 61 7d 0a 69 66 63 61 70 61 62 6c 65  delta}.ifcapable
0a00: 20 73 74 61 74 34 20 7b 0a 20 20 64 6f 5f 74 65   stat4 {.  do_te
0a10: 73 74 20 61 6e 61 6c 79 7a 65 35 2d 31 2e 32 20  st analyze5-1.2 
0a20: 7b 0a 20 20 20 20 64 62 20 65 76 61 6c 20 7b 53  {.    db eval {S
0a30: 45 4c 45 43 54 20 69 64 78 2c 20 63 6f 75 6e 74  ELECT idx, count
0a40: 28 2a 29 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f  (*) FROM sqlite_
0a50: 73 74 61 74 34 20 47 52 4f 55 50 20 42 59 20 31  stat4 GROUP BY 1
0a60: 20 4f 52 44 45 52 20 42 59 20 31 7d 0a 20 20 7d   ORDER BY 1}.  }
0a70: 20 7b 74 31 74 20 38 20 74 31 75 20 38 20 74 31   {t1t 8 t1u 8 t1
0a80: 76 20 38 20 74 31 77 20 38 20 74 31 78 20 38 20  v 8 t1w 8 t1x 8 
0a90: 74 31 79 20 39 20 74 31 7a 20 38 7d 0a 7d 20 65  t1y 9 t1z 8}.} e
0aa0: 6c 73 65 20 7b 0a 20 20 64 6f 5f 74 65 73 74 20  lse {.  do_test 
0ab0: 61 6e 61 6c 79 7a 65 35 2d 31 2e 32 20 7b 0a 20  analyze5-1.2 {. 
0ac0: 20 20 20 64 62 20 65 76 61 6c 20 7b 53 45 4c 45     db eval {SELE
0ad0: 43 54 20 69 64 78 2c 20 63 6f 75 6e 74 28 2a 29  CT idx, count(*)
0ae0: 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 73 74 61   FROM sqlite_sta
0af0: 74 33 20 47 52 4f 55 50 20 42 59 20 31 20 4f 52  t3 GROUP BY 1 OR
0b00: 44 45 52 20 42 59 20 31 7d 0a 20 20 7d 20 7b 74  DER BY 1}.  } {t
0b10: 31 74 20 34 20 74 31 75 20 34 20 74 31 76 20 34  1t 4 t1u 4 t1v 4
0b20: 20 74 31 77 20 34 20 74 31 78 20 34 20 74 31 79   t1w 4 t1x 4 t1y
0b30: 20 32 20 74 31 7a 20 34 7d 0a 7d 0a 0a 23 20 56   2 t1z 4}.}..# V
0b40: 65 72 69 66 79 20 74 68 61 74 20 72 61 6e 67 65  erify that range
0b50: 20 71 75 65 72 69 65 73 20 67 65 6e 65 72 61 74   queries generat
0b60: 65 20 74 68 65 20 63 6f 72 72 65 63 74 20 72 6f  e the correct ro
0b70: 77 20 63 6f 75 6e 74 20 65 73 74 69 6d 61 74 65  w count estimate
0b80: 73 0a 23 0a 66 6f 72 65 61 63 68 20 7b 74 65 73  s.#.foreach {tes
0b90: 74 69 64 20 77 68 65 72 65 20 69 6e 64 65 78 20  tid where index 
0ba0: 72 6f 77 73 7d 20 7b 0a 20 20 20 20 31 20 20 7b  rows} {.    1  {
0bb0: 7a 3e 3d 30 20 41 4e 44 20 7a 3c 3d 30 7d 20 20  z>=0 AND z<=0}  
0bc0: 20 20 20 20 20 74 31 7a 20 20 34 30 30 0a 20 20       t1z  400.  
0bd0: 20 20 32 20 20 7b 7a 3e 3d 31 20 41 4e 44 20 7a    2  {z>=1 AND z
0be0: 3c 3d 31 7d 20 20 20 20 20 20 20 74 31 7a 20 20  <=1}       t1z  
0bf0: 33 30 30 0a 20 20 20 20 33 20 20 7b 7a 3e 3d 32  300.    3  {z>=2
0c00: 20 41 4e 44 20 7a 3c 3d 32 7d 20 20 20 20 20 20   AND z<=2}      
0c10: 20 74 31 7a 20 20 31 37 35 0a 20 20 20 20 34 20   t1z  175.    4 
0c20: 20 7b 7a 3e 3d 33 20 41 4e 44 20 7a 3c 3d 33 7d   {z>=3 AND z<=3}
0c30: 20 20 20 20 20 20 20 74 31 7a 20 20 31 32 35 0a         t1z  125.
0c40: 20 20 20 20 35 20 20 7b 7a 3e 3d 34 20 41 4e 44      5  {z>=4 AND
0c50: 20 7a 3c 3d 34 7d 20 20 20 20 20 20 20 74 31 7a   z<=4}       t1z
0c60: 20 20 20 20 31 0a 20 20 20 20 36 20 20 7b 7a 3e      1.    6  {z>
0c70: 3d 2d 31 20 41 4e 44 20 7a 3c 3d 2d 31 7d 20 20  =-1 AND z<=-1}  
0c80: 20 20 20 74 31 7a 20 20 20 20 31 0a 20 20 20 20     t1z    1.    
0c90: 37 20 20 7b 7a 3e 31 20 41 4e 44 20 7a 3c 33 7d  7  {z>1 AND z<3}
0ca0: 20 20 20 20 20 20 20 20 20 74 31 7a 20 20 31 37           t1z  17
0cb0: 35 0a 20 20 20 20 38 20 20 7b 7a 3e 30 20 41 4e  5.    8  {z>0 AN
0cc0: 44 20 7a 3c 31 30 30 7d 20 20 20 20 20 20 20 74  D z<100}       t
0cd0: 31 7a 20 20 36 30 30 0a 20 20 20 20 39 20 20 7b  1z  600.    9  {
0ce0: 7a 3e 3d 31 20 41 4e 44 20 7a 3c 31 30 30 7d 20  z>=1 AND z<100} 
0cf0: 20 20 20 20 20 74 31 7a 20 20 36 30 30 0a 20 20       t1z  600.  
0d00: 20 31 30 20 20 7b 7a 3e 31 20 41 4e 44 20 7a 3c   10  {z>1 AND z<
0d10: 31 30 30 7d 20 20 20 20 20 20 20 74 31 7a 20 20  100}       t1z  
0d20: 33 30 30 0a 20 20 20 31 31 20 20 7b 7a 3e 3d 32  300.   11  {z>=2
0d30: 20 41 4e 44 20 7a 3c 31 30 30 7d 20 20 20 20 20   AND z<100}     
0d40: 20 74 31 7a 20 20 33 30 30 0a 20 20 20 31 32 20   t1z  300.   12 
0d50: 20 7b 7a 3e 32 20 41 4e 44 20 7a 3c 31 30 30 7d   {z>2 AND z<100}
0d60: 20 20 20 20 20 20 20 74 31 7a 20 20 31 32 35 0a         t1z  125.
0d70: 20 20 20 31 33 20 20 7b 7a 3e 3d 33 20 41 4e 44     13  {z>=3 AND
0d80: 20 7a 3c 31 30 30 7d 20 20 20 20 20 20 74 31 7a   z<100}      t1z
0d90: 20 20 31 32 35 0a 20 20 20 31 34 20 20 7b 7a 3e    125.   14  {z>
0da0: 33 20 41 4e 44 20 7a 3c 31 30 30 7d 20 20 20 20  3 AND z<100}    
0db0: 20 20 20 74 31 7a 20 20 20 20 31 0a 20 20 20 31     t1z    1.   1
0dc0: 35 20 20 7b 7a 3e 3d 34 20 41 4e 44 20 7a 3c 31  5  {z>=4 AND z<1
0dd0: 30 30 7d 20 20 20 20 20 20 74 31 7a 20 20 20 20  00}      t1z    
0de0: 31 0a 20 20 20 31 36 20 20 7b 7a 3e 3d 2d 31 30  1.   16  {z>=-10
0df0: 30 20 41 4e 44 20 7a 3c 3d 2d 31 7d 20 20 20 74  0 AND z<=-1}   t
0e00: 31 7a 20 20 20 20 31 0a 20 20 20 31 37 20 20 7b  1z    1.   17  {
0e10: 7a 3e 3d 2d 31 30 30 20 41 4e 44 20 7a 3c 3d 30  z>=-100 AND z<=0
0e20: 7d 20 20 20 20 74 31 7a 20 20 34 30 30 0a 20 20  }    t1z  400.  
0e30: 20 31 38 20 20 7b 7a 3e 3d 2d 31 30 30 20 41 4e   18  {z>=-100 AN
0e40: 44 20 7a 3c 30 7d 20 20 20 20 20 74 31 7a 20 20  D z<0}     t1z  
0e50: 20 20 31 0a 20 20 20 31 39 20 20 7b 7a 3e 3d 2d    1.   19  {z>=-
0e60: 31 30 30 20 41 4e 44 20 7a 3c 3d 31 7d 20 20 20  100 AND z<=1}   
0e70: 20 74 31 7a 20 20 37 30 30 0a 20 20 20 32 30 20   t1z  700.   20 
0e80: 20 7b 7a 3e 3d 2d 31 30 30 20 41 4e 44 20 7a 3c   {z>=-100 AND z<
0e90: 32 7d 20 20 20 20 20 74 31 7a 20 20 37 30 30 0a  2}     t1z  700.
0ea0: 20 20 20 32 31 20 20 7b 7a 3e 3d 2d 31 30 30 20     21  {z>=-100 
0eb0: 41 4e 44 20 7a 3c 3d 32 7d 20 20 20 20 74 31 7a  AND z<=2}    t1z
0ec0: 20 20 38 37 35 0a 20 20 20 32 32 20 20 7b 7a 3e    875.   22  {z>
0ed0: 3d 2d 31 30 30 20 41 4e 44 20 7a 3c 33 7d 20 20  =-100 AND z<3}  
0ee0: 20 20 20 74 31 7a 20 20 38 37 35 0a 20 20 0a 20     t1z  875.  . 
0ef0: 20 20 33 31 20 20 7b 7a 3e 3d 30 2e 30 20 41 4e    31  {z>=0.0 AN
0f00: 44 20 7a 3c 3d 30 2e 30 7d 20 20 20 74 31 7a 20  D z<=0.0}   t1z 
0f10: 20 34 30 30 0a 20 20 20 33 32 20 20 7b 7a 3e 3d   400.   32  {z>=
0f20: 31 2e 30 20 41 4e 44 20 7a 3c 3d 31 2e 30 7d 20  1.0 AND z<=1.0} 
0f30: 20 20 74 31 7a 20 20 33 30 30 0a 20 20 20 33 33    t1z  300.   33
0f40: 20 20 7b 7a 3e 3d 32 2e 30 20 41 4e 44 20 7a 3c    {z>=2.0 AND z<
0f50: 3d 32 2e 30 7d 20 20 20 74 31 7a 20 20 31 37 35  =2.0}   t1z  175
0f60: 0a 20 20 20 33 34 20 20 7b 7a 3e 3d 33 2e 30 20  .   34  {z>=3.0 
0f70: 41 4e 44 20 7a 3c 3d 33 2e 30 7d 20 20 20 74 31  AND z<=3.0}   t1
0f80: 7a 20 20 31 32 35 0a 20 20 20 33 35 20 20 7b 7a  z  125.   35  {z
0f90: 3e 3d 34 2e 30 20 41 4e 44 20 7a 3c 3d 34 2e 30  >=4.0 AND z<=4.0
0fa0: 7d 20 20 20 74 31 7a 20 20 20 20 31 0a 20 20 20  }   t1z    1.   
0fb0: 33 36 20 20 7b 7a 3e 3d 2d 31 2e 30 20 41 4e 44  36  {z>=-1.0 AND
0fc0: 20 7a 3c 3d 2d 31 2e 30 7d 20 74 31 7a 20 20 20   z<=-1.0} t1z   
0fd0: 20 31 0a 20 20 20 33 37 20 20 7b 7a 3e 31 2e 35   1.   37  {z>1.5
0fe0: 20 41 4e 44 20 7a 3c 33 2e 30 7d 20 20 20 20 20   AND z<3.0}     
0ff0: 74 31 7a 20 20 31 37 34 0a 20 20 20 33 38 20 20  t1z  174.   38  
1000: 7b 7a 3e 30 2e 35 20 41 4e 44 20 7a 3c 31 30 30  {z>0.5 AND z<100
1010: 7d 20 20 20 20 20 74 31 7a 20 20 35 39 39 0a 20  }     t1z  599. 
1020: 20 20 33 39 20 20 7b 7a 3e 3d 31 2e 30 20 41 4e    39  {z>=1.0 AN
1030: 44 20 7a 3c 31 30 30 7d 20 20 20 20 74 31 7a 20  D z<100}    t1z 
1040: 20 36 30 30 0a 20 20 20 34 30 20 20 7b 7a 3e 31   600.   40  {z>1
1050: 2e 35 20 41 4e 44 20 7a 3c 31 30 30 7d 20 20 20  .5 AND z<100}   
1060: 20 20 74 31 7a 20 20 32 39 39 0a 20 20 20 34 31    t1z  299.   41
1070: 20 20 7b 7a 3e 3d 32 2e 30 20 41 4e 44 20 7a 3c    {z>=2.0 AND z<
1080: 31 30 30 7d 20 20 20 20 74 31 7a 20 20 33 30 30  100}    t1z  300
1090: 0a 20 20 20 34 32 20 20 7b 7a 3e 32 2e 31 20 41  .   42  {z>2.1 A
10a0: 4e 44 20 7a 3c 31 30 30 7d 20 20 20 20 20 74 31  ND z<100}     t1
10b0: 7a 20 20 31 32 34 0a 20 20 20 34 33 20 20 7b 7a  z  124.   43  {z
10c0: 3e 3d 33 2e 30 20 41 4e 44 20 7a 3c 31 30 30 7d  >=3.0 AND z<100}
10d0: 20 20 20 20 74 31 7a 20 20 31 32 35 0a 20 20 20      t1z  125.   
10e0: 34 34 20 20 7b 7a 3e 33 2e 32 20 41 4e 44 20 7a  44  {z>3.2 AND z
10f0: 3c 31 30 30 7d 20 20 20 20 20 74 31 7a 20 20 20  <100}     t1z   
1100: 20 31 0a 20 20 20 34 35 20 20 7b 7a 3e 3d 34 2e   1.   45  {z>=4.
1110: 30 20 41 4e 44 20 7a 3c 31 30 30 7d 20 20 20 20  0 AND z<100}    
1120: 74 31 7a 20 20 20 20 31 0a 20 20 20 34 36 20 20  t1z    1.   46  
1130: 7b 7a 3e 3d 2d 31 30 30 20 41 4e 44 20 7a 3c 3d  {z>=-100 AND z<=
1140: 2d 31 2e 30 7d 20 74 31 7a 20 20 20 20 31 0a 20  -1.0} t1z    1. 
1150: 20 20 34 37 20 20 7b 7a 3e 3d 2d 31 30 30 20 41    47  {z>=-100 A
1160: 4e 44 20 7a 3c 3d 30 2e 30 7d 20 20 74 31 7a 20  ND z<=0.0}  t1z 
1170: 20 34 30 30 0a 20 20 20 34 38 20 20 7b 7a 3e 3d   400.   48  {z>=
1180: 2d 31 30 30 20 41 4e 44 20 7a 3c 30 2e 30 7d 20  -100 AND z<0.0} 
1190: 20 20 74 31 7a 20 20 20 20 31 0a 20 20 20 34 39    t1z    1.   49
11a0: 20 20 7b 7a 3e 3d 2d 31 30 30 20 41 4e 44 20 7a    {z>=-100 AND z
11b0: 3c 3d 31 2e 30 7d 20 20 74 31 7a 20 20 37 30 30  <=1.0}  t1z  700
11c0: 0a 20 20 20 35 30 20 20 7b 7a 3e 3d 2d 31 30 30  .   50  {z>=-100
11d0: 20 41 4e 44 20 7a 3c 32 2e 30 7d 20 20 20 74 31   AND z<2.0}   t1
11e0: 7a 20 20 37 30 30 0a 20 20 20 35 31 20 20 7b 7a  z  700.   51  {z
11f0: 3e 3d 2d 31 30 30 20 41 4e 44 20 7a 3c 3d 32 2e  >=-100 AND z<=2.
1200: 30 7d 20 20 74 31 7a 20 20 38 37 35 0a 20 20 20  0}  t1z  875.   
1210: 35 32 20 20 7b 7a 3e 3d 2d 31 30 30 20 41 4e 44  52  {z>=-100 AND
1220: 20 7a 3c 33 2e 30 7d 20 20 20 74 31 7a 20 20 38   z<3.0}   t1z  8
1230: 37 35 0a 20 20 0a 20 20 31 30 31 20 20 7b 7a 3d  75.  .  101  {z=
1240: 2d 31 7d 20 20 20 20 20 20 20 20 20 20 20 20 20  -1}             
1250: 20 20 20 74 31 7a 20 20 20 20 31 0a 20 20 31 30     t1z    1.  10
1260: 32 20 20 7b 7a 3d 30 7d 20 20 20 20 20 20 20 20  2  {z=0}        
1270: 20 20 20 20 20 20 20 20 20 74 31 7a 20 20 34 30           t1z  40
1280: 30 0a 20 20 31 30 33 20 20 7b 7a 3d 31 7d 20 20  0.  103  {z=1}  
1290: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 74                 t
12a0: 31 7a 20 20 33 30 30 0a 20 20 31 30 34 20 20 7b  1z  300.  104  {
12b0: 7a 3d 32 7d 20 20 20 20 20 20 20 20 20 20 20 20  z=2}            
12c0: 20 20 20 20 20 74 31 7a 20 20 31 37 35 0a 20 20       t1z  175.  
12d0: 31 30 35 20 20 7b 7a 3d 33 7d 20 20 20 20 20 20  105  {z=3}      
12e0: 20 20 20 20 20 20 20 20 20 20 20 74 31 7a 20 20             t1z  
12f0: 31 32 35 0a 20 20 31 30 36 20 20 7b 7a 3d 34 7d  125.  106  {z=4}
1300: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1310: 20 74 31 7a 20 20 20 20 31 0a 20 20 31 30 37 20   t1z    1.  107 
1320: 20 7b 7a 3d 2d 31 30 2e 30 7d 20 20 20 20 20 20   {z=-10.0}      
1330: 20 20 20 20 20 20 20 74 31 7a 20 20 20 20 31 0a         t1z    1.
1340: 20 20 31 30 38 20 20 7b 7a 3d 30 2e 30 7d 20 20    108  {z=0.0}  
1350: 20 20 20 20 20 20 20 20 20 20 20 20 20 74 31 7a               t1z
1360: 20 20 34 30 30 0a 20 20 31 30 39 20 20 7b 7a 3d    400.  109  {z=
1370: 31 2e 30 7d 20 20 20 20 20 20 20 20 20 20 20 20  1.0}            
1380: 20 20 20 74 31 7a 20 20 33 30 30 0a 20 20 31 31     t1z  300.  11
1390: 30 20 20 7b 7a 3d 32 2e 30 7d 20 20 20 20 20 20  0  {z=2.0}      
13a0: 20 20 20 20 20 20 20 20 20 74 31 7a 20 20 31 37           t1z  17
13b0: 35 0a 20 20 31 31 31 20 20 7b 7a 3d 33 2e 30 7d  5.  111  {z=3.0}
13c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 74                 t
13d0: 31 7a 20 20 31 32 35 0a 20 20 31 31 32 20 20 7b  1z  125.  112  {
13e0: 7a 3d 34 2e 30 7d 20 20 20 20 20 20 20 20 20 20  z=4.0}          
13f0: 20 20 20 20 20 74 31 7a 20 20 20 20 31 0a 20 20       t1z    1.  
1400: 31 31 33 20 20 7b 7a 3d 31 2e 35 7d 20 20 20 20  113  {z=1.5}    
1410: 20 20 20 20 20 20 20 20 20 20 20 74 31 7a 20 20             t1z  
1420: 20 20 31 0a 20 20 31 31 34 20 20 7b 7a 3d 32 2e    1.  114  {z=2.
1430: 35 7d 20 20 20 20 20 20 20 20 20 20 20 20 20 20  5}              
1440: 20 74 31 7a 20 20 20 20 31 0a 20 20 0a 20 20 32   t1z    1.  .  2
1450: 30 31 20 20 7b 7a 20 49 4e 20 28 2d 31 29 7d 20  01  {z IN (-1)} 
1460: 20 20 20 20 20 20 20 20 20 20 74 31 7a 20 20 20            t1z   
1470: 20 31 0a 20 20 32 30 32 20 20 7b 7a 20 49 4e 20   1.  202  {z IN 
1480: 28 30 29 7d 20 20 20 20 20 20 20 20 20 20 20 20  (0)}            
1490: 74 31 7a 20 20 34 30 30 0a 20 20 32 30 33 20 20  t1z  400.  203  
14a0: 7b 7a 20 49 4e 20 28 31 29 7d 20 20 20 20 20 20  {z IN (1)}      
14b0: 20 20 20 20 20 20 74 31 7a 20 20 33 30 30 0a 20        t1z  300. 
14c0: 20 32 30 34 20 20 7b 7a 20 49 4e 20 28 32 29 7d   204  {z IN (2)}
14d0: 20 20 20 20 20 20 20 20 20 20 20 20 74 31 7a 20              t1z 
14e0: 20 31 37 35 0a 20 20 32 30 35 20 20 7b 7a 20 49   175.  205  {z I
14f0: 4e 20 28 33 29 7d 20 20 20 20 20 20 20 20 20 20  N (3)}          
1500: 20 20 74 31 7a 20 20 31 32 35 0a 20 20 32 30 36    t1z  125.  206
1510: 20 20 7b 7a 20 49 4e 20 28 34 29 7d 20 20 20 20    {z IN (4)}    
1520: 20 20 20 20 20 20 20 20 74 31 7a 20 20 20 20 31          t1z    1
1530: 0a 20 20 32 30 37 20 20 7b 7a 20 49 4e 20 28 30  .  207  {z IN (0
1540: 2e 35 29 7d 20 20 20 20 20 20 20 20 20 20 74 31  .5)}          t1
1550: 7a 20 20 20 20 31 0a 20 20 32 30 38 20 20 7b 7a  z    1.  208  {z
1560: 20 49 4e 20 28 30 2c 31 29 7d 20 20 20 20 20 20   IN (0,1)}      
1570: 20 20 20 20 74 31 7a 20 20 37 30 30 0a 20 20 32      t1z  700.  2
1580: 30 39 20 20 7b 7a 20 49 4e 20 28 30 2c 31 2c 32  09  {z IN (0,1,2
1590: 29 7d 20 20 20 20 20 20 20 20 74 31 7a 20 20 38  )}        t1z  8
15a0: 37 35 0a 20 20 32 31 30 20 20 7b 7a 20 49 4e 20  75.  210  {z IN 
15b0: 28 30 2c 31 2c 32 2c 33 29 7d 20 20 20 20 20 20  (0,1,2,3)}      
15c0: 7b 7d 20 20 20 31 30 30 0a 20 20 32 31 31 20 20  {}   100.  211  
15d0: 7b 7a 20 49 4e 20 28 30 2c 31 2c 32 2c 33 2c 34  {z IN (0,1,2,3,4
15e0: 2c 35 29 7d 20 20 7b 7d 20 20 20 31 30 30 0a 20  ,5)}  {}   100. 
15f0: 20 32 31 32 20 20 7b 7a 20 49 4e 20 28 31 2c 32   212  {z IN (1,2
1600: 29 7d 20 20 20 20 20 20 20 20 20 20 74 31 7a 20  )}          t1z 
1610: 20 34 37 35 0a 20 20 32 31 33 20 20 7b 7a 20 49   475.  213  {z I
1620: 4e 20 28 32 2c 33 29 7d 20 20 20 20 20 20 20 20  N (2,3)}        
1630: 20 20 74 31 7a 20 20 33 30 30 0a 20 20 32 31 34    t1z  300.  214
1640: 20 20 7b 7a 3d 33 20 4f 52 20 7a 3d 32 7d 20 20    {z=3 OR z=2}  
1650: 20 20 20 20 20 20 20 20 74 31 7a 20 20 33 30 30          t1z  300
1660: 0a 20 20 32 31 35 20 20 7b 7a 20 49 4e 20 28 2d  .  215  {z IN (-
1670: 31 2c 33 29 7d 20 20 20 20 20 20 20 20 20 74 31  1,3)}         t1
1680: 7a 20 20 31 32 36 0a 20 20 32 31 36 20 20 7b 7a  z  126.  216  {z
1690: 3d 2d 31 20 4f 52 20 7a 3d 33 7d 20 20 20 20 20  =-1 OR z=3}     
16a0: 20 20 20 20 74 31 7a 20 20 31 32 36 0a 0a 20 20      t1z  126..  
16b0: 33 30 30 20 20 7b 79 3d 30 7d 20 20 20 20 20 20  300  {y=0}      
16c0: 20 20 20 20 20 20 20 20 20 20 20 74 31 79 20 20             t1y  
16d0: 39 37 34 0a 20 20 33 30 31 20 20 7b 79 3d 31 7d  974.  301  {y=1}
16e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
16f0: 20 74 31 79 20 20 20 32 36 0a 20 20 33 30 32 20   t1y   26.  302 
1700: 20 7b 79 3d 30 2e 31 7d 20 20 20 20 20 20 20 20   {y=0.1}        
1710: 20 20 20 20 20 20 20 74 31 79 20 20 20 20 31 0a         t1y    1.
1720: 0a 20 20 34 30 30 20 20 7b 78 20 49 53 20 4e 55  .  400  {x IS NU
1730: 4c 4c 7d 20 20 20 20 20 20 20 20 20 20 20 74 31  LL}           t1
1740: 78 20 20 34 30 30 0a 0a 7d 20 7b 0a 20 20 23 20  x  400..} {.  # 
1750: 56 65 72 69 66 79 20 74 68 61 74 20 74 68 65 20  Verify that the 
1760: 65 78 70 65 63 74 65 64 20 69 6e 64 65 78 20 69  expected index i
1770: 73 20 75 73 65 64 20 77 69 74 68 20 74 68 65 20  s used with the 
1780: 65 78 70 65 63 74 65 64 20 72 6f 77 20 63 6f 75  expected row cou
1790: 6e 74 0a 20 20 23 20 4e 6f 20 6c 6f 6e 67 65 72  nt.  # No longer
17a0: 20 76 61 6c 69 64 20 64 75 65 20 74 6f 20 61 6e   valid due to an
17b0: 20 45 58 50 4c 41 49 4e 20 51 55 45 52 59 20 50   EXPLAIN QUERY P
17c0: 4c 41 4e 20 6f 75 74 70 75 74 20 66 6f 72 6d 61  LAN output forma
17d0: 74 20 63 68 61 6e 67 65 0a 20 20 23 20 64 6f 5f  t change.  # do_
17e0: 74 65 73 74 20 61 6e 61 6c 79 7a 65 35 2d 31 2e  test analyze5-1.
17f0: 24 7b 74 65 73 74 69 64 7d 61 20 7b 0a 20 20 23  ${testid}a {.  #
1800: 20 20 20 73 65 74 20 78 20 5b 6c 69 6e 64 65 78     set x [lindex
1810: 20 5b 65 71 70 20 22 53 45 4c 45 43 54 20 2a 20   [eqp "SELECT * 
1820: 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 24 77  FROM t1 WHERE $w
1830: 68 65 72 65 22 5d 20 33 5d 0a 20 20 23 20 20 20  here"] 3].  #   
1840: 73 65 74 20 69 64 78 20 7b 7d 0a 20 20 23 20 20  set idx {}.  #  
1850: 20 72 65 67 65 78 70 20 7b 49 4e 44 45 58 20 28   regexp {INDEX (
1860: 74 31 2e 29 20 7d 20 24 78 20 61 6c 6c 20 69 64  t1.) } $x all id
1870: 78 0a 20 20 23 20 20 20 72 65 67 65 78 70 20 7b  x.  #   regexp {
1880: 7e 28 5b 30 2d 39 5d 2b 29 20 72 6f 77 73 7d 20  ~([0-9]+) rows} 
1890: 24 78 20 61 6c 6c 20 6e 72 6f 77 0a 20 20 23 20  $x all nrow.  # 
18a0: 20 20 6c 69 73 74 20 24 69 64 78 20 24 6e 72 6f    list $idx $nro
18b0: 77 0a 20 20 23 20 7d 20 5b 6c 69 73 74 20 24 69  w.  # } [list $i
18c0: 6e 64 65 78 20 24 72 6f 77 73 5d 0a 0a 20 20 23  ndex $rows]..  #
18d0: 20 56 65 72 69 66 79 20 74 68 61 74 20 74 68 65   Verify that the
18e0: 20 73 61 6d 65 20 72 65 73 75 6c 74 20 69 73 20   same result is 
18f0: 61 63 68 69 65 76 65 64 20 72 65 67 61 72 64 6c  achieved regardl
1900: 65 73 73 20 6f 66 20 77 68 65 74 68 65 72 20 6f  ess of whether o
1910: 72 20 6e 6f 74 0a 20 20 23 20 74 68 65 20 69 6e  r not.  # the in
1920: 64 65 78 20 69 73 20 75 73 65 64 0a 20 20 64 6f  dex is used.  do
1930: 5f 74 65 73 74 20 61 6e 61 6c 79 7a 65 35 2d 31  _test analyze5-1
1940: 2e 24 7b 74 65 73 74 69 64 7d 62 20 7b 0a 20 20  .${testid}b {.  
1950: 20 20 73 65 74 20 77 32 20 5b 73 74 72 69 6e 67    set w2 [string
1960: 20 6d 61 70 20 7b 79 20 2b 79 20 7a 20 2b 7a 7d   map {y +y z +z}
1970: 20 24 77 68 65 72 65 5d 0a 20 20 20 20 73 65 74   $where].    set
1980: 20 61 31 20 5b 64 62 20 65 76 61 6c 20 22 53 45   a1 [db eval "SE
1990: 4c 45 43 54 20 72 6f 77 69 64 20 46 52 4f 4d 20  LECT rowid FROM 
19a0: 74 31 20 4e 4f 54 20 49 4e 44 45 58 45 44 20 57  t1 NOT INDEXED W
19b0: 48 45 52 45 20 24 77 32 5c 0a 20 20 20 20 20 20  HERE $w2\.      
19c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 4f                 O
19d0: 52 44 45 52 20 42 59 20 2b 72 6f 77 69 64 22 5d  RDER BY +rowid"]
19e0: 0a 20 20 20 20 73 65 74 20 61 32 20 5b 64 62 20  .    set a2 [db 
19f0: 65 76 61 6c 20 22 53 45 4c 45 43 54 20 72 6f 77  eval "SELECT row
1a00: 69 64 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45  id FROM t1 WHERE
1a10: 20 24 77 68 65 72 65 20 4f 52 44 45 52 20 42 59   $where ORDER BY
1a20: 20 2b 72 6f 77 69 64 22 5d 0a 20 20 20 20 69 66   +rowid"].    if
1a30: 20 7b 24 61 31 3d 3d 24 61 32 7d 20 7b 0a 20 20   {$a1==$a2} {.  
1a40: 20 20 20 20 73 65 74 20 72 65 73 20 6f 6b 0a 20      set res ok. 
1a50: 20 20 20 7d 20 65 6c 73 65 20 7b 0a 20 20 20 20     } else {.    
1a60: 20 20 73 65 74 20 72 65 73 20 22 61 31 3d 5c 5b    set res "a1=\[
1a70: 24 61 31 5c 5d 20 61 32 3d 5c 5b 24 61 32 5c 5d  $a1\] a2=\[$a2\]
1a80: 22 0a 20 20 20 20 7d 0a 20 20 20 20 73 65 74 20  ".    }.    set 
1a90: 72 65 73 0a 20 20 7d 20 7b 6f 6b 7d 0a 7d 0a 0a  res.  } {ok}.}..
1aa0: 23 20 49 6e 63 72 65 61 73 65 20 74 68 65 20 6e  # Increase the n
1ab0: 75 6d 62 65 72 20 6f 66 20 4e 55 4c 4c 73 20 69  umber of NULLs i
1ac0: 6e 20 63 6f 6c 75 6d 6e 20 78 0a 23 0a 64 62 20  n column x.#.db 
1ad0: 65 76 61 6c 20 7b 0a 20 20 20 55 50 44 41 54 45  eval {.   UPDATE
1ae0: 20 74 31 20 53 45 54 20 78 3d 4e 55 4c 4c 3b 0a   t1 SET x=NULL;.
1af0: 20 20 20 55 50 44 41 54 45 20 74 31 20 53 45 54     UPDATE t1 SET
1b00: 20 78 3d 72 6f 77 69 64 0a 20 20 20 20 57 48 45   x=rowid.    WHE
1b10: 52 45 20 72 6f 77 69 64 20 49 4e 20 28 53 45 4c  RE rowid IN (SEL
1b20: 45 43 54 20 72 6f 77 69 64 20 46 52 4f 4d 20 74  ECT rowid FROM t
1b30: 31 20 4f 52 44 45 52 20 42 59 20 72 61 6e 64 6f  1 ORDER BY rando
1b40: 6d 28 29 20 4c 49 4d 49 54 20 35 29 3b 0a 20 20  m() LIMIT 5);.  
1b50: 20 41 4e 41 4c 59 5a 45 3b 0a 7d 0a 0a 23 20 56   ANALYZE;.}..# V
1b60: 65 72 69 66 79 20 74 68 61 74 20 72 61 6e 67 65  erify that range
1b70: 20 71 75 65 72 69 65 73 20 67 65 6e 65 72 61 74   queries generat
1b80: 65 20 74 68 65 20 63 6f 72 72 65 63 74 20 72 6f  e the correct ro
1b90: 77 20 63 6f 75 6e 74 20 65 73 74 69 6d 61 74 65  w count estimate
1ba0: 73 0a 23 0a 66 6f 72 65 61 63 68 20 7b 74 65 73  s.#.foreach {tes
1bb0: 74 69 64 20 77 68 65 72 65 20 69 6e 64 65 78 20  tid where index 
1bc0: 72 6f 77 73 7d 20 7b 0a 20 20 35 30 30 20 20 7b  rows} {.  500  {
1bd0: 78 20 49 53 20 4e 55 4c 4c 20 41 4e 44 20 75 3d  x IS NULL AND u=
1be0: 27 63 68 61 72 6c 69 65 27 7d 20 20 20 20 20 20  'charlie'}      
1bf0: 20 20 20 74 31 75 20 20 31 37 0a 20 20 35 30 31     t1u  17.  501
1c00: 20 20 7b 78 3d 31 20 41 4e 44 20 75 3d 27 63 68    {x=1 AND u='ch
1c10: 61 72 6c 69 65 27 7d 20 20 20 20 20 20 20 20 20  arlie'}         
1c20: 20 20 20 20 20 20 74 31 78 20 20 20 31 0a 20 20        t1x   1.  
1c30: 35 30 32 20 20 7b 78 20 49 53 20 4e 55 4c 4c 7d  502  {x IS NULL}
1c40: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1c50: 20 20 20 20 20 20 20 20 20 74 31 78 20 39 39 35           t1x 995
1c60: 0a 20 20 35 30 33 20 20 7b 78 3d 31 7d 20 20 20  .  503  {x=1}   
1c70: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1c80: 20 20 20 20 20 20 20 20 20 20 20 20 74 31 78 20              t1x 
1c90: 20 20 31 0a 20 20 35 30 34 20 20 7b 78 20 49 53    1.  504  {x IS
1ca0: 20 4e 4f 54 20 4e 55 4c 4c 7d 20 20 20 20 20 20   NOT NULL}      
1cb0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 74                 t
1cc0: 31 78 20 20 20 32 0a 20 20 35 30 35 20 20 7b 2b  1x   2.  505  {+
1cd0: 78 20 49 53 20 4e 4f 54 20 4e 55 4c 4c 7d 20 20  x IS NOT NULL}  
1ce0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1cf0: 20 20 20 7b 7d 20 35 30 30 0a 20 20 35 30 36 20     {} 500.  506 
1d00: 20 7b 75 70 70 65 72 28 78 29 20 49 53 20 4e 4f   {upper(x) IS NO
1d10: 54 20 4e 55 4c 4c 7d 20 20 20 20 20 20 20 20 20  T NULL}         
1d20: 20 20 20 20 20 20 7b 7d 20 35 30 30 0a 0a 7d 20        {} 500..} 
1d30: 7b 0a 20 20 23 20 56 65 72 69 66 79 20 74 68 61  {.  # Verify tha
1d40: 74 20 74 68 65 20 65 78 70 65 63 74 65 64 20 69  t the expected i
1d50: 6e 64 65 78 20 69 73 20 75 73 65 64 20 77 69 74  ndex is used wit
1d60: 68 20 74 68 65 20 65 78 70 65 63 74 65 64 20 72  h the expected r
1d70: 6f 77 20 63 6f 75 6e 74 0a 20 20 23 20 4e 6f 20  ow count.  # No 
1d80: 6c 6f 6e 67 65 72 20 76 61 6c 69 64 20 64 75 65  longer valid due
1d90: 20 74 6f 20 61 6e 20 45 58 50 4c 41 49 4e 20 51   to an EXPLAIN Q
1da0: 55 45 52 59 20 50 4c 41 4e 20 66 6f 72 6d 61 74  UERY PLAN format
1db0: 20 63 68 61 6e 67 65 0a 20 20 23 20 64 6f 5f 74   change.  # do_t
1dc0: 65 73 74 20 61 6e 61 6c 79 7a 65 35 2d 31 2e 24  est analyze5-1.$
1dd0: 7b 74 65 73 74 69 64 7d 61 20 7b 0a 20 20 23 20  {testid}a {.  # 
1de0: 20 20 73 65 74 20 78 20 5b 6c 69 6e 64 65 78 20    set x [lindex 
1df0: 5b 65 71 70 20 22 53 45 4c 45 43 54 20 2a 20 46  [eqp "SELECT * F
1e00: 52 4f 4d 20 74 31 20 57 48 45 52 45 20 24 77 68  ROM t1 WHERE $wh
1e10: 65 72 65 22 5d 20 33 5d 0a 20 20 23 20 20 20 73  ere"] 3].  #   s
1e20: 65 74 20 69 64 78 20 7b 7d 0a 20 20 23 20 20 20  et idx {}.  #   
1e30: 72 65 67 65 78 70 20 7b 49 4e 44 45 58 20 28 74  regexp {INDEX (t
1e40: 31 2e 29 20 7d 20 24 78 20 61 6c 6c 20 69 64 78  1.) } $x all idx
1e50: 0a 20 20 23 20 20 20 72 65 67 65 78 70 20 7b 7e  .  #   regexp {~
1e60: 28 5b 30 2d 39 5d 2b 29 20 72 6f 77 73 7d 20 24  ([0-9]+) rows} $
1e70: 78 20 61 6c 6c 20 6e 72 6f 77 0a 20 20 23 20 20  x all nrow.  #  
1e80: 20 6c 69 73 74 20 24 69 64 78 20 24 6e 72 6f 77   list $idx $nrow
1e90: 0a 20 20 23 20 7d 20 5b 6c 69 73 74 20 24 69 6e  .  # } [list $in
1ea0: 64 65 78 20 24 72 6f 77 73 5d 0a 0a 20 20 23 20  dex $rows]..  # 
1eb0: 56 65 72 69 66 79 20 74 68 61 74 20 74 68 65 20  Verify that the 
1ec0: 73 61 6d 65 20 72 65 73 75 6c 74 20 69 73 20 61  same result is a
1ed0: 63 68 69 65 76 65 64 20 72 65 67 61 72 64 6c 65  chieved regardle
1ee0: 73 73 20 6f 66 20 77 68 65 74 68 65 72 20 6f 72  ss of whether or
1ef0: 20 6e 6f 74 0a 20 20 23 20 74 68 65 20 69 6e 64   not.  # the ind
1f00: 65 78 20 69 73 20 75 73 65 64 0a 20 20 64 6f 5f  ex is used.  do_
1f10: 74 65 73 74 20 61 6e 61 6c 79 7a 65 35 2d 31 2e  test analyze5-1.
1f20: 24 7b 74 65 73 74 69 64 7d 62 20 7b 0a 20 20 20  ${testid}b {.   
1f30: 20 73 65 74 20 77 32 20 5b 73 74 72 69 6e 67 20   set w2 [string 
1f40: 6d 61 70 20 7b 79 20 2b 79 20 7a 20 2b 7a 7d 20  map {y +y z +z} 
1f50: 24 77 68 65 72 65 5d 0a 20 20 20 20 73 65 74 20  $where].    set 
1f60: 61 31 20 5b 64 62 20 65 76 61 6c 20 22 53 45 4c  a1 [db eval "SEL
1f70: 45 43 54 20 72 6f 77 69 64 20 46 52 4f 4d 20 74  ECT rowid FROM t
1f80: 31 20 4e 4f 54 20 49 4e 44 45 58 45 44 20 57 48  1 NOT INDEXED WH
1f90: 45 52 45 20 24 77 32 5c 0a 20 20 20 20 20 20 20  ERE $w2\.       
1fa0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 4f 52                OR
1fb0: 44 45 52 20 42 59 20 2b 72 6f 77 69 64 22 5d 0a  DER BY +rowid"].
1fc0: 20 20 20 20 73 65 74 20 61 32 20 5b 64 62 20 65      set a2 [db e
1fd0: 76 61 6c 20 22 53 45 4c 45 43 54 20 72 6f 77 69  val "SELECT rowi
1fe0: 64 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  d FROM t1 WHERE 
1ff0: 24 77 68 65 72 65 20 4f 52 44 45 52 20 42 59 20  $where ORDER BY 
2000: 2b 72 6f 77 69 64 22 5d 0a 20 20 20 20 69 66 20  +rowid"].    if 
2010: 7b 24 61 31 3d 3d 24 61 32 7d 20 7b 0a 20 20 20  {$a1==$a2} {.   
2020: 20 20 20 73 65 74 20 72 65 73 20 6f 6b 0a 20 20     set res ok.  
2030: 20 20 7d 20 65 6c 73 65 20 7b 0a 20 20 20 20 20    } else {.     
2040: 20 73 65 74 20 72 65 73 20 22 61 31 3d 5c 5b 24   set res "a1=\[$
2050: 61 31 5c 5d 20 61 32 3d 5c 5b 24 61 32 5c 5d 22  a1\] a2=\[$a2\]"
2060: 0a 20 20 20 20 7d 0a 20 20 20 20 73 65 74 20 72  .    }.    set r
2070: 65 73 0a 20 20 7d 20 7b 6f 6b 7d 0a 7d 0a 0a 66  es.  } {ok}.}..f
2080: 69 6e 69 73 68 5f 74 65 73 74 0a                 inish_test.