/ Hex Artifact Content
Login

Artifact f3d77cd0fefe2849d784897d52df13beee19271d:


0000: 23 20 32 30 30 35 20 4a 75 6c 79 20 32 32 0a 23  # 2005 July 22.#
0010: 0a 23 20 54 68 65 20 61 75 74 68 6f 72 20 64 69  .# The author di
0020: 73 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68  sclaims copyrigh
0030: 74 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65  t to this source
0040: 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65   code.  In place
0050: 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f   of.# a legal no
0060: 74 69 63 65 2c 20 68 65 72 65 20 69 73 20 61 20  tice, here is a 
0070: 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20  blessing:.#.#   
0080: 20 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64   May you do good
0090: 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23   and not evil..#
00a0: 20 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64      May you find
00b0: 20 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72   forgiveness for
00c0: 20 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f   yourself and fo
00d0: 72 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20  rgive others..# 
00e0: 20 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65     May you share
00f0: 20 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74   freely, never t
0100: 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20  aking more than 
0110: 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a  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 0a 23 20 54 68 69 73 20 66 69 6c 65  ****.# This file
0170: 20 69 6d 70 6c 65 6d 65 6e 74 73 20 72 65 67 72   implements regr
0180: 65 73 73 69 6f 6e 20 74 65 73 74 73 20 66 6f 72  ession tests for
0190: 20 53 51 4c 69 74 65 20 6c 69 62 72 61 72 79 2e   SQLite library.
01a0: 0a 23 20 54 68 69 73 20 66 69 6c 65 20 69 6d 70  .# This file imp
01b0: 6c 65 6d 65 6e 74 73 20 74 65 73 74 73 20 66 6f  lements tests fo
01c0: 72 20 74 68 65 20 41 4e 41 4c 59 5a 45 20 63 6f  r the ANALYZE co
01d0: 6d 6d 61 6e 64 2e 0a 23 0a 23 20 24 49 64 3a 20  mmand..#.# $Id: 
01e0: 61 6e 61 6c 79 7a 65 2e 74 65 73 74 2c 76 20 31  analyze.test,v 1
01f0: 2e 39 20 32 30 30 38 2f 30 38 2f 31 31 20 31 38  .9 2008/08/11 18
0200: 3a 34 34 3a 35 38 20 64 72 68 20 45 78 70 20 24  :44:58 drh Exp $
0210: 0a 0a 73 65 74 20 74 65 73 74 64 69 72 20 5b 66  ..set testdir [f
0220: 69 6c 65 20 64 69 72 6e 61 6d 65 20 24 61 72 67  ile dirname $arg
0230: 76 30 5d 0a 73 6f 75 72 63 65 20 24 74 65 73 74  v0].source $test
0240: 64 69 72 2f 74 65 73 74 65 72 2e 74 63 6c 0a 73  dir/tester.tcl.s
0250: 65 74 20 3a 3a 74 65 73 74 70 72 65 66 69 78 20  et ::testprefix 
0260: 61 6e 61 6c 79 7a 65 44 0a 0a 69 66 63 61 70 61  analyzeD..ifcapa
0270: 62 6c 65 20 7b 21 73 74 61 74 34 7d 20 7b 0a 20  ble {!stat4} {. 
0280: 20 66 69 6e 69 73 68 5f 74 65 73 74 0a 20 20 72   finish_test.  r
0290: 65 74 75 72 6e 0a 7d 0a 0a 0a 23 20 53 65 74 20  eturn.}...# Set 
02a0: 75 70 20 61 20 74 61 62 6c 65 20 77 69 74 68 20  up a table with 
02b0: 74 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 70 72  the following pr
02c0: 6f 70 65 72 74 69 65 73 3a 0a 23 0a 23 20 20 20  operties:.#.#   
02d0: 20 2a 20 43 6f 6e 74 61 69 6e 73 20 31 30 30 30   * Contains 1000
02e0: 20 72 6f 77 73 2e 0a 23 20 20 20 20 2a 20 43 6f   rows..#    * Co
02f0: 6c 75 6d 6e 20 61 20 63 6f 6e 74 61 69 6e 73 20  lumn a contains 
0300: 65 76 65 6e 20 69 6e 74 65 67 65 72 73 20 62 65  even integers be
0310: 74 77 65 65 6e 20 30 20 61 6e 64 20 31 38 2c 20  tween 0 and 18, 
0320: 69 6e 63 6c 75 73 69 76 65 20 28 73 6f 20 74 68  inclusive (so th
0330: 61 74 0a 23 20 20 20 20 20 20 61 3d 3f 20 66 6f  at.#      a=? fo
0340: 72 20 61 6e 79 20 73 75 63 68 20 69 6e 74 65 67  r any such integ
0350: 65 72 20 6d 61 74 63 68 65 73 20 31 30 30 20 72  er matches 100 r
0360: 6f 77 73 29 2e 0a 23 20 20 20 20 2a 20 43 6f 6c  ows)..#    * Col
0370: 75 6d 6e 20 62 20 63 6f 6e 74 61 69 6e 73 20 69  umn b contains i
0380: 6e 74 65 67 65 72 73 20 62 65 74 77 65 65 6e 20  ntegers between 
0390: 30 20 61 6e 64 20 39 2c 20 69 6e 63 6c 75 73 69  0 and 9, inclusi
03a0: 76 65 2e 0a 23 20 20 20 20 2a 20 43 6f 6c 75 6d  ve..#    * Colum
03b0: 6e 20 63 20 63 6f 6e 74 61 69 6e 73 20 69 6e 74  n c contains int
03c0: 65 67 65 72 73 20 62 65 74 77 65 65 6e 20 30 20  egers between 0 
03d0: 61 6e 64 20 31 39 39 2c 20 69 6e 63 6c 75 73 69  and 199, inclusi
03e0: 76 65 20 28 73 6f 20 74 68 61 74 0a 23 20 20 20  ve (so that.#   
03f0: 20 20 20 66 6f 72 20 61 6e 79 20 73 75 63 68 20     for any such 
0400: 69 6e 74 65 67 65 72 2c 20 63 3d 3f 20 6d 61 74  integer, c=? mat
0410: 63 68 65 73 20 35 20 72 6f 77 73 29 2e 0a 23 20  ches 5 rows)..# 
0420: 20 20 20 2a 20 54 68 65 6e 20 61 64 64 20 37 20     * Then add 7 
0430: 72 6f 77 73 20 77 69 74 68 20 61 20 6e 65 77 20  rows with a new 
0440: 76 61 6c 75 65 20 66 6f 72 20 22 61 22 20 2d 20  value for "a" - 
0450: 33 30 30 31 2e 20 54 68 65 20 73 74 61 74 34 20  3001. The stat4 
0460: 74 61 62 6c 65 20 77 69 6c 6c 0a 23 20 20 20 20  table will.#    
0470: 20 20 6e 6f 74 20 63 6f 6e 74 61 69 6e 20 61 6e    not contain an
0480: 79 20 73 61 6d 70 6c 65 73 20 77 69 74 68 20 61  y samples with a
0490: 3d 33 30 30 31 2e 0a 23 0a 64 6f 5f 65 78 65 63  =3001..#.do_exec
04a0: 73 71 6c 5f 74 65 73 74 20 31 2e 30 20 7b 0a 20  sql_test 1.0 {. 
04b0: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 31   CREATE TABLE t1
04c0: 28 61 2c 20 62 2c 20 63 29 3b 0a 7d 0a 64 6f 5f  (a, b, c);.}.do_
04d0: 74 65 73 74 20 31 2e 31 20 7b 0a 20 20 66 6f 72  test 1.1 {.  for
04e0: 20 7b 73 65 74 20 69 20 31 7d 20 7b 24 69 20 3c   {set i 1} {$i <
04f0: 20 31 30 30 30 7d 20 7b 69 6e 63 72 20 69 7d 20   1000} {incr i} 
0500: 7b 0a 20 20 20 20 73 65 74 20 63 20 5b 65 78 70  {.    set c [exp
0510: 72 20 24 69 20 25 20 32 30 30 5d 0a 20 20 20 20  r $i % 200].    
0520: 65 78 65 63 73 71 6c 20 7b 20 49 4e 53 45 52 54  execsql { INSERT
0530: 20 49 4e 54 4f 20 74 31 28 61 2c 20 62 2c 20 63   INTO t1(a, b, c
0540: 29 20 56 41 4c 55 45 53 28 20 32 2a 28 24 69 2f  ) VALUES( 2*($i/
0550: 31 30 30 29 2c 20 24 69 25 31 30 2c 20 24 63 20  100), $i%10, $c 
0560: 29 20 7d 0a 20 20 7d 0a 0a 20 20 65 78 65 63 73  ) }.  }..  execs
0570: 71 6c 20 7b 0a 20 20 20 20 49 4e 53 45 52 54 20  ql {.    INSERT 
0580: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 33  INTO t1 VALUES(3
0590: 30 30 31 2c 20 33 30 30 31 2c 20 33 30 30 31 29  001, 3001, 3001)
05a0: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
05b0: 4f 20 74 31 20 56 41 4c 55 45 53 28 33 30 30 31  O t1 VALUES(3001
05c0: 2c 20 33 30 30 31 2c 20 33 30 30 32 29 3b 0a 20  , 3001, 3002);. 
05d0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
05e0: 31 20 56 41 4c 55 45 53 28 33 30 30 31 2c 20 33  1 VALUES(3001, 3
05f0: 30 30 31 2c 20 33 30 30 33 29 3b 0a 20 20 20 20  001, 3003);.    
0600: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
0610: 41 4c 55 45 53 28 33 30 30 31 2c 20 33 30 30 31  ALUES(3001, 3001
0620: 2c 20 33 30 30 34 29 3b 0a 20 20 20 20 49 4e 53  , 3004);.    INS
0630: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
0640: 45 53 28 33 30 30 31 2c 20 33 30 30 31 2c 20 33  ES(3001, 3001, 3
0650: 30 30 35 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  005);.    INSERT
0660: 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28   INTO t1 VALUES(
0670: 33 30 30 31 2c 20 33 30 30 31 2c 20 33 30 30 36  3001, 3001, 3006
0680: 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  );.    INSERT IN
0690: 54 4f 20 74 31 20 56 41 4c 55 45 53 28 33 30 30  TO t1 VALUES(300
06a0: 31 2c 20 33 30 30 31 2c 20 33 30 30 37 29 3b 0a  1, 3001, 3007);.
06b0: 0a 20 20 20 20 43 52 45 41 54 45 20 49 4e 44 45  .    CREATE INDE
06c0: 58 20 74 31 5f 61 62 20 4f 4e 20 74 31 28 61 2c  X t1_ab ON t1(a,
06d0: 20 62 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20   b);.    CREATE 
06e0: 49 4e 44 45 58 20 74 31 5f 63 20 4f 4e 20 74 31  INDEX t1_c ON t1
06f0: 28 63 29 3b 0a 0a 20 20 20 20 41 4e 41 4c 59 5a  (c);..    ANALYZ
0700: 45 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 0a 23 20 57  E;.  }.} {}..# W
0710: 69 74 68 20 66 75 6c 6c 20 41 4e 41 4c 59 5a 45  ith full ANALYZE
0720: 20 64 61 74 61 2c 20 53 51 4c 69 74 65 20 73 65   data, SQLite se
0730: 65 73 20 74 68 61 74 20 63 3d 31 35 30 20 28 35  es that c=150 (5
0740: 20 72 6f 77 73 29 20 69 73 20 62 65 74 74 65 72   rows) is better
0750: 20 74 68 61 6e 0a 23 20 61 3d 33 30 30 31 20 28   than.# a=3001 (
0760: 37 20 72 6f 77 73 29 2e 0a 23 0a 64 6f 5f 65 71  7 rows)..#.do_eq
0770: 70 5f 74 65 73 74 20 31 2e 32 20 7b 0a 20 20 53  p_test 1.2 {.  S
0780: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20  ELECT * FROM t1 
0790: 57 48 45 52 45 20 61 3d 33 30 30 31 20 41 4e 44  WHERE a=3001 AND
07a0: 20 63 3d 31 35 30 3b 0a 7d 20 7b 0a 20 20 30 20   c=150;.} {.  0 
07b0: 30 20 30 20 7b 53 45 41 52 43 48 20 54 41 42 4c  0 0 {SEARCH TABL
07c0: 45 20 74 31 20 55 53 49 4e 47 20 49 4e 44 45 58  E t1 USING INDEX
07d0: 20 74 31 5f 63 20 28 63 3d 3f 29 7d 0a 7d 0a 0a   t1_c (c=?)}.}..
07e0: 64 6f 5f 74 65 73 74 20 31 2e 33 20 7b 0a 20 20  do_test 1.3 {.  
07f0: 65 78 65 63 73 71 6c 20 7b 20 44 45 4c 45 54 45  execsql { DELETE
0800: 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 73 74 61   FROM sqlite_sta
0810: 74 31 20 7d 0a 20 20 64 62 20 63 6c 6f 73 65 0a  t1 }.  db close.
0820: 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 73    sqlite3 db tes
0830: 74 2e 64 62 0a 7d 20 7b 7d 0a 0a 23 20 57 69 74  t.db.} {}..# Wit
0840: 68 6f 75 74 20 73 74 61 74 31 2c 20 62 65 63 61  hout stat1, beca
0850: 75 73 65 20 33 30 30 31 20 69 73 20 6c 61 72 67  use 3001 is larg
0860: 65 72 20 74 68 61 6e 20 61 6c 6c 20 73 61 6d 70  er than all samp
0870: 6c 65 73 20 69 6e 20 74 68 65 20 73 74 61 74 34  les in the stat4
0880: 0a 23 20 74 61 62 6c 65 2c 20 53 51 4c 69 74 65  .# table, SQLite
0890: 20 74 68 69 6e 67 73 20 74 68 61 74 20 61 3d 33   things that a=3
08a0: 30 30 31 20 6d 61 74 63 68 65 73 20 6a 75 73 74  001 matches just
08b0: 20 31 20 72 6f 77 2e 20 53 6f 20 69 74 20 28 69   1 row. So it (i
08c0: 6e 63 6f 72 72 65 63 74 6c 79 29 0a 23 20 63 68  ncorrectly).# ch
08d0: 6f 6f 73 65 73 20 69 74 20 6f 76 65 72 20 74 68  ooses it over th
08e0: 65 20 63 3d 31 35 30 20 69 6e 64 65 78 20 28 35  e c=150 index (5
08f0: 20 72 6f 77 73 29 2e 20 45 76 65 6e 20 77 69 74   rows). Even wit
0900: 68 20 73 74 61 74 31 20 64 61 74 61 2c 20 74 68  h stat1 data, th
0910: 69 6e 67 73 0a 23 20 77 6f 72 6b 65 64 20 74 68  ings.# worked th
0920: 69 73 20 77 61 79 20 62 65 66 6f 72 65 20 63 6f  is way before co
0930: 6d 6d 69 74 20 5b 65 36 66 37 66 39 37 64 62 63  mmit [e6f7f97dbc
0940: 5d 2e 0a 23 0a 64 6f 5f 65 71 70 5f 74 65 73 74  ]..#.do_eqp_test
0950: 20 31 2e 34 20 7b 0a 20 20 53 45 4c 45 43 54 20   1.4 {.  SELECT 
0960: 2a 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  * FROM t1 WHERE 
0970: 61 3d 33 30 30 31 20 41 4e 44 20 63 3d 31 35 30  a=3001 AND c=150
0980: 3b 0a 7d 20 7b 0a 20 20 30 20 30 20 30 20 7b 53  ;.} {.  0 0 0 {S
0990: 45 41 52 43 48 20 54 41 42 4c 45 20 74 31 20 55  EARCH TABLE t1 U
09a0: 53 49 4e 47 20 49 4e 44 45 58 20 74 31 5f 61 62  SING INDEX t1_ab
09b0: 20 28 61 3d 3f 29 7d 0a 7d 0a 0a 64 6f 5f 74 65   (a=?)}.}..do_te
09c0: 73 74 20 31 2e 35 20 7b 0a 20 20 65 78 65 63 73  st 1.5 {.  execs
09d0: 71 6c 20 7b 20 0a 20 20 20 20 55 50 44 41 54 45  ql { .    UPDATE
09e0: 20 74 31 20 53 45 54 20 61 3d 31 33 20 57 48 45   t1 SET a=13 WHE
09f0: 52 45 20 61 20 3d 20 33 30 30 31 3b 0a 20 20 20  RE a = 3001;.   
0a00: 20 41 4e 41 4c 59 5a 45 3b 0a 20 20 7d 0a 7d 20   ANALYZE;.  }.} 
0a10: 7b 7d 0a 0a 64 6f 5f 65 71 70 5f 74 65 73 74 20  {}..do_eqp_test 
0a20: 31 2e 36 20 7b 0a 20 20 53 45 4c 45 43 54 20 2a  1.6 {.  SELECT *
0a30: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 61   FROM t1 WHERE a
0a40: 3d 31 33 20 41 4e 44 20 63 3d 31 35 30 3b 0a 7d  =13 AND c=150;.}
0a50: 20 7b 0a 20 20 30 20 30 20 30 20 7b 53 45 41 52   {.  0 0 0 {SEAR
0a60: 43 48 20 54 41 42 4c 45 20 74 31 20 55 53 49 4e  CH TABLE t1 USIN
0a70: 47 20 49 4e 44 45 58 20 74 31 5f 63 20 28 63 3d  G INDEX t1_c (c=
0a80: 3f 29 7d 0a 7d 0a 0a 64 6f 5f 74 65 73 74 20 31  ?)}.}..do_test 1
0a90: 2e 37 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .7 {.  execsql {
0aa0: 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 73 71 6c   DELETE FROM sql
0ab0: 69 74 65 5f 73 74 61 74 31 20 7d 0a 20 20 64 62  ite_stat1 }.  db
0ac0: 20 63 6c 6f 73 65 0a 20 20 73 71 6c 69 74 65 33   close.  sqlite3
0ad0: 20 64 62 20 74 65 73 74 2e 64 62 0a 7d 20 7b 7d   db test.db.} {}
0ae0: 0a 0a 23 20 53 61 6d 65 20 74 65 73 74 20 61 73  ..# Same test as
0af0: 20 31 2e 34 2c 20 65 78 63 65 70 74 20 74 68 69   1.4, except thi
0b00: 73 20 74 69 6d 65 20 74 68 65 20 37 20 72 6f 77  s time the 7 row
0b10: 73 20 74 68 61 74 20 6d 61 74 63 68 20 74 68 65  s that match the
0b20: 20 61 3d 3f 20 63 6f 6e 64 69 74 69 6f 6e 20 0a   a=? condition .
0b30: 23 20 64 6f 20 6e 6f 74 20 66 65 61 74 75 72 65  # do not feature
0b40: 20 6c 61 72 67 65 72 20 76 61 6c 75 65 73 20 74   larger values t
0b50: 68 61 6e 20 61 6c 6c 20 72 6f 77 73 20 69 6e 20  han all rows in 
0b60: 74 68 65 20 73 74 61 74 34 20 74 61 62 6c 65 2e  the stat4 table.
0b70: 20 53 6f 20 53 51 4c 69 74 65 0a 23 20 67 65 74   So SQLite.# get
0b80: 73 20 74 68 69 73 20 72 69 67 68 74 2c 20 65 76  s this right, ev
0b90: 65 6e 20 77 69 74 68 6f 75 74 20 73 74 61 74 31  en without stat1
0ba0: 20 64 61 74 61 2e 0a 64 6f 5f 65 71 70 5f 74 65   data..do_eqp_te
0bb0: 73 74 20 31 2e 38 20 7b 0a 20 20 53 45 4c 45 43  st 1.8 {.  SELEC
0bc0: 54 20 2a 20 46 52 4f 4d 20 74 31 20 57 48 45 52  T * FROM t1 WHER
0bd0: 45 20 61 3d 31 33 20 41 4e 44 20 63 3d 31 35 30  E a=13 AND c=150
0be0: 3b 0a 7d 20 7b 0a 20 20 30 20 30 20 30 20 7b 53  ;.} {.  0 0 0 {S
0bf0: 45 41 52 43 48 20 54 41 42 4c 45 20 74 31 20 55  EARCH TABLE t1 U
0c00: 53 49 4e 47 20 49 4e 44 45 58 20 74 31 5f 63 20  SING INDEX t1_c 
0c10: 28 63 3d 3f 29 7d 0a 7d 0a 0a 66 69 6e 69 73 68  (c=?)}.}..finish
0c20: 5f 74 65 73 74 0a                                _test.