/ Hex Artifact Content
Login

Artifact a3be0d1a53a7d2edff208a5e442312957047e972:


0000: 23 20 32 30 31 34 2d 30 36 2d 31 37 0a 23 0a 23  # 2014-06-17.#.#
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 2a 2a 0a 23 0a 23 20 54 68 69 73 20 66 69  ****.#.# This fi
0170: 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73 20 72 65  le implements re
0180: 67 72 65 73 73 69 6f 6e 20 74 65 73 74 73 20 66  gression tests f
0190: 6f 72 20 53 51 4c 69 74 65 20 6c 69 62 72 61 72  or SQLite librar
01a0: 79 2e 20 20 54 68 65 0a 23 20 66 6f 63 75 73 20  y.  The.# focus 
01b0: 6f 66 20 74 68 69 73 20 73 63 72 69 70 74 20 69  of this script i
01c0: 73 20 74 65 73 74 69 6e 67 20 61 75 74 6f 6d 61  s testing automa
01d0: 74 69 63 20 69 6e 64 65 78 20 63 72 65 61 74 69  tic index creati
01e0: 6f 6e 20 6c 6f 67 69 63 2c 0a 23 20 61 6e 64 20  on logic,.# and 
01f0: 73 70 65 63 69 66 69 63 61 6c 6c 79 20 74 68 61  specifically tha
0200: 74 20 61 6e 20 61 75 74 6f 6d 61 74 69 63 20 69  t an automatic i
0210: 6e 64 65 78 20 77 69 6c 6c 20 6e 6f 74 20 62 65  ndex will not be
0220: 20 63 72 65 61 74 65 64 20 74 68 61 74 0a 23 20   created that.# 
0230: 73 68 61 64 6f 77 73 20 61 20 64 65 63 6c 61 72  shadows a declar
0240: 65 64 20 69 6e 64 65 78 2e 0a 23 0a 0a 73 65 74  ed index..#..set
0250: 20 74 65 73 74 64 69 72 20 5b 66 69 6c 65 20 64   testdir [file d
0260: 69 72 6e 61 6d 65 20 24 61 72 67 76 30 5d 0a 73  irname $argv0].s
0270: 6f 75 72 63 65 20 24 74 65 73 74 64 69 72 2f 74  ource $testdir/t
0280: 65 73 74 65 72 2e 74 63 6c 0a 73 65 74 20 74 65  ester.tcl.set te
0290: 73 74 70 72 65 66 69 78 20 61 75 74 6f 69 6e 64  stprefix autoind
02a0: 65 78 33 0a 0a 23 20 54 68 65 20 74 31 62 20 61  ex3..# The t1b a
02b0: 6e 64 20 74 32 64 20 69 6e 64 65 78 65 73 20 61  nd t2d indexes a
02c0: 72 65 20 6e 6f 74 20 76 65 72 79 20 73 65 6c 65  re not very sele
02d0: 63 74 69 76 65 2e 20 20 49 74 20 75 73 65 64 20  ctive.  It used 
02e0: 74 6f 20 62 65 20 74 68 61 74 0a 23 20 74 68 65  to be that.# the
02f0: 20 61 75 74 6f 69 6e 64 65 78 20 6d 65 63 68 61   autoindex mecha
0300: 6e 69 73 6d 20 77 6f 75 6c 64 20 63 72 65 61 74  nism would creat
0310: 65 20 61 75 74 6f 6d 61 74 69 63 20 69 6e 64 65  e automatic inde
0320: 78 65 73 20 6f 6e 20 74 31 28 62 29 20 6f 72 0a  xes on t1(b) or.
0330: 23 20 74 32 28 64 29 2c 20 6d 61 6b 65 20 61 73  # t2(d), make as
0340: 73 75 6d 70 74 69 6f 6e 73 20 74 68 61 74 20 74  sumptions that t
0350: 68 65 79 20 77 65 72 65 20 72 65 61 73 6f 6e 61  hey were reasona
0360: 62 6c 79 20 73 65 6c 65 63 74 69 76 65 2c 20 61  bly selective, a
0370: 6e 64 20 75 73 65 0a 23 20 74 68 65 6d 20 69 6e  nd use.# them in
0380: 73 74 65 61 64 20 6f 66 20 74 31 62 20 6f 72 20  stead of t1b or 
0390: 74 32 64 2e 20 20 42 75 74 20 74 68 61 74 20 77  t2d.  But that w
03a0: 6f 75 6c 64 20 62 65 20 63 68 65 61 74 69 6e 67  ould be cheating
03b0: 2c 20 62 65 63 61 75 73 65 20 74 68 65 0a 23 20  , because the.# 
03c0: 61 75 74 6f 6d 61 74 69 63 20 69 6e 64 65 78 20  automatic index 
03d0: 63 61 6e 6e 6f 74 20 62 65 20 61 6e 79 20 6d 6f  cannot be any mo
03e0: 72 65 20 73 65 6c 65 63 74 69 76 65 20 74 68 61  re selective tha
03f0: 6e 20 74 68 65 20 72 65 61 6c 20 69 6e 64 65 78  n the real index
0400: 2e 0a 23 0a 23 20 54 68 69 73 20 74 65 73 74 20  ..#.# This test 
0410: 76 65 72 69 66 69 65 73 20 74 68 61 74 20 74 68  verifies that th
0420: 65 20 63 68 65 61 74 20 69 73 20 6e 6f 20 6c 6f  e cheat is no lo
0430: 6e 67 65 72 20 61 6c 6c 6f 77 65 64 2e 0a 23 0a  nger allowed..#.
0440: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20  do_execsql_test 
0450: 61 75 74 6f 69 6e 64 65 78 33 2d 31 30 30 20 7b  autoindex3-100 {
0460: 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20  .  CREATE TABLE 
0470: 74 31 28 61 2c 62 2c 78 29 3b 0a 20 20 43 52 45  t1(a,b,x);.  CRE
0480: 41 54 45 20 54 41 42 4c 45 20 74 32 28 63 2c 64  ATE TABLE t2(c,d
0490: 2c 79 29 3b 0a 20 20 43 52 45 41 54 45 20 49 4e  ,y);.  CREATE IN
04a0: 44 45 58 20 74 31 62 20 4f 4e 20 74 31 28 62 29  DEX t1b ON t1(b)
04b0: 3b 0a 20 20 43 52 45 41 54 45 20 49 4e 44 45 58  ;.  CREATE INDEX
04c0: 20 74 32 64 20 4f 4e 20 74 32 28 64 29 3b 0a 20   t2d ON t2(d);. 
04d0: 20 41 4e 41 4c 59 5a 45 20 73 71 6c 69 74 65 5f   ANALYZE sqlite_
04e0: 6d 61 73 74 65 72 3b 0a 20 20 49 4e 53 45 52 54  master;.  INSERT
04f0: 20 49 4e 54 4f 20 73 71 6c 69 74 65 5f 73 74 61   INTO sqlite_sta
0500: 74 31 20 56 41 4c 55 45 53 28 27 74 31 27 2c 27  t1 VALUES('t1','
0510: 74 31 62 27 2c 27 31 30 30 30 30 20 35 30 30 27  t1b','10000 500'
0520: 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  );.  INSERT INTO
0530: 20 73 71 6c 69 74 65 5f 73 74 61 74 31 20 56 41   sqlite_stat1 VA
0540: 4c 55 45 53 28 27 74 32 27 2c 27 74 32 64 27 2c  LUES('t2','t2d',
0550: 27 31 30 30 30 30 20 35 30 30 27 29 3b 0a 20 20  '10000 500');.  
0560: 41 4e 41 4c 59 5a 45 20 73 71 6c 69 74 65 5f 6d  ANALYZE sqlite_m
0570: 61 73 74 65 72 3b 0a 20 20 45 58 50 4c 41 49 4e  aster;.  EXPLAIN
0580: 20 51 55 45 52 59 20 50 4c 41 4e 20 53 45 4c 45   QUERY PLAN SELE
0590: 43 54 20 2a 20 46 52 4f 4d 20 74 31 2c 20 74 32  CT * FROM t1, t2
05a0: 20 57 48 45 52 45 20 64 3d 62 3b 0a 7d 20 7b 7e   WHERE d=b;.} {~
05b0: 2f 41 55 54 4f 2f 7d 0a 0a 23 20 41 75 74 6f 6d  /AUTO/}..# Autom
05c0: 61 74 69 63 20 69 6e 64 65 78 65 73 20 63 61 6e  atic indexes can
05d0: 20 73 74 69 6c 6c 20 62 65 20 75 73 65 64 20 69   still be used i
05e0: 66 20 65 78 69 73 74 69 6e 67 20 69 6e 64 65 78  f existing index
05f0: 65 73 20 64 6f 20 6e 6f 74 0a 23 20 70 61 72 74  es do not.# part
0600: 69 63 69 70 61 74 65 20 69 6e 20 3d 3d 20 63 6f  icipate in == co
0610: 6e 73 74 72 61 69 6e 74 73 2e 0a 23 0a 64 6f 5f  nstraints..#.do_
0620: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 61 75 74  execsql_test aut
0630: 6f 69 6e 64 65 78 33 2d 31 31 30 20 7b 0a 20 20  oindex3-110 {.  
0640: 45 58 50 4c 41 49 4e 20 51 55 45 52 59 20 50 4c  EXPLAIN QUERY PL
0650: 41 4e 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d  AN SELECT * FROM
0660: 20 74 31 2c 20 74 32 20 57 48 45 52 45 20 64 3e   t1, t2 WHERE d>
0670: 62 20 41 4e 44 20 78 3d 79 3b 0a 7d 20 7b 2f 41  b AND x=y;.} {/A
0680: 55 54 4f 2f 7d 0a 64 6f 5f 65 78 65 63 73 71 6c  UTO/}.do_execsql
0690: 5f 74 65 73 74 20 61 75 74 6f 69 6e 64 65 78 33  _test autoindex3
06a0: 2d 31 32 30 20 7b 0a 20 20 45 58 50 4c 41 49 4e  -120 {.  EXPLAIN
06b0: 20 51 55 45 52 59 20 50 4c 41 4e 20 53 45 4c 45   QUERY PLAN SELE
06c0: 43 54 20 2a 20 46 52 4f 4d 20 74 31 2c 20 74 32  CT * FROM t1, t2
06d0: 20 57 48 45 52 45 20 64 3c 62 20 41 4e 44 20 78   WHERE d<b AND x
06e0: 3d 79 3b 0a 7d 20 7b 2f 41 55 54 4f 2f 7d 0a 64  =y;.} {/AUTO/}.d
06f0: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 61  o_execsql_test a
0700: 75 74 6f 69 6e 64 65 78 33 2d 31 33 30 20 7b 0a  utoindex3-130 {.
0710: 20 20 45 58 50 4c 41 49 4e 20 51 55 45 52 59 20    EXPLAIN QUERY 
0720: 50 4c 41 4e 20 53 45 4c 45 43 54 20 2a 20 46 52  PLAN SELECT * FR
0730: 4f 4d 20 74 31 2c 20 74 32 20 57 48 45 52 45 20  OM t1, t2 WHERE 
0740: 64 20 49 53 20 4e 55 4c 4c 20 41 4e 44 20 78 3d  d IS NULL AND x=
0750: 79 3b 0a 7d 20 7b 2f 41 55 54 4f 2f 7d 0a 64 6f  y;.} {/AUTO/}.do
0760: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 61 75  _execsql_test au
0770: 74 6f 69 6e 64 65 78 33 2d 31 34 30 20 7b 0a 20  toindex3-140 {. 
0780: 20 45 58 50 4c 41 49 4e 20 51 55 45 52 59 20 50   EXPLAIN QUERY P
0790: 4c 41 4e 20 53 45 4c 45 43 54 20 2a 20 46 52 4f  LAN SELECT * FRO
07a0: 4d 20 74 31 2c 20 74 32 20 57 48 45 52 45 20 64  M t1, t2 WHERE d
07b0: 20 49 4e 20 28 35 2c 62 29 20 41 4e 44 20 78 3d   IN (5,b) AND x=
07c0: 79 3b 0a 7d 20 7b 2f 41 55 54 4f 2f 7d 0a 0a 72  y;.} {/AUTO/}..r
07d0: 65 73 65 74 5f 64 62 0a 64 6f 5f 65 78 65 63 73  eset_db.do_execs
07e0: 71 6c 5f 74 65 73 74 20 32 31 30 20 7b 0a 20 20  ql_test 210 {.  
07f0: 43 52 45 41 54 45 20 54 41 42 4c 45 20 76 28 62  CREATE TABLE v(b
0800: 2c 20 64 2c 20 65 29 3b 0a 20 20 43 52 45 41 54  , d, e);.  CREAT
0810: 45 20 54 41 42 4c 45 20 75 28 61 2c 20 62 2c 20  E TABLE u(a, b, 
0820: 63 29 3b 0a 20 20 41 4e 41 4c 59 5a 45 20 73 71  c);.  ANALYZE sq
0830: 6c 69 74 65 5f 6d 61 73 74 65 72 3b 0a 20 20 49  lite_master;.  I
0840: 4e 53 45 52 54 20 49 4e 54 4f 20 22 73 71 6c 69  NSERT INTO "sqli
0850: 74 65 5f 73 74 61 74 31 22 20 56 41 4c 55 45 53  te_stat1" VALUES
0860: 28 27 75 27 2c 27 75 61 62 27 2c 27 34 30 30 30  ('u','uab','4000
0870: 30 20 34 30 30 20 31 27 29 3b 0a 20 20 49 4e 53  0 400 1');.  INS
0880: 45 52 54 20 49 4e 54 4f 20 22 73 71 6c 69 74 65  ERT INTO "sqlite
0890: 5f 73 74 61 74 31 22 20 56 41 4c 55 45 53 28 27  _stat1" VALUES('
08a0: 76 27 2c 27 76 62 64 65 27 2c 27 34 30 30 30 30  v','vbde','40000
08b0: 20 34 30 30 20 31 20 31 27 29 3b 0a 20 20 49 4e   400 1 1');.  IN
08c0: 53 45 52 54 20 49 4e 54 4f 20 22 73 71 6c 69 74  SERT INTO "sqlit
08d0: 65 5f 73 74 61 74 31 22 20 56 41 4c 55 45 53 28  e_stat1" VALUES(
08e0: 27 76 27 2c 27 76 65 27 2c 27 34 30 30 30 30 20  'v','ve','40000 
08f0: 32 31 27 29 3b 0a 0a 20 20 43 52 45 41 54 45 20  21');..  CREATE 
0900: 49 4e 44 45 58 20 75 61 62 20 6f 6e 20 75 28 61  INDEX uab on u(a
0910: 2c 20 62 29 3b 0a 20 20 43 52 45 41 54 45 20 49  , b);.  CREATE I
0920: 4e 44 45 58 20 76 65 20 6f 6e 20 76 28 65 29 3b  NDEX ve on v(e);
0930: 0a 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20  .  CREATE INDEX 
0940: 76 62 64 65 20 6f 6e 20 76 28 62 2c 64 2c 65 29  vbde on v(b,d,e)
0950: 3b 0a 0a 20 20 44 52 4f 50 20 54 41 42 4c 45 20  ;..  DROP TABLE 
0960: 49 46 20 45 58 49 53 54 53 20 73 71 6c 69 74 65  IF EXISTS sqlite
0970: 5f 73 74 61 74 34 3b 0a 20 20 41 4e 41 4c 59 5a  _stat4;.  ANALYZ
0980: 45 20 73 71 6c 69 74 65 5f 6d 61 73 74 65 72 3b  E sqlite_master;
0990: 0a 7d 0a 0a 23 20 41 74 20 6f 6e 65 20 70 6f 69  .}..# At one poi
09a0: 6e 74 2c 20 53 51 4c 69 74 65 20 77 61 73 20 75  nt, SQLite was u
09b0: 73 69 6e 67 20 74 68 65 20 69 6e 66 65 72 69 6f  sing the inferio
09c0: 72 20 70 6c 61 6e 3a 0a 23 0a 23 20 20 20 30 7c  r plan:.#.#   0|
09d0: 30 7c 31 7c 53 45 41 52 43 48 20 54 41 42 4c 45  0|1|SEARCH TABLE
09e0: 20 76 20 55 53 49 4e 47 20 49 4e 44 45 58 20 76   v USING INDEX v
09f0: 65 20 28 65 3e 3f 29 0a 23 20 20 20 30 7c 31 7c  e (e>?).#   0|1|
0a00: 30 7c 53 45 41 52 43 48 20 54 41 42 4c 45 20 75  0|SEARCH TABLE u
0a10: 20 55 53 49 4e 47 20 43 4f 56 45 52 49 4e 47 20   USING COVERING 
0a20: 49 4e 44 45 58 20 75 61 62 20 28 41 4e 59 28 61  INDEX uab (ANY(a
0a30: 29 20 41 4e 44 20 62 3d 3f 29 0a 23 0a 23 20 6f  ) AND b=?).#.# o
0a40: 6e 20 74 68 65 20 62 61 73 69 73 20 74 68 61 74  n the basis that
0a50: 20 74 68 65 20 72 65 61 6c 20 69 6e 64 65 78 20   the real index 
0a60: 22 75 61 62 22 20 6d 75 73 74 20 62 65 20 62 65  "uab" must be be
0a70: 74 74 65 72 20 74 68 61 6e 20 74 68 65 20 61 75  tter than the au
0a80: 74 6f 6d 61 74 69 63 0a 23 20 69 6e 64 65 78 2e  tomatic.# index.
0a90: 20 54 68 69 73 20 69 73 20 6e 6f 74 20 72 69 67   This is not rig
0aa0: 68 74 20 2d 20 61 20 73 6b 69 70 2d 73 63 61 6e  ht - a skip-scan
0ab0: 20 69 73 20 6e 6f 74 20 6e 65 63 65 73 73 61 72   is not necessar
0ac0: 69 6c 79 20 62 65 74 74 65 72 20 74 68 61 6e 20  ily better than 
0ad0: 61 6e 0a 23 20 61 75 74 6f 6d 61 74 69 63 20 69  an.# automatic i
0ae0: 6e 64 65 78 20 73 63 61 6e 2e 0a 23 0a 64 6f 5f  ndex scan..#.do_
0af0: 65 71 70 5f 74 65 73 74 20 32 32 30 20 7b 0a 20  eqp_test 220 {. 
0b00: 20 73 65 6c 65 63 74 20 63 6f 75 6e 74 28 2a 29   select count(*)
0b10: 20 66 72 6f 6d 20 75 2c 20 76 20 77 68 65 72 65   from u, v where
0b20: 20 75 2e 62 20 3d 20 76 2e 62 20 61 6e 64 20 76   u.b = v.b and v
0b30: 2e 65 20 3e 20 33 34 3b 0a 7d 20 7b 0a 20 20 30  .e > 34;.} {.  0
0b40: 20 30 20 31 20 7b 53 45 41 52 43 48 20 54 41 42   0 1 {SEARCH TAB
0b50: 4c 45 20 76 20 55 53 49 4e 47 20 49 4e 44 45 58  LE v USING INDEX
0b60: 20 76 65 20 28 65 3e 3f 29 7d 20 0a 20 20 30 20   ve (e>?)} .  0 
0b70: 31 20 30 20 7b 53 45 41 52 43 48 20 54 41 42 4c  1 0 {SEARCH TABL
0b80: 45 20 75 20 55 53 49 4e 47 20 41 55 54 4f 4d 41  E u USING AUTOMA
0b90: 54 49 43 20 43 4f 56 45 52 49 4e 47 20 49 4e 44  TIC COVERING IND
0ba0: 45 58 20 28 62 3d 3f 29 7d 0a 7d 0a 0a 0a 66 69  EX (b=?)}.}...fi
0bb0: 6e 69 73 68 5f 74 65 73 74 0a                    nish_test.