/ Hex Artifact Content
Login

Artifact 5ec98719a2e2914e8908dc75f7247d9b54a26df04625f846ac7900d5483f7296:


0000: 23 20 32 30 31 32 20 53 65 70 74 65 6d 62 65 72  # 2012 September
0010: 20 31 37 0a 23 0a 23 20 54 68 65 20 61 75 74 68   17.#.# The auth
0020: 6f 72 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70  or disclaims cop
0030: 79 72 69 67 68 74 20 74 6f 20 74 68 69 73 20 73  yright to this s
0040: 6f 75 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20  ource code.  In 
0050: 70 6c 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67  place of.# a leg
0060: 61 6c 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20  al notice, here 
0070: 69 73 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23  is a blessing:.#
0080: 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f  .#    May you do
0090: 20 67 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76   good and not ev
00a0: 69 6c 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75  il..#    May you
00b0: 20 66 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73   find forgivenes
00c0: 73 20 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61  s for yourself a
00d0: 6e 64 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72  nd forgive other
00e0: 73 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20  s..#    May you 
00f0: 73 68 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65  share freely, ne
0100: 76 65 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20  ver taking more 
0110: 74 68 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23  than you give..#
0120: 0a 23 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 2a 2a 0a 23 0a 23 20 54 65  *********.#.# Te
0170: 73 74 73 20 66 6f 72 20 74 68 65 20 6f 70 74 69  sts for the opti
0180: 6d 69 7a 61 74 69 6f 6e 20 77 68 69 63 68 20 61  mization which a
0190: 74 74 65 6d 70 74 73 20 74 6f 20 75 73 65 20 61  ttempts to use a
01a0: 20 63 6f 76 65 72 69 6e 67 20 69 6e 64 65 78 0a   covering index.
01b0: 23 20 66 6f 72 20 61 20 66 75 6c 6c 2d 74 61 62  # for a full-tab
01c0: 6c 65 20 73 63 61 6e 20 28 75 6e 64 65 72 20 74  le scan (under t
01d0: 68 65 20 74 68 65 6f 72 79 20 74 68 61 74 20 74  he theory that t
01e0: 68 65 20 69 6e 64 65 78 20 77 69 6c 6c 20 62 65  he index will be
01f0: 20 73 6d 61 6c 6c 65 72 0a 23 20 61 6e 64 20 72   smaller.# and r
0200: 65 71 75 69 72 65 20 6c 65 73 73 20 49 2f 4f 20  equire less I/O 
0210: 61 6e 64 20 68 65 6e 63 65 20 77 69 6c 6c 20 72  and hence will r
0220: 75 6e 20 66 61 73 74 65 72 2e 29 0a 23 0a 0a 73  un faster.).#..s
0230: 65 74 20 74 65 73 74 64 69 72 20 5b 66 69 6c 65  et testdir [file
0240: 20 64 69 72 6e 61 6d 65 20 24 61 72 67 76 30 5d   dirname $argv0]
0250: 0a 73 6f 75 72 63 65 20 24 74 65 73 74 64 69 72  .source $testdir
0260: 2f 74 65 73 74 65 72 2e 74 63 6c 0a 0a 73 65 74  /tester.tcl..set
0270: 20 74 65 73 74 70 72 65 66 69 78 20 63 6f 76 65   testprefix cove
0280: 72 69 64 78 73 63 61 6e 0a 0a 64 6f 5f 74 65 73  ridxscan..do_tes
0290: 74 20 31 2e 31 20 7b 0a 20 20 64 62 20 65 76 61  t 1.1 {.  db eva
02a0: 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54  l {.    CREATE T
02b0: 41 42 4c 45 20 74 31 28 61 2c 62 2c 63 29 3b 0a  ABLE t1(a,b,c);.
02c0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
02d0: 74 31 20 56 41 4c 55 45 53 28 35 2c 34 2c 33 29  t1 VALUES(5,4,3)
02e0: 2c 20 28 34 2c 38 2c 32 29 2c 20 28 33 2c 32 2c  , (4,8,2), (3,2,
02f0: 31 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20 49  1);.    CREATE I
0300: 4e 44 45 58 20 74 31 61 62 20 4f 4e 20 74 31 28  NDEX t1ab ON t1(
0310: 61 2c 62 29 3b 0a 20 20 20 20 43 52 45 41 54 45  a,b);.    CREATE
0320: 20 49 4e 44 45 58 20 74 31 62 20 4f 4e 20 74 31   INDEX t1b ON t1
0330: 28 62 29 3b 0a 20 20 20 20 53 45 4c 45 43 54 20  (b);.    SELECT 
0340: 61 20 46 52 4f 4d 20 74 31 3b 0a 20 20 7d 0a 20  a FROM t1;.  }. 
0350: 20 23 20 63 6f 76 65 72 69 6e 67 20 69 6e 64 65   # covering inde
0360: 78 20 75 73 65 64 20 66 6f 72 20 74 68 65 20 73  x used for the s
0370: 63 61 6e 2c 20 68 65 6e 63 65 20 76 61 6c 75 65  can, hence value
0380: 73 20 61 72 65 20 69 6e 63 72 65 61 73 69 6e 67  s are increasing
0390: 0a 7d 20 7b 33 20 34 20 35 7d 0a 0a 64 6f 5f 74  .} {3 4 5}..do_t
03a0: 65 73 74 20 31 2e 32 20 7b 0a 20 20 64 62 20 65  est 1.2 {.  db e
03b0: 76 61 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54  val {.    SELECT
03c0: 20 61 2c 20 63 20 46 52 4f 4d 20 74 31 3b 0a 20   a, c FROM t1;. 
03d0: 20 7d 0a 20 20 23 20 54 68 65 72 65 20 69 73 20   }.  # There is 
03e0: 6e 6f 20 63 6f 76 65 72 69 6e 67 20 69 6e 64 65  no covering inde
03f0: 78 2c 20 68 65 6e 63 65 20 74 68 65 20 76 61 6c  x, hence the val
0400: 75 65 73 20 61 72 65 20 69 6e 20 72 6f 77 69 64  ues are in rowid
0410: 20 6f 72 64 65 72 0a 7d 20 7b 35 20 33 20 34 20   order.} {5 3 4 
0420: 32 20 33 20 31 7d 0a 0a 64 6f 5f 74 65 73 74 20  2 3 1}..do_test 
0430: 31 2e 33 20 7b 0a 20 20 64 62 20 65 76 61 6c 20  1.3 {.  db eval 
0440: 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 62 20 46  {.    SELECT b F
0450: 52 4f 4d 20 74 31 3b 0a 20 20 7d 0a 20 20 23 20  ROM t1;.  }.  # 
0460: 43 68 6f 69 63 65 20 6f 66 20 74 77 6f 20 69 6e  Choice of two in
0470: 64 69 63 65 73 3a 20 75 73 65 20 74 68 65 20 6f  dices: use the o
0480: 6e 65 20 77 69 74 68 20 66 65 77 65 73 74 20 63  ne with fewest c
0490: 6f 6c 75 6d 6e 73 0a 7d 20 7b 32 20 34 20 38 7d  olumns.} {2 4 8}
04a0: 0a 0a 64 6f 5f 74 65 73 74 20 32 2e 31 20 7b 0a  ..do_test 2.1 {.
04b0: 20 20 6f 70 74 69 6d 69 7a 61 74 69 6f 6e 5f 63    optimization_c
04c0: 6f 6e 74 72 6f 6c 20 64 62 20 63 6f 76 65 72 2d  ontrol db cover-
04d0: 69 64 78 2d 73 63 61 6e 20 30 0a 20 20 64 62 20  idx-scan 0.  db 
04e0: 65 76 61 6c 20 7b 53 45 4c 45 43 54 20 61 20 46  eval {SELECT a F
04f0: 52 4f 4d 20 74 31 7d 0a 20 20 23 20 57 69 74 68  ROM t1}.  # With
0500: 20 74 68 65 20 6f 70 74 69 6d 69 7a 61 74 69 6f   the optimizatio
0510: 6e 20 74 75 72 6e 65 64 20 6f 66 66 2c 20 6f 75  n turned off, ou
0520: 74 70 75 74 20 69 6e 20 72 6f 77 69 64 20 6f 72  tput in rowid or
0530: 64 65 72 0a 7d 20 7b 35 20 34 20 33 7d 0a 64 6f  der.} {5 4 3}.do
0540: 5f 74 65 73 74 20 32 2e 32 20 7b 0a 20 20 64 62  _test 2.2 {.  db
0550: 20 65 76 61 6c 20 7b 53 45 4c 45 43 54 20 61 2c   eval {SELECT a,
0560: 20 63 20 46 52 4f 4d 20 74 31 7d 0a 7d 20 7b 35   c FROM t1}.} {5
0570: 20 33 20 34 20 32 20 33 20 31 7d 0a 64 6f 5f 74   3 4 2 3 1}.do_t
0580: 65 73 74 20 32 2e 33 20 7b 0a 20 20 64 62 20 65  est 2.3 {.  db e
0590: 76 61 6c 20 7b 53 45 4c 45 43 54 20 62 20 46 52  val {SELECT b FR
05a0: 4f 4d 20 74 31 7d 0a 7d 20 7b 34 20 38 20 32 7d  OM t1}.} {4 8 2}
05b0: 0a 0a 64 62 20 63 6c 6f 73 65 0a 73 71 6c 69 74  ..db close.sqlit
05c0: 65 33 5f 73 68 75 74 64 6f 77 6e 0a 73 71 6c 69  e3_shutdown.sqli
05d0: 74 65 33 5f 63 6f 6e 66 69 67 5f 63 69 73 20 30  te3_config_cis 0
05e0: 0a 73 71 6c 69 74 65 33 20 64 62 20 74 65 73 74  .sqlite3 db test
05f0: 2e 64 62 0a 0a 64 6f 5f 74 65 73 74 20 33 2e 31  .db..do_test 3.1
0600: 20 7b 0a 20 20 64 62 20 65 76 61 6c 20 7b 53 45   {.  db eval {SE
0610: 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31 7d 0a  LECT a FROM t1}.
0620: 20 20 23 20 57 69 74 68 20 74 68 65 20 6f 70 74    # With the opt
0630: 69 6d 69 7a 61 74 69 6f 6e 20 63 6f 6e 66 69 67  imization config
0640: 75 72 65 64 20 6f 66 66 2c 20 6f 75 74 70 75 74  ured off, output
0650: 20 69 6e 20 72 6f 77 69 64 20 6f 72 64 65 72 0a   in rowid order.
0660: 7d 20 7b 35 20 34 20 33 7d 0a 64 6f 5f 74 65 73  } {5 4 3}.do_tes
0670: 74 20 33 2e 32 20 7b 0a 20 20 64 62 20 65 76 61  t 3.2 {.  db eva
0680: 6c 20 7b 53 45 4c 45 43 54 20 61 2c 20 63 20 46  l {SELECT a, c F
0690: 52 4f 4d 20 74 31 7d 0a 7d 20 7b 35 20 33 20 34  ROM t1}.} {5 3 4
06a0: 20 32 20 33 20 31 7d 0a 64 6f 5f 74 65 73 74 20   2 3 1}.do_test 
06b0: 33 2e 33 20 7b 0a 20 20 64 62 20 65 76 61 6c 20  3.3 {.  db eval 
06c0: 7b 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20 74  {SELECT b FROM t
06d0: 31 7d 0a 7d 20 7b 34 20 38 20 32 7d 0a 0a 64 62  1}.} {4 8 2}..db
06e0: 20 63 6c 6f 73 65 0a 73 71 6c 69 74 65 33 5f 73   close.sqlite3_s
06f0: 68 75 74 64 6f 77 6e 0a 73 71 6c 69 74 65 33 5f  hutdown.sqlite3_
0700: 63 6f 6e 66 69 67 5f 63 69 73 20 31 0a 73 71 6c  config_cis 1.sql
0710: 69 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a  ite3 db test.db.
0720: 0a 23 20 54 68 65 20 43 49 53 20 6f 70 74 69 6d  .# The CIS optim
0730: 69 7a 61 74 69 6f 6e 20 69 73 20 65 6e 61 62 6c  ization is enabl
0740: 65 64 20 61 67 61 69 6e 2e 20 20 43 6f 76 65 72  ed again.  Cover
0750: 69 6e 67 20 69 6e 64 69 63 65 73 20 61 72 65 20  ing indices are 
0760: 6f 6e 63 65 20 61 67 61 69 6e 0a 23 20 75 73 65  once again.# use
0770: 64 20 66 6f 72 20 61 6c 6c 20 74 61 62 6c 65 20  d for all table 
0780: 73 63 61 6e 73 2e 0a 64 6f 5f 74 65 73 74 20 34  scans..do_test 4
0790: 2e 31 20 7b 0a 20 20 64 62 20 65 76 61 6c 20 7b  .1 {.  db eval {
07a0: 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31  SELECT a FROM t1
07b0: 7d 0a 7d 20 7b 33 20 34 20 35 7d 0a 64 6f 5f 74  }.} {3 4 5}.do_t
07c0: 65 73 74 20 34 2e 32 20 7b 0a 20 20 64 62 20 65  est 4.2 {.  db e
07d0: 76 61 6c 20 7b 53 45 4c 45 43 54 20 61 2c 20 63  val {SELECT a, c
07e0: 20 46 52 4f 4d 20 74 31 7d 0a 7d 20 7b 35 20 33   FROM t1}.} {5 3
07f0: 20 34 20 32 20 33 20 31 7d 0a 64 6f 5f 74 65 73   4 2 3 1}.do_tes
0800: 74 20 34 2e 33 20 7b 0a 20 20 64 62 20 65 76 61  t 4.3 {.  db eva
0810: 6c 20 7b 53 45 4c 45 43 54 20 62 20 46 52 4f 4d  l {SELECT b FROM
0820: 20 74 31 7d 0a 7d 20 7b 32 20 34 20 38 7d 0a 0a   t1}.} {2 4 8}..
0830: 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  #---------------
0840: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0850: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0860: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0870: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 65 73  ----------.# Tes
0880: 74 20 74 68 61 74 20 69 6e 64 65 78 65 73 20 77  t that indexes w
0890: 69 74 68 20 6c 61 72 67 65 20 6e 75 6d 62 65 72  ith large number
08a0: 73 20 6f 66 20 63 6f 6c 75 6d 6e 73 20 63 61 6e  s of columns can
08b0: 20 62 65 20 63 6f 72 72 65 63 74 6c 79 20 0a 23   be correctly .#
08c0: 20 69 64 65 6e 74 69 66 69 65 64 20 61 73 20 63   identified as c
08d0: 6f 76 65 72 69 6e 67 20 69 6e 64 65 78 65 73 2e  overing indexes.
08e0: 0a 72 65 73 65 74 5f 64 62 0a 73 65 74 20 4c 20  .reset_db.set L 
08f0: 5b 6c 69 73 74 5d 0a 66 6f 72 20 7b 73 65 74 20  [list].for {set 
0900: 69 20 31 7d 20 7b 24 69 3c 31 32 30 7d 20 7b 69  i 1} {$i<120} {i
0910: 6e 63 72 20 69 7d 20 7b 0a 20 20 6c 61 70 70 65  ncr i} {.  lappe
0920: 6e 64 20 4c 20 22 63 24 69 22 0a 7d 0a 73 65 74  nd L "c$i".}.set
0930: 20 63 6f 6c 73 20 5b 6a 6f 69 6e 20 24 4c 20 2c   cols [join $L ,
0940: 5d 0a 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  ]..do_execsql_te
0950: 73 74 20 35 2e 31 2e 30 20 22 0a 20 20 43 52 45  st 5.1.0 ".  CRE
0960: 41 54 45 20 54 41 42 4c 45 20 74 31 28 61 2c 20  ATE TABLE t1(a, 
0970: 62 2c 20 63 2c 20 24 63 6f 6c 73 2c 20 50 52 49  b, c, $cols, PRI
0980: 4d 41 52 59 20 4b 45 59 28 61 2c 20 62 2c 20 63  MARY KEY(a, b, c
0990: 29 29 20 57 49 54 48 4f 55 54 20 52 4f 57 49 44  )) WITHOUT ROWID
09a0: 3b 0a 20 20 43 52 45 41 54 45 20 49 4e 44 45 58  ;.  CREATE INDEX
09b0: 20 69 31 20 4f 4e 20 74 31 28 24 63 6f 6c 73 29   i1 ON t1($cols)
09c0: 3b 0a 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c  ;..  CREATE TABL
09d0: 45 20 74 32 28 69 20 49 4e 54 45 47 45 52 20 50  E t2(i INTEGER P
09e0: 52 49 4d 41 52 59 20 4b 45 59 2c 20 24 63 6f 6c  RIMARY KEY, $col
09f0: 73 29 3b 0a 20 20 43 52 45 41 54 45 20 49 4e 44  s);.  CREATE IND
0a00: 45 58 20 69 32 20 4f 4e 20 74 32 28 24 63 6f 6c  EX i2 ON t2($col
0a10: 73 29 3b 0a 22 0a 0a 64 6f 5f 65 71 70 5f 74 65  s);."..do_eqp_te
0a20: 73 74 20 35 2e 31 2e 31 20 7b 0a 20 20 53 45 4c  st 5.1.1 {.  SEL
0a30: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 4f 52  ECT * FROM t1 OR
0a40: 44 45 52 20 42 59 20 63 31 2c 20 63 32 3b 0a 7d  DER BY c1, c2;.}
0a50: 20 7b 53 43 41 4e 20 54 41 42 4c 45 20 74 31 20   {SCAN TABLE t1 
0a60: 55 53 49 4e 47 20 43 4f 56 45 52 49 4e 47 20 49  USING COVERING I
0a70: 4e 44 45 58 20 69 31 7d 0a 0a 64 6f 5f 65 71 70  NDEX i1}..do_eqp
0a80: 5f 74 65 73 74 20 35 2e 31 2e 32 20 7b 0a 20 20  _test 5.1.2 {.  
0a90: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32  SELECT * FROM t2
0aa0: 20 4f 52 44 45 52 20 42 59 20 63 31 2c 20 63 32   ORDER BY c1, c2
0ab0: 3b 0a 7d 20 7b 53 43 41 4e 20 54 41 42 4c 45 20  ;.} {SCAN TABLE 
0ac0: 74 32 20 55 53 49 4e 47 20 43 4f 56 45 52 49 4e  t2 USING COVERIN
0ad0: 47 20 49 4e 44 45 58 20 69 32 7d 0a 0a 0a 66 69  G INDEX i2}...fi
0ae0: 6e 69 73 68 5f 74 65 73 74 0a                    nish_test.