/ Hex Artifact Content
Login

Artifact e50cd0b3e6063216cc0c88a1776e8645dc0bd65a6bb275769cbee33b7fd8d90c:


0000: 23 20 32 30 31 34 2d 31 30 2d 30 34 0a 23 0a 23  # 2014-10-04.#.#
0010: 20 54 68 65 20 61 75 74 68 6f 72 20 64 69 73 63   The author disc
0020: 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68 74 20  laims copyright 
0030: 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65 20 63  to this source c
0040: 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65 20 6f  ode.  In place o
0050: 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f 74 69  f.# a legal noti
0060: 63 65 2c 20 68 65 72 65 20 69 73 20 61 20 62 6c  ce, here is a bl
0070: 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20 20 4d  essing:.#.#    M
0080: 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20 61  ay you do good a
0090: 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23 20 20  nd not evil..#  
00a0: 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20 66    May you find f
00b0: 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20 79  orgiveness for y
00c0: 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72 67  ourself and forg
00d0: 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20 20 20  ive others..#   
00e0: 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20 66   May you share f
00f0: 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61 6b  reely, never tak
0100: 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79 6f  ing more than yo
0110: 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a 2a 2a  u 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 0a 23 20 54 68 69 73 20 66 69 6c 65 20 69  **.# This file i
0170: 6d 70 6c 65 6d 65 6e 74 73 20 72 65 67 72 65 73  mplements regres
0180: 73 69 6f 6e 20 74 65 73 74 73 20 66 6f 72 20 53  sion tests for S
0190: 51 4c 69 74 65 20 6c 69 62 72 61 72 79 2e 0a 23  QLite library..#
01a0: 20 54 68 69 73 20 66 69 6c 65 20 69 6d 70 6c 65   This file imple
01b0: 6d 65 6e 74 73 20 74 65 73 74 73 20 66 6f 72 20  ments tests for 
01c0: 74 68 65 20 41 4e 41 4c 59 5a 45 20 63 6f 6d 6d  the ANALYZE comm
01d0: 61 6e 64 2e 0a 23 0a 0a 73 65 74 20 74 65 73 74  and..#..set test
01e0: 64 69 72 20 5b 66 69 6c 65 20 64 69 72 6e 61 6d  dir [file dirnam
01f0: 65 20 24 61 72 67 76 30 5d 0a 73 6f 75 72 63 65  e $argv0].source
0200: 20 24 74 65 73 74 64 69 72 2f 74 65 73 74 65 72   $testdir/tester
0210: 2e 74 63 6c 0a 73 65 74 20 3a 3a 74 65 73 74 70  .tcl.set ::testp
0220: 72 65 66 69 78 20 61 6e 61 6c 79 7a 65 44 0a 0a  refix analyzeD..
0230: 69 66 63 61 70 61 62 6c 65 20 7b 21 73 74 61 74  ifcapable {!stat
0240: 34 7d 20 7b 0a 20 20 66 69 6e 69 73 68 5f 74 65  4} {.  finish_te
0250: 73 74 0a 20 20 72 65 74 75 72 6e 0a 7d 0a 0a 0a  st.  return.}...
0260: 23 20 53 65 74 20 75 70 20 61 20 74 61 62 6c 65  # Set up a table
0270: 20 77 69 74 68 20 74 68 65 20 66 6f 6c 6c 6f 77   with the follow
0280: 69 6e 67 20 70 72 6f 70 65 72 74 69 65 73 3a 0a  ing properties:.
0290: 23 0a 23 20 20 20 20 2a 20 43 6f 6e 74 61 69 6e  #.#    * Contain
02a0: 73 20 31 30 30 30 20 72 6f 77 73 2e 0a 23 20 20  s 1000 rows..#  
02b0: 20 20 2a 20 43 6f 6c 75 6d 6e 20 61 20 63 6f 6e    * Column a con
02c0: 74 61 69 6e 73 20 65 76 65 6e 20 69 6e 74 65 67  tains even integ
02d0: 65 72 73 20 62 65 74 77 65 65 6e 20 30 20 61 6e  ers between 0 an
02e0: 64 20 31 38 2c 20 69 6e 63 6c 75 73 69 76 65 20  d 18, inclusive 
02f0: 28 73 6f 20 74 68 61 74 0a 23 20 20 20 20 20 20  (so that.#      
0300: 61 3d 3f 20 66 6f 72 20 61 6e 79 20 73 75 63 68  a=? for any such
0310: 20 69 6e 74 65 67 65 72 20 6d 61 74 63 68 65 73   integer matches
0320: 20 31 30 30 20 72 6f 77 73 29 2e 0a 23 20 20 20   100 rows)..#   
0330: 20 2a 20 43 6f 6c 75 6d 6e 20 62 20 63 6f 6e 74   * Column b cont
0340: 61 69 6e 73 20 69 6e 74 65 67 65 72 73 20 62 65  ains integers be
0350: 74 77 65 65 6e 20 30 20 61 6e 64 20 39 2c 20 69  tween 0 and 9, i
0360: 6e 63 6c 75 73 69 76 65 2e 0a 23 20 20 20 20 2a  nclusive..#    *
0370: 20 43 6f 6c 75 6d 6e 20 63 20 63 6f 6e 74 61 69   Column c contai
0380: 6e 73 20 69 6e 74 65 67 65 72 73 20 62 65 74 77  ns integers betw
0390: 65 65 6e 20 30 20 61 6e 64 20 31 39 39 2c 20 69  een 0 and 199, i
03a0: 6e 63 6c 75 73 69 76 65 20 28 73 6f 20 74 68 61  nclusive (so tha
03b0: 74 0a 23 20 20 20 20 20 20 66 6f 72 20 61 6e 79  t.#      for any
03c0: 20 73 75 63 68 20 69 6e 74 65 67 65 72 2c 20 63   such integer, c
03d0: 3d 3f 20 6d 61 74 63 68 65 73 20 35 20 72 6f 77  =? matches 5 row
03e0: 73 29 2e 0a 23 20 20 20 20 2a 20 54 68 65 6e 20  s)..#    * Then 
03f0: 61 64 64 20 37 20 72 6f 77 73 20 77 69 74 68 20  add 7 rows with 
0400: 61 20 6e 65 77 20 76 61 6c 75 65 20 66 6f 72 20  a new value for 
0410: 22 61 22 20 2d 20 33 30 30 31 2e 20 54 68 65 20  "a" - 3001. The 
0420: 73 74 61 74 34 20 74 61 62 6c 65 20 77 69 6c 6c  stat4 table will
0430: 0a 23 20 20 20 20 20 20 6e 6f 74 20 63 6f 6e 74  .#      not cont
0440: 61 69 6e 20 61 6e 79 20 73 61 6d 70 6c 65 73 20  ain any samples 
0450: 77 69 74 68 20 61 3d 33 30 30 31 2e 0a 23 0a 64  with a=3001..#.d
0460: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 31  o_execsql_test 1
0470: 2e 30 20 7b 0a 20 20 43 52 45 41 54 45 20 54 41  .0 {.  CREATE TA
0480: 42 4c 45 20 74 31 28 61 2c 20 62 2c 20 63 29 3b  BLE t1(a, b, c);
0490: 0a 7d 0a 64 6f 5f 74 65 73 74 20 31 2e 31 20 7b  .}.do_test 1.1 {
04a0: 0a 20 20 66 6f 72 20 7b 73 65 74 20 69 20 31 7d  .  for {set i 1}
04b0: 20 7b 24 69 20 3c 20 31 30 30 30 7d 20 7b 69 6e   {$i < 1000} {in
04c0: 63 72 20 69 7d 20 7b 0a 20 20 20 20 73 65 74 20  cr i} {.    set 
04d0: 63 20 5b 65 78 70 72 20 24 69 20 25 20 32 30 30  c [expr $i % 200
04e0: 5d 0a 20 20 20 20 65 78 65 63 73 71 6c 20 7b 20  ].    execsql { 
04f0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 28 61  INSERT INTO t1(a
0500: 2c 20 62 2c 20 63 29 20 56 41 4c 55 45 53 28 20  , b, c) VALUES( 
0510: 32 2a 28 24 69 2f 31 30 30 29 2c 20 24 69 25 31  2*($i/100), $i%1
0520: 30 2c 20 24 63 20 29 20 7d 0a 20 20 7d 0a 0a 20  0, $c ) }.  }.. 
0530: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 49   execsql {.    I
0540: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41  NSERT INTO t1 VA
0550: 4c 55 45 53 28 33 30 30 31 2c 20 33 30 30 31 2c  LUES(3001, 3001,
0560: 20 33 30 30 31 29 3b 0a 20 20 20 20 49 4e 53 45   3001);.    INSE
0570: 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45  RT INTO t1 VALUE
0580: 53 28 33 30 30 31 2c 20 33 30 30 31 2c 20 33 30  S(3001, 3001, 30
0590: 30 32 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20  02);.    INSERT 
05a0: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 33  INTO t1 VALUES(3
05b0: 30 30 31 2c 20 33 30 30 31 2c 20 33 30 30 33 29  001, 3001, 3003)
05c0: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
05d0: 4f 20 74 31 20 56 41 4c 55 45 53 28 33 30 30 31  O t1 VALUES(3001
05e0: 2c 20 33 30 30 31 2c 20 33 30 30 34 29 3b 0a 20  , 3001, 3004);. 
05f0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
0600: 31 20 56 41 4c 55 45 53 28 33 30 30 31 2c 20 33  1 VALUES(3001, 3
0610: 30 30 31 2c 20 33 30 30 35 29 3b 0a 20 20 20 20  001, 3005);.    
0620: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
0630: 41 4c 55 45 53 28 33 30 30 31 2c 20 33 30 30 31  ALUES(3001, 3001
0640: 2c 20 33 30 30 36 29 3b 0a 20 20 20 20 49 4e 53  , 3006);.    INS
0650: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
0660: 45 53 28 33 30 30 31 2c 20 33 30 30 31 2c 20 33  ES(3001, 3001, 3
0670: 30 30 37 29 3b 0a 0a 20 20 20 20 43 52 45 41 54  007);..    CREAT
0680: 45 20 49 4e 44 45 58 20 74 31 5f 61 62 20 4f 4e  E INDEX t1_ab ON
0690: 20 74 31 28 61 2c 20 62 29 3b 0a 20 20 20 20 43   t1(a, b);.    C
06a0: 52 45 41 54 45 20 49 4e 44 45 58 20 74 31 5f 63  REATE INDEX t1_c
06b0: 20 4f 4e 20 74 31 28 63 29 3b 0a 0a 20 20 20 20   ON t1(c);..    
06c0: 41 4e 41 4c 59 5a 45 3b 0a 20 20 7d 0a 7d 20 7b  ANALYZE;.  }.} {
06d0: 7d 0a 0a 23 20 57 69 74 68 20 66 75 6c 6c 20 41  }..# With full A
06e0: 4e 41 4c 59 5a 45 20 64 61 74 61 2c 20 53 51 4c  NALYZE data, SQL
06f0: 69 74 65 20 73 65 65 73 20 74 68 61 74 20 63 3d  ite sees that c=
0700: 31 35 30 20 28 35 20 72 6f 77 73 29 20 69 73 20  150 (5 rows) is 
0710: 62 65 74 74 65 72 20 74 68 61 6e 0a 23 20 61 3d  better than.# a=
0720: 33 30 30 31 20 28 37 20 72 6f 77 73 29 2e 0a 23  3001 (7 rows)..#
0730: 0a 64 6f 5f 65 71 70 5f 74 65 73 74 20 31 2e 32  .do_eqp_test 1.2
0740: 20 7b 0a 20 20 53 45 4c 45 43 54 20 2a 20 46 52   {.  SELECT * FR
0750: 4f 4d 20 74 31 20 57 48 45 52 45 20 61 3d 33 30  OM t1 WHERE a=30
0760: 30 31 20 41 4e 44 20 63 3d 31 35 30 3b 0a 7d 20  01 AND c=150;.} 
0770: 7b 53 45 41 52 43 48 20 54 41 42 4c 45 20 74 31  {SEARCH TABLE t1
0780: 20 55 53 49 4e 47 20 49 4e 44 45 58 20 74 31 5f   USING INDEX t1_
0790: 63 20 28 63 3d 3f 29 7d 0a 0a 64 6f 5f 74 65 73  c (c=?)}..do_tes
07a0: 74 20 31 2e 33 20 7b 0a 20 20 65 78 65 63 73 71  t 1.3 {.  execsq
07b0: 6c 20 7b 20 44 45 4c 45 54 45 20 46 52 4f 4d 20  l { DELETE FROM 
07c0: 73 71 6c 69 74 65 5f 73 74 61 74 31 20 7d 0a 20  sqlite_stat1 }. 
07d0: 20 64 62 20 63 6c 6f 73 65 0a 20 20 73 71 6c 69   db close.  sqli
07e0: 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 7d  te3 db test.db.}
07f0: 20 7b 7d 0a 0a 23 20 57 69 74 68 6f 75 74 20 73   {}..# Without s
0800: 74 61 74 31 2c 20 62 65 63 61 75 73 65 20 33 30  tat1, because 30
0810: 30 31 20 69 73 20 6c 61 72 67 65 72 20 74 68 61  01 is larger tha
0820: 6e 20 61 6c 6c 20 73 61 6d 70 6c 65 73 20 69 6e  n all samples in
0830: 20 74 68 65 20 73 74 61 74 34 0a 23 20 74 61 62   the stat4.# tab
0840: 6c 65 2c 20 53 51 4c 69 74 65 20 74 68 69 6e 6b  le, SQLite think
0850: 73 20 74 68 61 74 20 61 3d 33 30 30 31 20 6d 61  s that a=3001 ma
0860: 74 63 68 65 73 20 6a 75 73 74 20 31 20 72 6f 77  tches just 1 row
0870: 2e 20 53 6f 20 69 74 20 28 69 6e 63 6f 72 72 65  . So it (incorre
0880: 63 74 6c 79 29 0a 23 20 63 68 6f 6f 73 65 73 20  ctly).# chooses 
0890: 69 74 20 6f 76 65 72 20 74 68 65 20 63 3d 31 35  it over the c=15
08a0: 30 20 69 6e 64 65 78 20 28 35 20 72 6f 77 73 29  0 index (5 rows)
08b0: 2e 20 45 76 65 6e 20 77 69 74 68 20 73 74 61 74  . Even with stat
08c0: 31 20 64 61 74 61 2c 20 74 68 69 6e 67 73 0a 23  1 data, things.#
08d0: 20 77 6f 72 6b 65 64 20 74 68 69 73 20 77 61 79   worked this way
08e0: 20 62 65 66 6f 72 65 20 63 6f 6d 6d 69 74 20 5b   before commit [
08f0: 65 36 66 37 66 39 37 64 62 63 5d 2e 0a 23 0a 64  e6f7f97dbc]..#.d
0900: 6f 5f 65 71 70 5f 74 65 73 74 20 31 2e 34 20 7b  o_eqp_test 1.4 {
0910: 0a 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d  .  SELECT * FROM
0920: 20 74 31 20 57 48 45 52 45 20 61 3d 33 30 30 31   t1 WHERE a=3001
0930: 20 41 4e 44 20 63 3d 31 35 30 3b 0a 7d 20 7b 53   AND c=150;.} {S
0940: 45 41 52 43 48 20 54 41 42 4c 45 20 74 31 20 55  EARCH TABLE t1 U
0950: 53 49 4e 47 20 49 4e 44 45 58 20 74 31 5f 61 62  SING INDEX t1_ab
0960: 20 28 61 3d 3f 29 7d 0a 0a 64 6f 5f 74 65 73 74   (a=?)}..do_test
0970: 20 31 2e 35 20 7b 0a 20 20 65 78 65 63 73 71 6c   1.5 {.  execsql
0980: 20 7b 20 0a 20 20 20 20 55 50 44 41 54 45 20 74   { .    UPDATE t
0990: 31 20 53 45 54 20 61 3d 31 33 20 57 48 45 52 45  1 SET a=13 WHERE
09a0: 20 61 20 3d 20 33 30 30 31 3b 0a 20 20 20 20 41   a = 3001;.    A
09b0: 4e 41 4c 59 5a 45 3b 0a 20 20 7d 0a 7d 20 7b 7d  NALYZE;.  }.} {}
09c0: 0a 0a 64 6f 5f 65 71 70 5f 74 65 73 74 20 31 2e  ..do_eqp_test 1.
09d0: 36 20 7b 0a 20 20 53 45 4c 45 43 54 20 2a 20 46  6 {.  SELECT * F
09e0: 52 4f 4d 20 74 31 20 57 48 45 52 45 20 61 3d 31  ROM t1 WHERE a=1
09f0: 33 20 41 4e 44 20 63 3d 31 35 30 3b 0a 7d 20 7b  3 AND c=150;.} {
0a00: 53 45 41 52 43 48 20 54 41 42 4c 45 20 74 31 20  SEARCH TABLE t1 
0a10: 55 53 49 4e 47 20 49 4e 44 45 58 20 74 31 5f 63  USING INDEX t1_c
0a20: 20 28 63 3d 3f 29 7d 0a 0a 64 6f 5f 74 65 73 74   (c=?)}..do_test
0a30: 20 31 2e 37 20 7b 0a 20 20 65 78 65 63 73 71 6c   1.7 {.  execsql
0a40: 20 7b 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 73   { DELETE FROM s
0a50: 71 6c 69 74 65 5f 73 74 61 74 31 20 7d 0a 20 20  qlite_stat1 }.  
0a60: 64 62 20 63 6c 6f 73 65 0a 20 20 73 71 6c 69 74  db close.  sqlit
0a70: 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 7d 20  e3 db test.db.} 
0a80: 7b 7d 0a 0a 23 20 53 61 6d 65 20 74 65 73 74 20  {}..# Same test 
0a90: 61 73 20 31 2e 34 2c 20 65 78 63 65 70 74 20 74  as 1.4, except t
0aa0: 68 69 73 20 74 69 6d 65 20 74 68 65 20 37 20 72  his time the 7 r
0ab0: 6f 77 73 20 74 68 61 74 20 6d 61 74 63 68 20 74  ows that match t
0ac0: 68 65 20 61 3d 3f 20 63 6f 6e 64 69 74 69 6f 6e  he a=? condition
0ad0: 20 0a 23 20 64 6f 20 6e 6f 74 20 66 65 61 74 75   .# do not featu
0ae0: 72 65 20 6c 61 72 67 65 72 20 76 61 6c 75 65 73  re larger values
0af0: 20 74 68 61 6e 20 61 6c 6c 20 72 6f 77 73 20 69   than all rows i
0b00: 6e 20 74 68 65 20 73 74 61 74 34 20 74 61 62 6c  n the stat4 tabl
0b10: 65 2e 20 53 6f 20 53 51 4c 69 74 65 0a 23 20 67  e. So SQLite.# g
0b20: 65 74 73 20 74 68 69 73 20 72 69 67 68 74 2c 20  ets this right, 
0b30: 65 76 65 6e 20 77 69 74 68 6f 75 74 20 73 74 61  even without sta
0b40: 74 31 20 64 61 74 61 2e 0a 64 6f 5f 65 71 70 5f  t1 data..do_eqp_
0b50: 74 65 73 74 20 31 2e 38 20 7b 0a 20 20 53 45 4c  test 1.8 {.  SEL
0b60: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 57 48  ECT * FROM t1 WH
0b70: 45 52 45 20 61 3d 31 33 20 41 4e 44 20 63 3d 31  ERE a=13 AND c=1
0b80: 35 30 3b 0a 7d 20 7b 53 45 41 52 43 48 20 54 41  50;.} {SEARCH TA
0b90: 42 4c 45 20 74 31 20 55 53 49 4e 47 20 49 4e 44  BLE t1 USING IND
0ba0: 45 58 20 74 31 5f 63 20 28 63 3d 3f 29 7d 0a 0a  EX t1_c (c=?)}..
0bb0: 66 69 6e 69 73 68 5f 74 65 73 74 0a              finish_test.