/ Hex Artifact Content
Login

Artifact 917cf1e1c7439bb155abbeabec511b28945e157b:


0000: 23 20 32 30 31 33 2d 31 31 2d 30 34 0a 23 0a 23  # 2013-11-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 0a 23 20 54 65 73 74 20 63 61 73 65  **.#.# Test case
0170: 73 20 66 6f 72 20 70 61 72 74 69 61 6c 20 69 6e  s for partial in
0180: 64 69 63 65 73 20 69 6e 20 57 49 54 48 4f 55 54  dices in WITHOUT
0190: 20 52 4f 57 49 44 20 74 61 62 6c 65 73 0a 23 0a   ROWID tables.#.
01a0: 0a 0a 73 65 74 20 74 65 73 74 64 69 72 20 5b 66  ..set testdir [f
01b0: 69 6c 65 20 64 69 72 6e 61 6d 65 20 24 61 72 67  ile dirname $arg
01c0: 76 30 5d 0a 73 6f 75 72 63 65 20 24 74 65 73 74  v0].source $test
01d0: 64 69 72 2f 74 65 73 74 65 72 2e 74 63 6c 0a 0a  dir/tester.tcl..
01e0: 69 66 63 61 70 61 62 6c 65 20 21 76 74 61 62 20  ifcapable !vtab 
01f0: 7b 0a 20 20 66 69 6e 69 73 68 5f 74 65 73 74 0a  {.  finish_test.
0200: 20 20 72 65 74 75 72 6e 0a 7d 0a 0a 6c 6f 61 64    return.}..load
0210: 5f 73 74 61 74 69 63 5f 65 78 74 65 6e 73 69 6f  _static_extensio
0220: 6e 20 64 62 20 77 68 6f 6c 65 6e 75 6d 62 65 72  n db wholenumber
0230: 3b 0a 64 6f 5f 74 65 73 74 20 69 6e 64 65 78 37  ;.do_test index7
0240: 2d 31 2e 31 20 7b 0a 20 20 23 20 41 62 6c 65 20  -1.1 {.  # Able 
0250: 74 6f 20 70 61 72 73 65 20 61 6e 64 20 6d 61 6e  to parse and man
0260: 61 67 65 20 70 61 72 74 69 61 6c 20 69 6e 64 69  age partial indi
0270: 63 65 73 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  ces.  execsql {.
0280: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
0290: 20 74 31 28 61 2c 62 2c 63 20 50 52 49 4d 41 52   t1(a,b,c PRIMAR
02a0: 59 20 4b 45 59 29 20 57 49 54 48 4f 55 54 20 72  Y KEY) WITHOUT r
02b0: 6f 77 69 64 3b 0a 20 20 20 20 43 52 45 41 54 45  owid;.    CREATE
02c0: 20 49 4e 44 45 58 20 74 31 61 20 4f 4e 20 74 31   INDEX t1a ON t1
02d0: 28 61 29 20 57 48 45 52 45 20 61 20 49 53 20 4e  (a) WHERE a IS N
02e0: 4f 54 20 4e 55 4c 4c 3b 0a 20 20 20 20 43 52 45  OT NULL;.    CRE
02f0: 41 54 45 20 49 4e 44 45 58 20 74 31 62 20 4f 4e  ATE INDEX t1b ON
0300: 20 74 31 28 62 29 20 57 48 45 52 45 20 62 3e 31   t1(b) WHERE b>1
0310: 30 3b 0a 20 20 20 20 43 52 45 41 54 45 20 56 49  0;.    CREATE VI
0320: 52 54 55 41 4c 20 54 41 42 4c 45 20 6e 75 6d 73  RTUAL TABLE nums
0330: 20 55 53 49 4e 47 20 77 68 6f 6c 65 6e 75 6d 62   USING wholenumb
0340: 65 72 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  er;.    INSERT I
0350: 4e 54 4f 20 74 31 28 61 2c 62 2c 63 29 0a 20 20  NTO t1(a,b,c).  
0360: 20 20 20 20 20 53 45 4c 45 43 54 20 43 41 53 45       SELECT CASE
0370: 20 57 48 45 4e 20 76 61 6c 75 65 25 33 21 3d 30   WHEN value%3!=0
0380: 20 54 48 45 4e 20 76 61 6c 75 65 20 45 4e 44 2c   THEN value END,
0390: 20 76 61 6c 75 65 2c 20 76 61 6c 75 65 0a 20 20   value, value.  
03a0: 20 20 20 20 20 20 20 46 52 4f 4d 20 6e 75 6d 73         FROM nums
03b0: 20 57 48 45 52 45 20 76 61 6c 75 65 3c 3d 32 30   WHERE value<=20
03c0: 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 63 6f 75  ;.    SELECT cou
03d0: 6e 74 28 61 29 2c 20 63 6f 75 6e 74 28 62 29 20  nt(a), count(b) 
03e0: 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 50 52 41  FROM t1;.    PRA
03f0: 47 4d 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68  GMA integrity_ch
0400: 65 63 6b 3b 0a 20 20 7d 0a 7d 20 7b 31 34 20 32  eck;.  }.} {14 2
0410: 30 20 6f 6b 7d 0a 0a 23 20 4d 61 6b 65 20 73 75  0 ok}..# Make su
0420: 72 65 20 74 68 65 20 63 6f 75 6e 74 28 2a 29 20  re the count(*) 
0430: 6f 70 74 69 6d 69 7a 61 74 69 6f 6e 20 77 6f 72  optimization wor
0440: 6b 73 20 63 6f 72 72 65 63 74 6c 79 20 77 69 74  ks correctly wit
0450: 68 0a 23 20 70 61 72 74 69 61 6c 20 69 6e 64 69  h.# partial indi
0460: 63 65 73 2e 20 20 54 69 63 6b 65 74 20 5b 61 35  ces.  Ticket [a5
0470: 63 38 65 64 36 36 63 61 65 31 36 32 34 33 62 65  c8ed66cae16243be
0480: 36 5d 20 32 30 31 33 2d 31 30 2d 30 33 2e 0a 23  6] 2013-10-03..#
0490: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74  .do_execsql_test
04a0: 20 69 6e 64 65 78 37 2d 31 2e 31 2e 31 20 7b 0a   index7-1.1.1 {.
04b0: 20 20 53 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a    SELECT count(*
04c0: 29 20 46 52 4f 4d 20 74 31 3b 0a 7d 20 7b 32 30  ) FROM t1;.} {20
04d0: 7d 0a 0a 23 20 45 72 72 6f 72 20 63 6f 6e 64 69  }..# Error condi
04e0: 74 69 6f 6e 73 20 64 75 72 69 6e 67 20 70 61 72  tions during par
04f0: 73 69 6e 67 2e 2e 2e 0a 23 0a 64 6f 5f 74 65 73  sing....#.do_tes
0500: 74 20 69 6e 64 65 78 37 2d 31 2e 32 20 7b 0a 20  t index7-1.2 {. 
0510: 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20   catchsql {.    
0520: 43 52 45 41 54 45 20 49 4e 44 45 58 20 62 61 64  CREATE INDEX bad
0530: 31 20 4f 4e 20 74 31 28 61 2c 62 29 20 57 48 45  1 ON t1(a,b) WHE
0540: 52 45 20 78 20 49 53 20 4e 4f 54 20 4e 55 4c 4c  RE x IS NOT NULL
0550: 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 6e 6f 20 73  ;.  }.} {1 {no s
0560: 75 63 68 20 63 6f 6c 75 6d 6e 3a 20 78 7d 7d 0a  uch column: x}}.
0570: 64 6f 5f 74 65 73 74 20 69 6e 64 65 78 37 2d 31  do_test index7-1
0580: 2e 33 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20  .3 {.  catchsql 
0590: 7b 0a 20 20 20 20 43 52 45 41 54 45 20 49 4e 44  {.    CREATE IND
05a0: 45 58 20 62 61 64 31 20 4f 4e 20 74 31 28 61 2c  EX bad1 ON t1(a,
05b0: 62 29 20 57 48 45 52 45 20 45 58 49 53 54 53 28  b) WHERE EXISTS(
05c0: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
05d0: 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 73 75 62  );.  }.} {1 {sub
05e0: 71 75 65 72 69 65 73 20 70 72 6f 68 69 62 69 74  queries prohibit
05f0: 65 64 20 69 6e 20 70 61 72 74 69 61 6c 20 69 6e  ed in partial in
0600: 64 65 78 20 57 48 45 52 45 20 63 6c 61 75 73 65  dex WHERE clause
0610: 73 7d 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 64 65  s}}.do_test inde
0620: 78 37 2d 31 2e 34 20 7b 0a 20 20 63 61 74 63 68  x7-1.4 {.  catch
0630: 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45  sql {.    CREATE
0640: 20 49 4e 44 45 58 20 62 61 64 31 20 4f 4e 20 74   INDEX bad1 ON t
0650: 31 28 61 2c 62 29 20 57 48 45 52 45 20 61 21 3d  1(a,b) WHERE a!=
0660: 3f 31 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 70 61  ?1;.  }.} {1 {pa
0670: 72 61 6d 65 74 65 72 73 20 70 72 6f 68 69 62 69  rameters prohibi
0680: 74 65 64 20 69 6e 20 70 61 72 74 69 61 6c 20 69  ted in partial i
0690: 6e 64 65 78 20 57 48 45 52 45 20 63 6c 61 75 73  ndex WHERE claus
06a0: 65 73 7d 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 64  es}}.do_test ind
06b0: 65 78 37 2d 31 2e 35 20 7b 0a 20 20 63 61 74 63  ex7-1.5 {.  catc
06c0: 68 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54  hsql {.    CREAT
06d0: 45 20 49 4e 44 45 58 20 62 61 64 31 20 4f 4e 20  E INDEX bad1 ON 
06e0: 74 31 28 61 2c 62 29 20 57 48 45 52 45 20 61 21  t1(a,b) WHERE a!
06f0: 3d 72 61 6e 64 6f 6d 28 29 3b 0a 20 20 7d 0a 7d  =random();.  }.}
0700: 20 7b 31 20 7b 66 75 6e 63 74 69 6f 6e 73 20 70   {1 {functions p
0710: 72 6f 68 69 62 69 74 65 64 20 69 6e 20 70 61 72  rohibited in par
0720: 74 69 61 6c 20 69 6e 64 65 78 20 57 48 45 52 45  tial index WHERE
0730: 20 63 6c 61 75 73 65 73 7d 7d 0a 64 6f 5f 74 65   clauses}}.do_te
0740: 73 74 20 69 6e 64 65 78 37 2d 31 2e 36 20 7b 0a  st index7-1.6 {.
0750: 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20    catchsql {.   
0760: 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 62 61   CREATE INDEX ba
0770: 64 31 20 4f 4e 20 74 31 28 61 2c 62 29 20 57 48  d1 ON t1(a,b) WH
0780: 45 52 45 20 61 20 4e 4f 54 20 4c 49 4b 45 20 27  ERE a NOT LIKE '
0790: 61 62 63 25 27 3b 0a 20 20 7d 0a 7d 20 7b 31 20  abc%';.  }.} {1 
07a0: 7b 66 75 6e 63 74 69 6f 6e 73 20 70 72 6f 68 69  {functions prohi
07b0: 62 69 74 65 64 20 69 6e 20 70 61 72 74 69 61 6c  bited in partial
07c0: 20 69 6e 64 65 78 20 57 48 45 52 45 20 63 6c 61   index WHERE cla
07d0: 75 73 65 73 7d 7d 0a 0a 64 6f 5f 74 65 73 74 20  uses}}..do_test 
07e0: 69 6e 64 65 78 37 2d 31 2e 31 30 20 7b 0a 20 20  index7-1.10 {.  
07f0: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 41 4e  execsql {.    AN
0800: 41 4c 59 5a 45 3b 0a 20 20 20 20 53 45 4c 45 43  ALYZE;.    SELEC
0810: 54 20 69 64 78 2c 20 73 74 61 74 20 46 52 4f 4d  T idx, stat FROM
0820: 20 73 71 6c 69 74 65 5f 73 74 61 74 31 20 4f 52   sqlite_stat1 OR
0830: 44 45 52 20 42 59 20 69 64 78 3b 0a 20 20 20 20  DER BY idx;.    
0840: 50 52 41 47 4d 41 20 69 6e 74 65 67 72 69 74 79  PRAGMA integrity
0850: 5f 63 68 65 63 6b 3b 0a 20 20 7d 0a 7d 20 7b 74  _check;.  }.} {t
0860: 31 20 7b 32 30 20 31 7d 20 74 31 61 20 7b 31 34  1 {20 1} t1a {14
0870: 20 31 7d 20 74 31 62 20 7b 31 30 20 31 7d 20 6f   1} t1b {10 1} o
0880: 6b 7d 0a 0a 23 20 53 54 41 54 31 20 73 68 6f 77  k}..# STAT1 show
0890: 73 20 74 68 65 20 70 61 72 74 69 61 6c 20 69 6e  s the partial in
08a0: 64 69 63 65 73 20 68 61 76 65 20 61 20 72 65 64  dices have a red
08b0: 75 63 65 64 20 6e 75 6d 62 65 72 20 6f 66 0a 23  uced number of.#
08c0: 20 72 6f 77 73 2e 0a 23 0a 64 6f 5f 74 65 73 74   rows..#.do_test
08d0: 20 69 6e 64 65 78 37 2d 31 2e 31 31 20 7b 0a 20   index7-1.11 {. 
08e0: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 55   execsql {.    U
08f0: 50 44 41 54 45 20 74 31 20 53 45 54 20 61 3d 62  PDATE t1 SET a=b
0900: 3b 0a 20 20 20 20 41 4e 41 4c 59 5a 45 3b 0a 20  ;.    ANALYZE;. 
0910: 20 20 20 53 45 4c 45 43 54 20 69 64 78 2c 20 73     SELECT idx, s
0920: 74 61 74 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f  tat FROM sqlite_
0930: 73 74 61 74 31 20 4f 52 44 45 52 20 42 59 20 69  stat1 ORDER BY i
0940: 64 78 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 69  dx;.    PRAGMA i
0950: 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b 3b 0a  ntegrity_check;.
0960: 20 20 7d 0a 7d 20 7b 74 31 20 7b 32 30 20 31 7d    }.} {t1 {20 1}
0970: 20 74 31 61 20 7b 32 30 20 31 7d 20 74 31 62 20   t1a {20 1} t1b 
0980: 7b 31 30 20 31 7d 20 6f 6b 7d 0a 0a 64 6f 5f 74  {10 1} ok}..do_t
0990: 65 73 74 20 69 6e 64 65 78 37 2d 31 2e 31 31 62  est index7-1.11b
09a0: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20   {.  execsql {. 
09b0: 20 20 20 55 50 44 41 54 45 20 74 31 20 53 45 54     UPDATE t1 SET
09c0: 20 61 3d 4e 55 4c 4c 20 57 48 45 52 45 20 62 25   a=NULL WHERE b%
09d0: 33 21 3d 30 3b 0a 20 20 20 20 55 50 44 41 54 45  3!=0;.    UPDATE
09e0: 20 74 31 20 53 45 54 20 62 3d 62 2b 31 30 30 3b   t1 SET b=b+100;
09f0: 0a 20 20 20 20 41 4e 41 4c 59 5a 45 3b 0a 20 20  .    ANALYZE;.  
0a00: 20 20 53 45 4c 45 43 54 20 69 64 78 2c 20 73 74    SELECT idx, st
0a10: 61 74 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 73  at FROM sqlite_s
0a20: 74 61 74 31 20 4f 52 44 45 52 20 42 59 20 69 64  tat1 ORDER BY id
0a30: 78 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 69 6e  x;.    PRAGMA in
0a40: 74 65 67 72 69 74 79 5f 63 68 65 63 6b 3b 0a 20  tegrity_check;. 
0a50: 20 7d 0a 7d 20 7b 74 31 20 7b 32 30 20 31 7d 20   }.} {t1 {20 1} 
0a60: 74 31 61 20 7b 36 20 31 7d 20 74 31 62 20 7b 32  t1a {6 1} t1b {2
0a70: 30 20 31 7d 20 6f 6b 7d 0a 0a 64 6f 5f 74 65 73  0 1} ok}..do_tes
0a80: 74 20 69 6e 64 65 78 37 2d 31 2e 31 32 20 7b 0a  t index7-1.12 {.
0a90: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
0aa0: 55 50 44 41 54 45 20 74 31 20 53 45 54 20 61 3d  UPDATE t1 SET a=
0ab0: 43 41 53 45 20 57 48 45 4e 20 62 25 33 21 3d 30  CASE WHEN b%3!=0
0ac0: 20 54 48 45 4e 20 62 20 45 4e 44 3b 0a 20 20 20   THEN b END;.   
0ad0: 20 55 50 44 41 54 45 20 74 31 20 53 45 54 20 62   UPDATE t1 SET b
0ae0: 3d 62 2d 31 30 30 3b 0a 20 20 20 20 41 4e 41 4c  =b-100;.    ANAL
0af0: 59 5a 45 3b 0a 20 20 20 20 53 45 4c 45 43 54 20  YZE;.    SELECT 
0b00: 69 64 78 2c 20 73 74 61 74 20 46 52 4f 4d 20 73  idx, stat FROM s
0b10: 71 6c 69 74 65 5f 73 74 61 74 31 20 4f 52 44 45  qlite_stat1 ORDE
0b20: 52 20 42 59 20 69 64 78 3b 0a 20 20 20 20 50 52  R BY idx;.    PR
0b30: 41 47 4d 41 20 69 6e 74 65 67 72 69 74 79 5f 63  AGMA integrity_c
0b40: 68 65 63 6b 3b 0a 20 20 7d 0a 7d 20 7b 74 31 20  heck;.  }.} {t1 
0b50: 7b 32 30 20 31 7d 20 74 31 61 20 7b 31 33 20 31  {20 1} t1a {13 1
0b60: 7d 20 74 31 62 20 7b 31 30 20 31 7d 20 6f 6b 7d  } t1b {10 1} ok}
0b70: 0a 0a 64 6f 5f 74 65 73 74 20 69 6e 64 65 78 37  ..do_test index7
0b80: 2d 31 2e 31 33 20 7b 0a 20 20 65 78 65 63 73 71  -1.13 {.  execsq
0b90: 6c 20 7b 0a 20 20 20 20 44 45 4c 45 54 45 20 46  l {.    DELETE F
0ba0: 52 4f 4d 20 74 31 20 57 48 45 52 45 20 62 20 42  ROM t1 WHERE b B
0bb0: 45 54 57 45 45 4e 20 38 20 41 4e 44 20 31 32 3b  ETWEEN 8 AND 12;
0bc0: 0a 20 20 20 20 41 4e 41 4c 59 5a 45 3b 0a 20 20  .    ANALYZE;.  
0bd0: 20 20 53 45 4c 45 43 54 20 69 64 78 2c 20 73 74    SELECT idx, st
0be0: 61 74 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 73  at FROM sqlite_s
0bf0: 74 61 74 31 20 4f 52 44 45 52 20 42 59 20 69 64  tat1 ORDER BY id
0c00: 78 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 69 6e  x;.    PRAGMA in
0c10: 74 65 67 72 69 74 79 5f 63 68 65 63 6b 3b 0a 20  tegrity_check;. 
0c20: 20 7d 0a 7d 20 7b 74 31 20 7b 31 35 20 31 7d 20   }.} {t1 {15 1} 
0c30: 74 31 61 20 7b 31 30 20 31 7d 20 74 31 62 20 7b  t1a {10 1} t1b {
0c40: 38 20 31 7d 20 6f 6b 7d 0a 0a 64 6f 5f 74 65 73  8 1} ok}..do_tes
0c50: 74 20 69 6e 64 65 78 37 2d 31 2e 31 34 20 7b 0a  t index7-1.14 {.
0c60: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
0c70: 52 45 49 4e 44 45 58 3b 0a 20 20 20 20 41 4e 41  REINDEX;.    ANA
0c80: 4c 59 5a 45 3b 0a 20 20 20 20 53 45 4c 45 43 54  LYZE;.    SELECT
0c90: 20 69 64 78 2c 20 73 74 61 74 20 46 52 4f 4d 20   idx, stat FROM 
0ca0: 73 71 6c 69 74 65 5f 73 74 61 74 31 20 4f 52 44  sqlite_stat1 ORD
0cb0: 45 52 20 42 59 20 69 64 78 3b 0a 20 20 20 20 50  ER BY idx;.    P
0cc0: 52 41 47 4d 41 20 69 6e 74 65 67 72 69 74 79 5f  RAGMA integrity_
0cd0: 63 68 65 63 6b 3b 0a 20 20 7d 0a 7d 20 7b 74 31  check;.  }.} {t1
0ce0: 20 7b 31 35 20 31 7d 20 74 31 61 20 7b 31 30 20   {15 1} t1a {10 
0cf0: 31 7d 20 74 31 62 20 7b 38 20 31 7d 20 6f 6b 7d  1} t1b {8 1} ok}
0d00: 0a 0a 64 6f 5f 74 65 73 74 20 69 6e 64 65 78 37  ..do_test index7
0d10: 2d 31 2e 31 35 20 7b 0a 20 20 65 78 65 63 73 71  -1.15 {.  execsq
0d20: 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20 49  l {.    CREATE I
0d30: 4e 44 45 58 20 74 31 63 20 4f 4e 20 74 31 28 63  NDEX t1c ON t1(c
0d40: 29 3b 0a 20 20 20 20 41 4e 41 4c 59 5a 45 3b 0a  );.    ANALYZE;.
0d50: 20 20 20 20 53 45 4c 45 43 54 20 69 64 78 2c 20      SELECT idx, 
0d60: 73 74 61 74 20 46 52 4f 4d 20 73 71 6c 69 74 65  stat FROM sqlite
0d70: 5f 73 74 61 74 31 20 4f 52 44 45 52 20 42 59 20  _stat1 ORDER BY 
0d80: 69 64 78 3b 0a 20 20 20 20 50 52 41 47 4d 41 20  idx;.    PRAGMA 
0d90: 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b 3b  integrity_check;
0da0: 0a 20 20 7d 0a 7d 20 7b 74 31 20 7b 31 35 20 31  .  }.} {t1 {15 1
0db0: 7d 20 74 31 61 20 7b 31 30 20 31 7d 20 74 31 62  } t1a {10 1} t1b
0dc0: 20 7b 38 20 31 7d 20 74 31 63 20 7b 31 35 20 31   {8 1} t1c {15 1
0dd0: 7d 20 6f 6b 7d 0a 0a 23 20 51 75 65 72 69 65 73  } ok}..# Queries
0de0: 20 75 73 65 20 70 61 72 74 69 61 6c 20 69 6e 64   use partial ind
0df0: 69 63 65 73 20 61 73 20 61 70 70 72 6f 70 72 69  ices as appropri
0e00: 61 74 65 20 74 69 6d 65 73 2e 0a 23 0a 64 6f 5f  ate times..#.do_
0e10: 74 65 73 74 20 69 6e 64 65 78 37 2d 32 2e 31 20  test index7-2.1 
0e20: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  {.  execsql {.  
0e30: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
0e40: 32 28 61 2c 62 20 50 52 49 4d 41 52 59 20 4b 45  2(a,b PRIMARY KE
0e50: 59 29 20 77 69 74 68 6f 75 74 20 72 6f 77 69 64  Y) without rowid
0e60: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
0e70: 4f 20 74 32 28 61 2c 62 29 20 53 45 4c 45 43 54  O t2(a,b) SELECT
0e80: 20 76 61 6c 75 65 2c 20 76 61 6c 75 65 20 46 52   value, value FR
0e90: 4f 4d 20 6e 75 6d 73 20 57 48 45 52 45 20 76 61  OM nums WHERE va
0ea0: 6c 75 65 3c 31 30 30 30 3b 0a 20 20 20 20 55 50  lue<1000;.    UP
0eb0: 44 41 54 45 20 74 32 20 53 45 54 20 61 3d 4e 55  DATE t2 SET a=NU
0ec0: 4c 4c 20 57 48 45 52 45 20 62 25 35 3d 3d 30 3b  LL WHERE b%5==0;
0ed0: 0a 20 20 20 20 43 52 45 41 54 45 20 49 4e 44 45  .    CREATE INDE
0ee0: 58 20 74 32 61 31 20 4f 4e 20 74 32 28 61 29 20  X t2a1 ON t2(a) 
0ef0: 57 48 45 52 45 20 61 20 49 53 20 4e 4f 54 20 4e  WHERE a IS NOT N
0f00: 55 4c 4c 3b 0a 20 20 20 20 53 45 4c 45 43 54 20  ULL;.    SELECT 
0f10: 63 6f 75 6e 74 28 2a 29 20 46 52 4f 4d 20 74 32  count(*) FROM t2
0f20: 20 57 48 45 52 45 20 61 20 49 53 20 4e 4f 54 20   WHERE a IS NOT 
0f30: 4e 55 4c 4c 3b 0a 20 20 7d 0a 7d 20 7b 38 30 30  NULL;.  }.} {800
0f40: 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 64 65 78 37  }.do_test index7
0f50: 2d 32 2e 32 20 7b 0a 20 20 65 78 65 63 73 71 6c  -2.2 {.  execsql
0f60: 20 7b 0a 20 20 20 20 45 58 50 4c 41 49 4e 20 51   {.    EXPLAIN Q
0f70: 55 45 52 59 20 50 4c 41 4e 0a 20 20 20 20 53 45  UERY PLAN.    SE
0f80: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 20 57  LECT * FROM t2 W
0f90: 48 45 52 45 20 61 3d 35 3b 0a 20 20 7d 0a 7d 20  HERE a=5;.  }.} 
0fa0: 7b 2f 2e 2a 20 54 41 42 4c 45 20 74 32 20 55 53  {/.* TABLE t2 US
0fb0: 49 4e 47 20 43 4f 56 45 52 49 4e 47 20 49 4e 44  ING COVERING IND
0fc0: 45 58 20 74 32 61 31 20 2e 2a 2f 7d 0a 69 66 63  EX t2a1 .*/}.ifc
0fd0: 61 70 61 62 6c 65 20 73 74 61 74 34 7c 7c 73 74  apable stat4||st
0fe0: 61 74 33 20 7b 0a 20 20 64 6f 5f 74 65 73 74 20  at3 {.  do_test 
0ff0: 69 6e 64 65 78 37 2d 32 2e 33 73 74 61 74 34 20  index7-2.3stat4 
1000: 7b 0a 20 20 20 20 65 78 65 63 73 71 6c 20 7b 0a  {.    execsql {.
1010: 20 20 20 20 20 20 45 58 50 4c 41 49 4e 20 51 55        EXPLAIN QU
1020: 45 52 59 20 50 4c 41 4e 0a 20 20 20 20 20 20 53  ERY PLAN.      S
1030: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 20  ELECT * FROM t2 
1040: 57 48 45 52 45 20 61 20 49 53 20 4e 4f 54 20 4e  WHERE a IS NOT N
1050: 55 4c 4c 3b 0a 20 20 20 20 7d 0a 20 20 7d 20 7b  ULL;.    }.  } {
1060: 2f 2e 2a 20 54 41 42 4c 45 20 74 32 20 55 53 49  /.* TABLE t2 USI
1070: 4e 47 20 43 4f 56 45 52 49 4e 47 20 49 4e 44 45  NG COVERING INDE
1080: 58 20 74 32 61 31 20 2e 2a 2f 7d 0a 7d 20 65 6c  X t2a1 .*/}.} el
1090: 73 65 20 7b 0a 20 20 64 6f 5f 74 65 73 74 20 69  se {.  do_test i
10a0: 6e 64 65 78 37 2d 32 2e 33 73 74 61 74 34 20 7b  ndex7-2.3stat4 {
10b0: 0a 20 20 20 20 65 78 65 63 73 71 6c 20 7b 0a 20  .    execsql {. 
10c0: 20 20 20 20 20 45 58 50 4c 41 49 4e 20 51 55 45       EXPLAIN QUE
10d0: 52 59 20 50 4c 41 4e 0a 20 20 20 20 20 20 53 45  RY PLAN.      SE
10e0: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 20 57  LECT * FROM t2 W
10f0: 48 45 52 45 20 61 20 49 53 20 4e 4f 54 20 4e 55  HERE a IS NOT NU
1100: 4c 4c 20 41 4e 44 20 61 3e 30 3b 0a 20 20 20 20  LL AND a>0;.    
1110: 7d 0a 20 20 7d 20 7b 2f 2e 2a 20 54 41 42 4c 45  }.  } {/.* TABLE
1120: 20 74 32 20 55 53 49 4e 47 20 43 4f 56 45 52 49   t2 USING COVERI
1130: 4e 47 20 49 4e 44 45 58 20 74 32 61 31 20 2e 2a  NG INDEX t2a1 .*
1140: 2f 7d 0a 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 64  /}.}.do_test ind
1150: 65 78 37 2d 32 2e 34 20 7b 0a 20 20 65 78 65 63  ex7-2.4 {.  exec
1160: 73 71 6c 20 7b 0a 20 20 20 20 45 58 50 4c 41 49  sql {.    EXPLAI
1170: 4e 20 51 55 45 52 59 20 50 4c 41 4e 0a 20 20 20  N QUERY PLAN.   
1180: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
1190: 32 20 57 48 45 52 45 20 61 20 49 53 20 4e 55 4c  2 WHERE a IS NUL
11a0: 4c 3b 0a 20 20 7d 0a 7d 20 7b 7e 2f 2e 2a 49 4e  L;.  }.} {~/.*IN
11b0: 44 45 58 20 74 32 61 31 2e 2a 2f 7d 0a 0a 64 6f  DEX t2a1.*/}..do
11c0: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 69 6e  _execsql_test in
11d0: 64 65 78 37 2d 32 2e 31 30 31 20 7b 0a 20 20 44  dex7-2.101 {.  D
11e0: 52 4f 50 20 49 4e 44 45 58 20 74 32 61 31 3b 0a  ROP INDEX t2a1;.
11f0: 20 20 55 50 44 41 54 45 20 74 32 20 53 45 54 20    UPDATE t2 SET 
1200: 61 3d 62 2c 20 62 3d 62 2b 31 30 30 30 30 3b 0a  a=b, b=b+10000;.
1210: 20 20 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20    SELECT b FROM 
1220: 74 32 20 57 48 45 52 45 20 61 3d 31 35 3b 0a 7d  t2 WHERE a=15;.}
1230: 20 7b 31 30 30 31 35 7d 0a 64 6f 5f 65 78 65 63   {10015}.do_exec
1240: 73 71 6c 5f 74 65 73 74 20 69 6e 64 65 78 37 2d  sql_test index7-
1250: 32 2e 31 30 32 20 7b 0a 20 20 43 52 45 41 54 45  2.102 {.  CREATE
1260: 20 49 4e 44 45 58 20 74 32 61 32 20 4f 4e 20 74   INDEX t2a2 ON t
1270: 32 28 61 29 20 57 48 45 52 45 20 61 3c 31 30 30  2(a) WHERE a<100
1280: 20 4f 52 20 61 3e 32 30 30 3b 0a 20 20 53 45 4c   OR a>200;.  SEL
1290: 45 43 54 20 62 20 46 52 4f 4d 20 74 32 20 57 48  ECT b FROM t2 WH
12a0: 45 52 45 20 61 3d 31 35 3b 0a 20 20 50 52 41 47  ERE a=15;.  PRAG
12b0: 4d 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68 65  MA integrity_che
12c0: 63 6b 3b 0a 7d 20 7b 31 30 30 31 35 20 6f 6b 7d  ck;.} {10015 ok}
12d0: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74  .do_execsql_test
12e0: 20 69 6e 64 65 78 37 2d 32 2e 31 30 32 65 71 70   index7-2.102eqp
12f0: 20 7b 0a 20 20 45 58 50 4c 41 49 4e 20 51 55 45   {.  EXPLAIN QUE
1300: 52 59 20 50 4c 41 4e 0a 20 20 53 45 4c 45 43 54  RY PLAN.  SELECT
1310: 20 62 20 46 52 4f 4d 20 74 32 20 57 48 45 52 45   b FROM t2 WHERE
1320: 20 61 3d 31 35 3b 0a 7d 20 7b 7e 2f 2e 2a 49 4e   a=15;.} {~/.*IN
1330: 44 45 58 20 74 32 61 32 2e 2a 2f 7d 0a 64 6f 5f  DEX t2a2.*/}.do_
1340: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 69 6e 64  execsql_test ind
1350: 65 78 37 2d 32 2e 31 30 33 20 7b 0a 20 20 53 45  ex7-2.103 {.  SE
1360: 4c 45 43 54 20 62 20 46 52 4f 4d 20 74 32 20 57  LECT b FROM t2 W
1370: 48 45 52 45 20 61 3d 31 35 20 41 4e 44 20 61 3c  HERE a=15 AND a<
1380: 31 30 30 3b 0a 7d 20 7b 31 30 30 31 35 7d 0a 64  100;.} {10015}.d
1390: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 69  o_execsql_test i
13a0: 6e 64 65 78 37 2d 32 2e 31 30 33 65 71 70 20 7b  ndex7-2.103eqp {
13b0: 0a 20 20 45 58 50 4c 41 49 4e 20 51 55 45 52 59  .  EXPLAIN QUERY
13c0: 20 50 4c 41 4e 0a 20 20 53 45 4c 45 43 54 20 62   PLAN.  SELECT b
13d0: 20 46 52 4f 4d 20 74 32 20 57 48 45 52 45 20 61   FROM t2 WHERE a
13e0: 3d 31 35 20 41 4e 44 20 61 3c 31 30 30 3b 0a 7d  =15 AND a<100;.}
13f0: 20 7b 2f 2e 2a 49 4e 44 45 58 20 74 32 61 32 2e   {/.*INDEX t2a2.
1400: 2a 2f 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74  */}.do_execsql_t
1410: 65 73 74 20 69 6e 64 65 78 37 2d 32 2e 31 30 34  est index7-2.104
1420: 20 7b 0a 20 20 53 45 4c 45 43 54 20 62 20 46 52   {.  SELECT b FR
1430: 4f 4d 20 74 32 20 57 48 45 52 45 20 61 3d 35 31  OM t2 WHERE a=51
1440: 35 20 41 4e 44 20 61 3e 32 30 30 3b 0a 7d 20 7b  5 AND a>200;.} {
1450: 31 30 35 31 35 7d 0a 64 6f 5f 65 78 65 63 73 71  10515}.do_execsq
1460: 6c 5f 74 65 73 74 20 69 6e 64 65 78 37 2d 32 2e  l_test index7-2.
1470: 31 30 34 65 71 70 20 7b 0a 20 20 45 58 50 4c 41  104eqp {.  EXPLA
1480: 49 4e 20 51 55 45 52 59 20 50 4c 41 4e 0a 20 20  IN QUERY PLAN.  
1490: 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20 74 32  SELECT b FROM t2
14a0: 20 57 48 45 52 45 20 61 3d 35 31 35 20 41 4e 44   WHERE a=515 AND
14b0: 20 61 3e 32 30 30 3b 0a 7d 20 7b 2f 2e 2a 49 4e   a>200;.} {/.*IN
14c0: 44 45 58 20 74 32 61 32 2e 2a 2f 7d 0a 0a 23 20  DEX t2a2.*/}..# 
14d0: 50 61 72 74 69 61 6c 20 55 4e 49 51 55 45 20 69  Partial UNIQUE i
14e0: 6e 64 69 63 65 73 0a 23 0a 64 6f 5f 65 78 65 63  ndices.#.do_exec
14f0: 73 71 6c 5f 74 65 73 74 20 69 6e 64 65 78 37 2d  sql_test index7-
1500: 33 2e 31 20 7b 0a 20 20 43 52 45 41 54 45 20 54  3.1 {.  CREATE T
1510: 41 42 4c 45 20 74 33 28 61 2c 62 20 50 52 49 4d  ABLE t3(a,b PRIM
1520: 41 52 59 20 4b 45 59 29 20 77 69 74 68 6f 75 74  ARY KEY) without
1530: 20 72 6f 77 69 64 3b 0a 20 20 49 4e 53 45 52 54   rowid;.  INSERT
1540: 20 49 4e 54 4f 20 74 33 20 53 45 4c 45 43 54 20   INTO t3 SELECT 
1550: 76 61 6c 75 65 2c 20 76 61 6c 75 65 20 46 52 4f  value, value FRO
1560: 4d 20 6e 75 6d 73 20 57 48 45 52 45 20 76 61 6c  M nums WHERE val
1570: 75 65 3c 32 30 30 3b 0a 20 20 55 50 44 41 54 45  ue<200;.  UPDATE
1580: 20 74 33 20 53 45 54 20 61 3d 39 39 39 20 57 48   t3 SET a=999 WH
1590: 45 52 45 20 62 25 35 21 3d 30 3b 0a 20 20 43 52  ERE b%5!=0;.  CR
15a0: 45 41 54 45 20 55 4e 49 51 55 45 20 49 4e 44 45  EATE UNIQUE INDE
15b0: 58 20 74 33 61 20 4f 4e 20 74 33 28 61 29 20 57  X t3a ON t3(a) W
15c0: 48 45 52 45 20 61 3c 3e 39 39 39 3b 0a 7d 20 7b  HERE a<>999;.} {
15d0: 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 64 65 78 37  }.do_test index7
15e0: 2d 33 2e 32 20 7b 0a 20 20 23 20 75 6e 61 62 6c  -3.2 {.  # unabl
15f0: 65 20 74 6f 20 69 6e 73 65 72 74 20 61 20 64 75  e to insert a du
1600: 70 6c 69 63 61 74 65 20 72 6f 77 20 61 2d 76 61  plicate row a-va
1610: 6c 75 65 20 74 68 61 74 20 69 73 20 6e 6f 74 20  lue that is not 
1620: 39 39 39 2e 0a 20 20 63 61 74 63 68 73 71 6c 20  999..  catchsql 
1630: 7b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  {.    INSERT INT
1640: 4f 20 74 33 28 61 2c 62 29 20 56 41 4c 55 45 53  O t3(a,b) VALUES
1650: 28 31 35 30 2c 20 27 74 65 73 74 31 27 29 3b 0a  (150, 'test1');.
1660: 20 20 7d 0a 7d 20 7b 31 20 7b 55 4e 49 51 55 45    }.} {1 {UNIQUE
1670: 20 63 6f 6e 73 74 72 61 69 6e 74 20 66 61 69 6c   constraint fail
1680: 65 64 3a 20 74 33 2e 61 7d 7d 0a 64 6f 5f 74 65  ed: t3.a}}.do_te
1690: 73 74 20 69 6e 64 65 78 37 2d 33 2e 33 20 7b 0a  st index7-3.3 {.
16a0: 20 20 23 20 63 61 6e 20 69 6e 73 65 72 74 20 6d    # can insert m
16b0: 75 6c 74 69 70 6c 65 20 72 6f 77 73 20 77 69 74  ultiple rows wit
16c0: 68 20 61 3d 3d 39 39 39 20 62 65 63 61 75 73 65  h a==999 because
16d0: 20 73 75 63 68 20 72 6f 77 73 20 61 72 65 20 6e   such rows are n
16e0: 6f 74 0a 20 20 23 20 70 61 72 74 20 6f 66 20 74  ot.  # part of t
16f0: 68 65 20 75 6e 69 71 75 65 20 69 6e 64 65 78 2e  he unique index.
1700: 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20  .  catchsql {.  
1710: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 33    INSERT INTO t3
1720: 28 61 2c 62 29 20 56 41 4c 55 45 53 28 39 39 39  (a,b) VALUES(999
1730: 2c 20 27 74 65 73 74 31 27 29 2c 20 28 39 39 39  , 'test1'), (999
1740: 2c 20 27 74 65 73 74 32 27 29 3b 0a 20 20 7d 0a  , 'test2');.  }.
1750: 7d 20 7b 30 20 7b 7d 7d 0a 64 6f 5f 65 78 65 63  } {0 {}}.do_exec
1760: 73 71 6c 5f 74 65 73 74 20 69 6e 64 65 78 37 2d  sql_test index7-
1770: 33 2e 34 20 7b 0a 20 20 53 45 4c 45 43 54 20 63  3.4 {.  SELECT c
1780: 6f 75 6e 74 28 2a 29 20 46 52 4f 4d 20 74 33 20  ount(*) FROM t3 
1790: 57 48 45 52 45 20 61 3d 39 39 39 3b 0a 7d 20 7b  WHERE a=999;.} {
17a0: 31 36 32 7d 0a 69 6e 74 65 67 72 69 74 79 5f 63  162}.integrity_c
17b0: 68 65 63 6b 20 69 6e 64 65 78 37 2d 33 2e 35 0a  heck index7-3.5.
17c0: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74  .do_execsql_test
17d0: 20 69 6e 64 65 78 37 2d 34 2e 30 20 7b 0a 20 20   index7-4.0 {.  
17e0: 56 41 43 55 55 4d 3b 0a 20 20 50 52 41 47 4d 41  VACUUM;.  PRAGMA
17f0: 20 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b   integrity_check
1800: 3b 0a 7d 20 7b 6f 6b 7d 0a 0a 23 20 53 69 6c 65  ;.} {ok}..# Sile
1810: 6e 74 6c 79 20 69 67 6e 6f 72 65 20 64 61 74 61  ntly ignore data
1820: 62 61 73 65 20 6e 61 6d 65 20 71 75 61 6c 69 66  base name qualif
1830: 69 65 72 73 20 69 6e 20 70 61 72 74 69 61 6c 20  iers in partial 
1840: 69 6e 64 69 63 65 73 2e 0a 23 0a 64 6f 5f 65 78  indices..#.do_ex
1850: 65 63 73 71 6c 5f 74 65 73 74 20 69 6e 64 65 78  ecsql_test index
1860: 37 2d 35 2e 30 20 7b 0a 20 20 43 52 45 41 54 45  7-5.0 {.  CREATE
1870: 20 49 4e 44 45 58 20 74 33 62 20 4f 4e 20 74 33   INDEX t3b ON t3
1880: 28 62 29 20 57 48 45 52 45 20 78 79 7a 7a 79 2e  (b) WHERE xyzzy.
1890: 74 33 2e 62 20 42 45 54 57 45 45 4e 20 35 20 41  t3.b BETWEEN 5 A
18a0: 4e 44 20 31 30 3b 0a 20 20 20 20 20 20 20 20 20  ND 10;.         
18b0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
18c0: 20 20 20 20 20 20 2f 2a 20 5e 5e 5e 5e 5e 2d 2d        /* ^^^^^--
18d0: 20 69 67 6e 6f 72 65 64 20 2a 2f 0a 20 20 41 4e   ignored */.  AN
18e0: 41 4c 59 5a 45 3b 0a 20 20 53 45 4c 45 43 54 20  ALYZE;.  SELECT 
18f0: 63 6f 75 6e 74 28 2a 29 20 46 52 4f 4d 20 74 33  count(*) FROM t3
1900: 20 57 48 45 52 45 20 74 33 2e 62 20 42 45 54 57   WHERE t3.b BETW
1910: 45 45 4e 20 35 20 41 4e 44 20 31 30 3b 0a 20 20  EEN 5 AND 10;.  
1920: 53 45 4c 45 43 54 20 73 74 61 74 2b 30 20 46 52  SELECT stat+0 FR
1930: 4f 4d 20 73 71 6c 69 74 65 5f 73 74 61 74 31 20  OM sqlite_stat1 
1940: 57 48 45 52 45 20 69 64 78 3d 27 74 33 62 27 3b  WHERE idx='t3b';
1950: 0a 7d 20 7b 36 20 36 7d 0a 0a 23 20 56 65 72 69  .} {6 6}..# Veri
1960: 66 79 20 74 68 61 74 20 74 68 65 20 70 72 6f 62  fy that the prob
1970: 6c 65 6d 20 69 64 65 6e 74 69 66 69 65 64 20 62  lem identified b
1980: 79 20 74 69 63 6b 65 74 20 5b 39 38 64 39 37 33  y ticket [98d973
1990: 62 38 66 35 5d 20 68 61 73 20 62 65 65 6e 20 66  b8f5] has been f
19a0: 69 78 65 64 2e 0a 23 0a 64 6f 5f 65 78 65 63 73  ixed..#.do_execs
19b0: 71 6c 5f 74 65 73 74 20 69 6e 64 65 78 37 2d 36  ql_test index7-6
19c0: 2e 31 20 7b 0a 20 20 43 52 45 41 54 45 20 54 41  .1 {.  CREATE TA
19d0: 42 4c 45 20 74 35 28 61 2c 20 62 29 3b 0a 20 20  BLE t5(a, b);.  
19e0: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 34 28  CREATE TABLE t4(
19f0: 63 2c 20 64 29 3b 0a 20 20 49 4e 53 45 52 54 20  c, d);.  INSERT 
1a00: 49 4e 54 4f 20 74 35 20 56 41 4c 55 45 53 28 31  INTO t5 VALUES(1
1a10: 2c 20 27 78 79 7a 27 29 3b 0a 20 20 49 4e 53 45  , 'xyz');.  INSE
1a20: 52 54 20 49 4e 54 4f 20 74 34 20 56 41 4c 55 45  RT INTO t4 VALUE
1a30: 53 28 27 61 62 63 27 2c 20 27 6e 6f 74 20 78 79  S('abc', 'not xy
1a40: 7a 27 29 3b 0a 20 20 53 45 4c 45 43 54 20 2a 20  z');.  SELECT * 
1a50: 46 52 4f 4d 20 28 53 45 4c 45 43 54 20 2a 20 46  FROM (SELECT * F
1a60: 52 4f 4d 20 74 35 20 57 48 45 52 45 20 61 3d 31  ROM t5 WHERE a=1
1a70: 20 41 4e 44 20 62 3d 27 78 79 7a 27 29 2c 20 74   AND b='xyz'), t
1a80: 34 20 57 48 45 52 45 20 63 3d 27 61 62 63 27 3b  4 WHERE c='abc';
1a90: 0a 7d 20 7b 0a 20 20 31 20 78 79 7a 20 61 62 63  .} {.  1 xyz abc
1aa0: 20 7b 6e 6f 74 20 78 79 7a 7d 0a 7d 0a 64 6f 5f   {not xyz}.}.do_
1ab0: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 69 6e 64  execsql_test ind
1ac0: 65 78 37 2d 36 2e 32 20 7b 0a 20 20 43 52 45 41  ex7-6.2 {.  CREA
1ad0: 54 45 20 49 4e 44 45 58 20 69 34 20 4f 4e 20 74  TE INDEX i4 ON t
1ae0: 34 28 63 29 20 57 48 45 52 45 20 64 3d 27 78 79  4(c) WHERE d='xy
1af0: 7a 27 3b 0a 20 20 53 45 4c 45 43 54 20 2a 20 46  z';.  SELECT * F
1b00: 52 4f 4d 20 28 53 45 4c 45 43 54 20 2a 20 46 52  ROM (SELECT * FR
1b10: 4f 4d 20 74 35 20 57 48 45 52 45 20 61 3d 31 20  OM t5 WHERE a=1 
1b20: 41 4e 44 20 62 3d 27 78 79 7a 27 29 2c 20 74 34  AND b='xyz'), t4
1b30: 20 57 48 45 52 45 20 63 3d 27 61 62 63 27 3b 0a   WHERE c='abc';.
1b40: 7d 20 7b 0a 20 20 31 20 78 79 7a 20 61 62 63 20  } {.  1 xyz abc 
1b50: 7b 6e 6f 74 20 78 79 7a 7d 0a 7d 0a 64 6f 5f 65  {not xyz}.}.do_e
1b60: 78 65 63 73 71 6c 5f 74 65 73 74 20 69 6e 64 65  xecsql_test inde
1b70: 78 37 2d 36 2e 33 20 7b 0a 20 20 43 52 45 41 54  x7-6.3 {.  CREAT
1b80: 45 20 56 49 45 57 20 76 34 20 41 53 20 53 45 4c  E VIEW v4 AS SEL
1b90: 45 43 54 20 2a 20 46 52 4f 4d 20 74 34 3b 0a 20  ECT * FROM t4;. 
1ba0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 34 20   INSERT INTO t4 
1bb0: 56 41 4c 55 45 53 28 27 64 65 66 27 2c 20 27 78  VALUES('def', 'x
1bc0: 79 7a 27 29 3b 0a 20 20 53 45 4c 45 43 54 20 2a  yz');.  SELECT *
1bd0: 20 46 52 4f 4d 20 76 34 20 57 48 45 52 45 20 64   FROM v4 WHERE d
1be0: 3d 27 78 79 7a 27 20 41 4e 44 20 63 3d 27 64 65  ='xyz' AND c='de
1bf0: 66 27 0a 7d 20 7b 0a 20 20 64 65 66 20 78 79 7a  f'.} {.  def xyz
1c00: 0a 7d 0a 64 6f 5f 65 71 70 5f 74 65 73 74 20 69  .}.do_eqp_test i
1c10: 6e 64 65 78 37 2d 36 2e 34 20 7b 0a 20 20 53 45  ndex7-6.4 {.  SE
1c20: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 76 34 20 57  LECT * FROM v4 W
1c30: 48 45 52 45 20 64 3d 27 78 79 7a 27 20 41 4e 44  HERE d='xyz' AND
1c40: 20 63 3d 27 64 65 66 27 0a 7d 20 7b 0a 20 20 30   c='def'.} {.  0
1c50: 20 30 20 30 20 7b 53 45 41 52 43 48 20 54 41 42   0 0 {SEARCH TAB
1c60: 4c 45 20 74 34 20 55 53 49 4e 47 20 49 4e 44 45  LE t4 USING INDE
1c70: 58 20 69 34 20 28 63 3d 3f 29 7d 0a 7d 0a 0a 66  X i4 (c=?)}.}..f
1c80: 69 6e 69 73 68 5f 74 65 73 74 0a                 inish_test.