/ Hex Artifact Content
Login

Artifact 7feababe16f2091b229c22aff2bcc1d4d6b9d2bb:


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 23 20 43 61    return.}..# Ca
0210: 70 74 75 72 65 20 74 68 65 20 6f 75 74 70 75 74  pture the output
0220: 20 6f 66 20 61 20 70 72 61 67 6d 61 20 69 6e 20   of a pragma in 
0230: 61 20 54 45 4d 50 20 74 61 62 6c 65 2e 0a 23 0a  a TEMP table..#.
0240: 70 72 6f 63 20 63 61 70 74 75 72 65 5f 70 72 61  proc capture_pra
0250: 67 6d 61 20 7b 64 62 20 74 61 62 6e 61 6d 65 20  gma {db tabname 
0260: 73 71 6c 7d 20 7b 0a 20 20 24 64 62 20 65 76 61  sql} {.  $db eva
0270: 6c 20 22 44 52 4f 50 20 54 41 42 4c 45 20 49 46  l "DROP TABLE IF
0280: 20 45 58 49 53 54 53 20 74 65 6d 70 2e 24 74 61   EXISTS temp.$ta
0290: 62 6e 61 6d 65 22 0a 20 20 73 65 74 20 6f 6e 63  bname".  set onc
02a0: 65 20 31 0a 20 20 24 64 62 20 65 76 61 6c 20 24  e 1.  $db eval $
02b0: 73 71 6c 20 78 20 7b 0a 20 20 20 20 69 66 20 7b  sql x {.    if {
02c0: 24 6f 6e 63 65 7d 20 7b 0a 20 20 20 20 20 20 73  $once} {.      s
02d0: 65 74 20 6f 6e 63 65 20 30 0a 20 20 20 20 20 20  et once 0.      
02e0: 73 65 74 20 69 6e 73 20 22 49 4e 53 45 52 54 20  set ins "INSERT 
02f0: 49 4e 54 4f 20 24 74 61 62 6e 61 6d 65 20 56 41  INTO $tabname VA
0300: 4c 55 45 53 22 0a 20 20 20 20 20 20 73 65 74 20  LUES".      set 
0310: 63 72 74 61 62 20 22 43 52 45 41 54 45 20 54 45  crtab "CREATE TE
0320: 4d 50 20 54 41 42 4c 45 20 24 74 61 62 6e 61 6d  MP TABLE $tabnam
0330: 65 20 22 0a 20 20 20 20 20 20 73 65 74 20 73 65  e ".      set se
0340: 70 20 22 28 22 0a 20 20 20 20 20 20 66 6f 72 65  p "(".      fore
0350: 61 63 68 20 63 6f 6c 20 24 78 28 2a 29 20 7b 0a  ach col $x(*) {.
0360: 20 20 20 20 20 20 20 20 61 70 70 65 6e 64 20 69          append i
0370: 6e 73 20 24 7b 73 65 70 7d 5c 24 78 28 24 63 6f  ns ${sep}\$x($co
0380: 6c 29 0a 20 20 20 20 20 20 20 20 61 70 70 65 6e  l).        appen
0390: 64 20 63 72 74 61 62 20 24 7b 73 65 70 7d 5c 22  d crtab ${sep}\"
03a0: 24 63 6f 6c 5c 22 0a 20 20 20 20 20 20 20 20 73  $col\".        s
03b0: 65 74 20 73 65 70 20 2c 0a 20 20 20 20 20 20 7d  et sep ,.      }
03c0: 0a 20 20 20 20 20 20 61 70 70 65 6e 64 20 69 6e  .      append in
03d0: 73 20 29 0a 20 20 20 20 20 20 61 70 70 65 6e 64  s ).      append
03e0: 20 63 72 74 61 62 20 29 0a 20 20 20 20 20 20 24   crtab ).      $
03f0: 64 62 20 65 76 61 6c 20 24 63 72 74 61 62 0a 20  db eval $crtab. 
0400: 20 20 20 7d 0a 20 20 20 20 24 64 62 20 65 76 61     }.    $db eva
0410: 6c 20 24 69 6e 73 0a 20 20 7d 0a 7d 0a 0a 0a 6c  l $ins.  }.}...l
0420: 6f 61 64 5f 73 74 61 74 69 63 5f 65 78 74 65 6e  oad_static_exten
0430: 73 69 6f 6e 20 64 62 20 77 68 6f 6c 65 6e 75 6d  sion db wholenum
0440: 62 65 72 3b 0a 64 6f 5f 74 65 73 74 20 69 6e 64  ber;.do_test ind
0450: 65 78 37 2d 31 2e 31 20 7b 0a 20 20 23 20 41 62  ex7-1.1 {.  # Ab
0460: 6c 65 20 74 6f 20 70 61 72 73 65 20 61 6e 64 20  le to parse and 
0470: 6d 61 6e 61 67 65 20 70 61 72 74 69 61 6c 20 69  manage partial i
0480: 6e 64 69 63 65 73 0a 20 20 65 78 65 63 73 71 6c  ndices.  execsql
0490: 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41   {.    CREATE TA
04a0: 42 4c 45 20 74 31 28 61 2c 62 2c 63 20 50 52 49  BLE t1(a,b,c PRI
04b0: 4d 41 52 59 20 4b 45 59 29 20 57 49 54 48 4f 55  MARY KEY) WITHOU
04c0: 54 20 72 6f 77 69 64 3b 0a 20 20 20 20 43 52 45  T rowid;.    CRE
04d0: 41 54 45 20 49 4e 44 45 58 20 74 31 61 20 4f 4e  ATE INDEX t1a ON
04e0: 20 74 31 28 61 29 20 57 48 45 52 45 20 61 20 49   t1(a) WHERE a I
04f0: 53 20 4e 4f 54 20 4e 55 4c 4c 3b 0a 20 20 20 20  S NOT NULL;.    
0500: 43 52 45 41 54 45 20 49 4e 44 45 58 20 74 31 62  CREATE INDEX t1b
0510: 20 4f 4e 20 74 31 28 62 29 20 57 48 45 52 45 20   ON t1(b) WHERE 
0520: 62 3e 31 30 3b 0a 20 20 20 20 43 52 45 41 54 45  b>10;.    CREATE
0530: 20 56 49 52 54 55 41 4c 20 54 41 42 4c 45 20 6e   VIRTUAL TABLE n
0540: 75 6d 73 20 55 53 49 4e 47 20 77 68 6f 6c 65 6e  ums USING wholen
0550: 75 6d 62 65 72 3b 0a 20 20 20 20 49 4e 53 45 52  umber;.    INSER
0560: 54 20 49 4e 54 4f 20 74 31 28 61 2c 62 2c 63 29  T INTO t1(a,b,c)
0570: 0a 20 20 20 20 20 20 20 53 45 4c 45 43 54 20 43  .       SELECT C
0580: 41 53 45 20 57 48 45 4e 20 76 61 6c 75 65 25 33  ASE WHEN value%3
0590: 21 3d 30 20 54 48 45 4e 20 76 61 6c 75 65 20 45  !=0 THEN value E
05a0: 4e 44 2c 20 76 61 6c 75 65 2c 20 76 61 6c 75 65  ND, value, value
05b0: 0a 20 20 20 20 20 20 20 20 20 46 52 4f 4d 20 6e  .         FROM n
05c0: 75 6d 73 20 57 48 45 52 45 20 76 61 6c 75 65 3c  ums WHERE value<
05d0: 3d 32 30 3b 0a 20 20 20 20 53 45 4c 45 43 54 20  =20;.    SELECT 
05e0: 63 6f 75 6e 74 28 61 29 2c 20 63 6f 75 6e 74 28  count(a), count(
05f0: 62 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20  b) FROM t1;.    
0600: 50 52 41 47 4d 41 20 69 6e 74 65 67 72 69 74 79  PRAGMA integrity
0610: 5f 63 68 65 63 6b 3b 0a 20 20 7d 0a 7d 20 7b 31  _check;.  }.} {1
0620: 34 20 32 30 20 6f 6b 7d 0a 0a 23 20 28 54 68 65  4 20 ok}..# (The
0630: 20 22 70 61 72 74 69 61 6c 22 20 63 6f 6c 75 6d   "partial" colum
0640: 6e 20 6f 66 20 74 68 65 20 50 52 41 47 4d 41 20  n of the PRAGMA 
0650: 69 6e 64 65 78 5f 6c 69 73 74 20 6f 75 74 70 75  index_list outpu
0660: 74 20 69 73 2e 2e 2e 29 0a 23 20 45 56 49 44 45  t is...).# EVIDE
0670: 4e 43 45 2d 4f 46 3a 20 52 2d 33 34 34 35 37 2d  NCE-OF: R-34457-
0680: 30 39 36 36 38 20 22 31 22 20 69 66 20 74 68 65  09668 "1" if the
0690: 20 69 6e 64 65 78 20 69 73 20 61 20 70 61 72 74   index is a part
06a0: 69 61 6c 20 69 6e 64 65 78 20 61 6e 64 20 22 30  ial index and "0
06b0: 22 0a 23 20 69 66 20 6e 6f 74 2e 0a 23 0a 64 6f  ".# if not..#.do
06c0: 5f 74 65 73 74 20 69 6e 64 65 78 37 2d 31 2e 31  _test index7-1.1
06d0: 61 20 7b 0a 20 20 63 61 70 74 75 72 65 5f 70 72  a {.  capture_pr
06e0: 61 67 6d 61 20 64 62 20 6f 75 74 20 7b 50 52 41  agma db out {PRA
06f0: 47 4d 41 20 69 6e 64 65 78 5f 6c 69 73 74 28 74  GMA index_list(t
0700: 31 29 7d 0a 20 20 64 62 20 65 76 61 6c 20 7b 53  1)}.  db eval {S
0710: 45 4c 45 43 54 20 22 6e 61 6d 65 22 2c 20 22 70  ELECT "name", "p
0720: 61 72 74 69 61 6c 22 2c 20 27 7c 27 20 46 52 4f  artial", '|' FRO
0730: 4d 20 6f 75 74 20 4f 52 44 45 52 20 42 59 20 22  M out ORDER BY "
0740: 6e 61 6d 65 22 7d 0a 7d 20 7b 73 71 6c 69 74 65  name"}.} {sqlite
0750: 5f 61 75 74 6f 69 6e 64 65 78 5f 74 31 5f 31 20  _autoindex_t1_1 
0760: 30 20 7c 20 74 31 61 20 31 20 7c 20 74 31 62 20  0 | t1a 1 | t1b 
0770: 31 20 7c 7d 0a 0a 23 20 4d 61 6b 65 20 73 75 72  1 |}..# Make sur
0780: 65 20 74 68 65 20 63 6f 75 6e 74 28 2a 29 20 6f  e the count(*) o
0790: 70 74 69 6d 69 7a 61 74 69 6f 6e 20 77 6f 72 6b  ptimization work
07a0: 73 20 63 6f 72 72 65 63 74 6c 79 20 77 69 74 68  s correctly with
07b0: 0a 23 20 70 61 72 74 69 61 6c 20 69 6e 64 69 63  .# partial indic
07c0: 65 73 2e 20 20 54 69 63 6b 65 74 20 5b 61 35 63  es.  Ticket [a5c
07d0: 38 65 64 36 36 63 61 65 31 36 32 34 33 62 65 36  8ed66cae16243be6
07e0: 5d 20 32 30 31 33 2d 31 30 2d 30 33 2e 0a 23 0a  ] 2013-10-03..#.
07f0: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20  do_execsql_test 
0800: 69 6e 64 65 78 37 2d 31 2e 31 2e 31 20 7b 0a 20  index7-1.1.1 {. 
0810: 20 53 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29   SELECT count(*)
0820: 20 46 52 4f 4d 20 74 31 3b 0a 7d 20 7b 32 30 7d   FROM t1;.} {20}
0830: 0a 0a 23 20 45 72 72 6f 72 20 63 6f 6e 64 69 74  ..# Error condit
0840: 69 6f 6e 73 20 64 75 72 69 6e 67 20 70 61 72 73  ions during pars
0850: 69 6e 67 2e 2e 2e 0a 23 0a 64 6f 5f 74 65 73 74  ing....#.do_test
0860: 20 69 6e 64 65 78 37 2d 31 2e 32 20 7b 0a 20 20   index7-1.2 {.  
0870: 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 43  catchsql {.    C
0880: 52 45 41 54 45 20 49 4e 44 45 58 20 62 61 64 31  REATE INDEX bad1
0890: 20 4f 4e 20 74 31 28 61 2c 62 29 20 57 48 45 52   ON t1(a,b) WHER
08a0: 45 20 78 20 49 53 20 4e 4f 54 20 4e 55 4c 4c 3b  E x IS NOT NULL;
08b0: 0a 20 20 7d 0a 7d 20 7b 31 20 7b 6e 6f 20 73 75  .  }.} {1 {no su
08c0: 63 68 20 63 6f 6c 75 6d 6e 3a 20 78 7d 7d 0a 64  ch column: x}}.d
08d0: 6f 5f 74 65 73 74 20 69 6e 64 65 78 37 2d 31 2e  o_test index7-1.
08e0: 33 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b  3 {.  catchsql {
08f0: 0a 20 20 20 20 43 52 45 41 54 45 20 49 4e 44 45  .    CREATE INDE
0900: 58 20 62 61 64 31 20 4f 4e 20 74 31 28 61 2c 62  X bad1 ON t1(a,b
0910: 29 20 57 48 45 52 45 20 45 58 49 53 54 53 28 53  ) WHERE EXISTS(S
0920: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 29  ELECT * FROM t1)
0930: 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 73 75 62 71  ;.  }.} {1 {subq
0940: 75 65 72 69 65 73 20 70 72 6f 68 69 62 69 74 65  ueries prohibite
0950: 64 20 69 6e 20 70 61 72 74 69 61 6c 20 69 6e 64  d in partial ind
0960: 65 78 20 57 48 45 52 45 20 63 6c 61 75 73 65 73  ex WHERE clauses
0970: 7d 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 64 65 78  }}.do_test index
0980: 37 2d 31 2e 34 20 7b 0a 20 20 63 61 74 63 68 73  7-1.4 {.  catchs
0990: 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20  ql {.    CREATE 
09a0: 49 4e 44 45 58 20 62 61 64 31 20 4f 4e 20 74 31  INDEX bad1 ON t1
09b0: 28 61 2c 62 29 20 57 48 45 52 45 20 61 21 3d 3f  (a,b) WHERE a!=?
09c0: 31 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 70 61 72  1;.  }.} {1 {par
09d0: 61 6d 65 74 65 72 73 20 70 72 6f 68 69 62 69 74  ameters prohibit
09e0: 65 64 20 69 6e 20 70 61 72 74 69 61 6c 20 69 6e  ed in partial in
09f0: 64 65 78 20 57 48 45 52 45 20 63 6c 61 75 73 65  dex WHERE clause
0a00: 73 7d 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 64 65  s}}.do_test inde
0a10: 78 37 2d 31 2e 35 20 7b 0a 20 20 63 61 74 63 68  x7-1.5 {.  catch
0a20: 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45  sql {.    CREATE
0a30: 20 49 4e 44 45 58 20 62 61 64 31 20 4f 4e 20 74   INDEX bad1 ON t
0a40: 31 28 61 2c 62 29 20 57 48 45 52 45 20 61 21 3d  1(a,b) WHERE a!=
0a50: 72 61 6e 64 6f 6d 28 29 3b 0a 20 20 7d 0a 7d 20  random();.  }.} 
0a60: 7b 31 20 7b 6e 6f 6e 2d 64 65 74 65 72 6d 69 6e  {1 {non-determin
0a70: 69 73 74 69 63 20 66 75 6e 63 74 69 6f 6e 73 20  istic functions 
0a80: 70 72 6f 68 69 62 69 74 65 64 20 69 6e 20 70 61  prohibited in pa
0a90: 72 74 69 61 6c 20 69 6e 64 65 78 20 57 48 45 52  rtial index WHER
0aa0: 45 20 63 6c 61 75 73 65 73 7d 7d 0a 64 6f 5f 74  E clauses}}.do_t
0ab0: 65 73 74 20 69 6e 64 65 78 37 2d 31 2e 36 20 7b  est index7-1.6 {
0ac0: 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20  .  catchsql {.  
0ad0: 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 62    CREATE INDEX b
0ae0: 61 64 31 20 4f 4e 20 74 31 28 61 2c 62 29 20 57  ad1 ON t1(a,b) W
0af0: 48 45 52 45 20 61 20 4e 4f 54 20 4c 49 4b 45 20  HERE a NOT LIKE 
0b00: 27 61 62 63 25 27 3b 0a 20 20 7d 0a 7d 20 7b 30  'abc%';.  }.} {0
0b10: 20 7b 7d 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f   {}}.do_execsql_
0b20: 74 65 73 74 20 69 6e 64 65 78 37 2d 31 2e 37 20  test index7-1.7 
0b30: 7b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20  {.  INSERT INTO 
0b40: 74 31 28 61 2c 62 2c 63 29 0a 20 20 20 20 20 56  t1(a,b,c).     V
0b50: 41 4c 55 45 53 28 27 61 62 63 64 65 27 2c 31 2c  ALUES('abcde',1,
0b60: 31 30 31 29 2c 28 27 61 62 64 65 66 27 2c 32 2c  101),('abdef',2,
0b70: 31 30 32 29 2c 28 27 78 79 7a 27 2c 33 2c 31 30  102),('xyz',3,10
0b80: 33 29 2c 28 27 61 62 63 7a 27 2c 34 2c 31 30 34  3),('abcz',4,104
0b90: 29 3b 0a 20 20 53 45 4c 45 43 54 20 63 20 46 52  );.  SELECT c FR
0ba0: 4f 4d 20 74 31 20 57 48 45 52 45 20 61 20 4e 4f  OM t1 WHERE a NO
0bb0: 54 20 4c 49 4b 45 20 27 61 62 63 25 27 20 41 4e  T LIKE 'abc%' AN
0bc0: 44 20 61 3d 37 20 4f 52 44 45 52 20 42 59 20 2b  D a=7 ORDER BY +
0bd0: 62 3b 0a 7d 20 7b 37 7d 0a 64 6f 5f 65 78 65 63  b;.} {7}.do_exec
0be0: 73 71 6c 5f 74 65 73 74 20 69 6e 64 65 78 37 2d  sql_test index7-
0bf0: 31 2e 37 65 71 70 20 7b 0a 20 20 45 58 50 4c 41  1.7eqp {.  EXPLA
0c00: 49 4e 20 51 55 45 52 59 20 50 4c 41 4e 0a 20 20  IN QUERY PLAN.  
0c10: 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20 74 31  SELECT b FROM t1
0c20: 20 57 48 45 52 45 20 61 20 4e 4f 54 20 4c 49 4b   WHERE a NOT LIK
0c30: 45 20 27 61 62 63 25 27 20 41 4e 44 20 61 3d 37  E 'abc%' AND a=7
0c40: 20 4f 52 44 45 52 20 42 59 20 2b 62 3b 0a 7d 20   ORDER BY +b;.} 
0c50: 7b 2f 53 45 41 52 43 48 20 54 41 42 4c 45 20 74  {/SEARCH TABLE t
0c60: 31 20 55 53 49 4e 47 20 43 4f 56 45 52 49 4e 47  1 USING COVERING
0c70: 20 49 4e 44 45 58 20 62 61 64 31 20 2f 7d 0a 64   INDEX bad1 /}.d
0c80: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 69  o_execsql_test i
0c90: 6e 64 65 78 37 2d 31 2e 38 20 7b 0a 20 20 44 45  ndex7-1.8 {.  DE
0ca0: 4c 45 54 45 20 46 52 4f 4d 20 74 31 20 57 48 45  LETE FROM t1 WHE
0cb0: 52 45 20 63 3e 3d 31 30 31 3b 0a 20 20 44 52 4f  RE c>=101;.  DRO
0cc0: 50 20 49 4e 44 45 58 20 49 46 20 45 58 49 53 54  P INDEX IF EXIST
0cd0: 53 20 62 61 64 31 3b 0a 7d 20 7b 7d 0a 0a 64 6f  S bad1;.} {}..do
0ce0: 5f 74 65 73 74 20 69 6e 64 65 78 37 2d 31 2e 31  _test index7-1.1
0cf0: 30 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  0 {.  execsql {.
0d00: 20 20 20 20 41 4e 41 4c 59 5a 45 3b 0a 20 20 20      ANALYZE;.   
0d10: 20 53 45 4c 45 43 54 20 69 64 78 2c 20 73 74 61   SELECT idx, sta
0d20: 74 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 73 74  t FROM sqlite_st
0d30: 61 74 31 20 4f 52 44 45 52 20 42 59 20 69 64 78  at1 ORDER BY idx
0d40: 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 69 6e 74  ;.    PRAGMA int
0d50: 65 67 72 69 74 79 5f 63 68 65 63 6b 3b 0a 20 20  egrity_check;.  
0d60: 7d 0a 7d 20 7b 74 31 20 7b 32 30 20 31 7d 20 74  }.} {t1 {20 1} t
0d70: 31 61 20 7b 31 34 20 31 7d 20 74 31 62 20 7b 31  1a {14 1} t1b {1
0d80: 30 20 31 7d 20 6f 6b 7d 0a 0a 23 20 53 54 41 54  0 1} ok}..# STAT
0d90: 31 20 73 68 6f 77 73 20 74 68 65 20 70 61 72 74  1 shows the part
0da0: 69 61 6c 20 69 6e 64 69 63 65 73 20 68 61 76 65  ial indices have
0db0: 20 61 20 72 65 64 75 63 65 64 20 6e 75 6d 62 65   a reduced numbe
0dc0: 72 20 6f 66 0a 23 20 72 6f 77 73 2e 0a 23 0a 64  r of.# rows..#.d
0dd0: 6f 5f 74 65 73 74 20 69 6e 64 65 78 37 2d 31 2e  o_test index7-1.
0de0: 31 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  11 {.  execsql {
0df0: 0a 20 20 20 20 55 50 44 41 54 45 20 74 31 20 53  .    UPDATE t1 S
0e00: 45 54 20 61 3d 62 3b 0a 20 20 20 20 41 4e 41 4c  ET a=b;.    ANAL
0e10: 59 5a 45 3b 0a 20 20 20 20 53 45 4c 45 43 54 20  YZE;.    SELECT 
0e20: 69 64 78 2c 20 73 74 61 74 20 46 52 4f 4d 20 73  idx, stat FROM s
0e30: 71 6c 69 74 65 5f 73 74 61 74 31 20 4f 52 44 45  qlite_stat1 ORDE
0e40: 52 20 42 59 20 69 64 78 3b 0a 20 20 20 20 50 52  R BY idx;.    PR
0e50: 41 47 4d 41 20 69 6e 74 65 67 72 69 74 79 5f 63  AGMA integrity_c
0e60: 68 65 63 6b 3b 0a 20 20 7d 0a 7d 20 7b 74 31 20  heck;.  }.} {t1 
0e70: 7b 32 30 20 31 7d 20 74 31 61 20 7b 32 30 20 31  {20 1} t1a {20 1
0e80: 7d 20 74 31 62 20 7b 31 30 20 31 7d 20 6f 6b 7d  } t1b {10 1} ok}
0e90: 0a 0a 64 6f 5f 74 65 73 74 20 69 6e 64 65 78 37  ..do_test index7
0ea0: 2d 31 2e 31 31 62 20 7b 0a 20 20 65 78 65 63 73  -1.11b {.  execs
0eb0: 71 6c 20 7b 0a 20 20 20 20 55 50 44 41 54 45 20  ql {.    UPDATE 
0ec0: 74 31 20 53 45 54 20 61 3d 4e 55 4c 4c 20 57 48  t1 SET a=NULL WH
0ed0: 45 52 45 20 62 25 33 21 3d 30 3b 0a 20 20 20 20  ERE b%3!=0;.    
0ee0: 55 50 44 41 54 45 20 74 31 20 53 45 54 20 62 3d  UPDATE t1 SET b=
0ef0: 62 2b 31 30 30 3b 0a 20 20 20 20 41 4e 41 4c 59  b+100;.    ANALY
0f00: 5a 45 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 69  ZE;.    SELECT i
0f10: 64 78 2c 20 73 74 61 74 20 46 52 4f 4d 20 73 71  dx, stat FROM sq
0f20: 6c 69 74 65 5f 73 74 61 74 31 20 4f 52 44 45 52  lite_stat1 ORDER
0f30: 20 42 59 20 69 64 78 3b 0a 20 20 20 20 50 52 41   BY idx;.    PRA
0f40: 47 4d 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68  GMA integrity_ch
0f50: 65 63 6b 3b 0a 20 20 7d 0a 7d 20 7b 74 31 20 7b  eck;.  }.} {t1 {
0f60: 32 30 20 31 7d 20 74 31 61 20 7b 36 20 31 7d 20  20 1} t1a {6 1} 
0f70: 74 31 62 20 7b 32 30 20 31 7d 20 6f 6b 7d 0a 0a  t1b {20 1} ok}..
0f80: 64 6f 5f 74 65 73 74 20 69 6e 64 65 78 37 2d 31  do_test index7-1
0f90: 2e 31 32 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  .12 {.  execsql 
0fa0: 7b 0a 20 20 20 20 55 50 44 41 54 45 20 74 31 20  {.    UPDATE t1 
0fb0: 53 45 54 20 61 3d 43 41 53 45 20 57 48 45 4e 20  SET a=CASE WHEN 
0fc0: 62 25 33 21 3d 30 20 54 48 45 4e 20 62 20 45 4e  b%3!=0 THEN b EN
0fd0: 44 3b 0a 20 20 20 20 55 50 44 41 54 45 20 74 31  D;.    UPDATE t1
0fe0: 20 53 45 54 20 62 3d 62 2d 31 30 30 3b 0a 20 20   SET b=b-100;.  
0ff0: 20 20 41 4e 41 4c 59 5a 45 3b 0a 20 20 20 20 53    ANALYZE;.    S
1000: 45 4c 45 43 54 20 69 64 78 2c 20 73 74 61 74 20  ELECT idx, stat 
1010: 46 52 4f 4d 20 73 71 6c 69 74 65 5f 73 74 61 74  FROM sqlite_stat
1020: 31 20 4f 52 44 45 52 20 42 59 20 69 64 78 3b 0a  1 ORDER BY idx;.
1030: 20 20 20 20 50 52 41 47 4d 41 20 69 6e 74 65 67      PRAGMA integ
1040: 72 69 74 79 5f 63 68 65 63 6b 3b 0a 20 20 7d 0a  rity_check;.  }.
1050: 7d 20 7b 74 31 20 7b 32 30 20 31 7d 20 74 31 61  } {t1 {20 1} t1a
1060: 20 7b 31 33 20 31 7d 20 74 31 62 20 7b 31 30 20   {13 1} t1b {10 
1070: 31 7d 20 6f 6b 7d 0a 0a 64 6f 5f 74 65 73 74 20  1} ok}..do_test 
1080: 69 6e 64 65 78 37 2d 31 2e 31 33 20 7b 0a 20 20  index7-1.13 {.  
1090: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 44 45  execsql {.    DE
10a0: 4c 45 54 45 20 46 52 4f 4d 20 74 31 20 57 48 45  LETE FROM t1 WHE
10b0: 52 45 20 62 20 42 45 54 57 45 45 4e 20 38 20 41  RE b BETWEEN 8 A
10c0: 4e 44 20 31 32 3b 0a 20 20 20 20 41 4e 41 4c 59  ND 12;.    ANALY
10d0: 5a 45 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 69  ZE;.    SELECT i
10e0: 64 78 2c 20 73 74 61 74 20 46 52 4f 4d 20 73 71  dx, stat FROM sq
10f0: 6c 69 74 65 5f 73 74 61 74 31 20 4f 52 44 45 52  lite_stat1 ORDER
1100: 20 42 59 20 69 64 78 3b 0a 20 20 20 20 50 52 41   BY idx;.    PRA
1110: 47 4d 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68  GMA integrity_ch
1120: 65 63 6b 3b 0a 20 20 7d 0a 7d 20 7b 74 31 20 7b  eck;.  }.} {t1 {
1130: 31 35 20 31 7d 20 74 31 61 20 7b 31 30 20 31 7d  15 1} t1a {10 1}
1140: 20 74 31 62 20 7b 38 20 31 7d 20 6f 6b 7d 0a 0a   t1b {8 1} ok}..
1150: 64 6f 5f 74 65 73 74 20 69 6e 64 65 78 37 2d 31  do_test index7-1
1160: 2e 31 34 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  .14 {.  execsql 
1170: 7b 0a 20 20 20 20 52 45 49 4e 44 45 58 3b 0a 20  {.    REINDEX;. 
1180: 20 20 20 41 4e 41 4c 59 5a 45 3b 0a 20 20 20 20     ANALYZE;.    
1190: 53 45 4c 45 43 54 20 69 64 78 2c 20 73 74 61 74  SELECT idx, stat
11a0: 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 73 74 61   FROM sqlite_sta
11b0: 74 31 20 4f 52 44 45 52 20 42 59 20 69 64 78 3b  t1 ORDER BY idx;
11c0: 0a 20 20 20 20 50 52 41 47 4d 41 20 69 6e 74 65  .    PRAGMA inte
11d0: 67 72 69 74 79 5f 63 68 65 63 6b 3b 0a 20 20 7d  grity_check;.  }
11e0: 0a 7d 20 7b 74 31 20 7b 31 35 20 31 7d 20 74 31  .} {t1 {15 1} t1
11f0: 61 20 7b 31 30 20 31 7d 20 74 31 62 20 7b 38 20  a {10 1} t1b {8 
1200: 31 7d 20 6f 6b 7d 0a 0a 64 6f 5f 74 65 73 74 20  1} ok}..do_test 
1210: 69 6e 64 65 78 37 2d 31 2e 31 35 20 7b 0a 20 20  index7-1.15 {.  
1220: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 43 52  execsql {.    CR
1230: 45 41 54 45 20 49 4e 44 45 58 20 74 31 63 20 4f  EATE INDEX t1c O
1240: 4e 20 74 31 28 63 29 3b 0a 20 20 20 20 41 4e 41  N t1(c);.    ANA
1250: 4c 59 5a 45 3b 0a 20 20 20 20 53 45 4c 45 43 54  LYZE;.    SELECT
1260: 20 69 64 78 2c 20 73 74 61 74 20 46 52 4f 4d 20   idx, stat FROM 
1270: 73 71 6c 69 74 65 5f 73 74 61 74 31 20 4f 52 44  sqlite_stat1 ORD
1280: 45 52 20 42 59 20 69 64 78 3b 0a 20 20 20 20 50  ER BY idx;.    P
1290: 52 41 47 4d 41 20 69 6e 74 65 67 72 69 74 79 5f  RAGMA integrity_
12a0: 63 68 65 63 6b 3b 0a 20 20 7d 0a 7d 20 7b 74 31  check;.  }.} {t1
12b0: 20 7b 31 35 20 31 7d 20 74 31 61 20 7b 31 30 20   {15 1} t1a {10 
12c0: 31 7d 20 74 31 62 20 7b 38 20 31 7d 20 74 31 63  1} t1b {8 1} t1c
12d0: 20 7b 31 35 20 31 7d 20 6f 6b 7d 0a 0a 23 20 51   {15 1} ok}..# Q
12e0: 75 65 72 69 65 73 20 75 73 65 20 70 61 72 74 69  ueries use parti
12f0: 61 6c 20 69 6e 64 69 63 65 73 20 61 73 20 61 70  al indices as ap
1300: 70 72 6f 70 72 69 61 74 65 20 74 69 6d 65 73 2e  propriate times.
1310: 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6e 64 65 78  .#.do_test index
1320: 37 2d 32 2e 31 20 7b 0a 20 20 65 78 65 63 73 71  7-2.1 {.  execsq
1330: 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54  l {.    CREATE T
1340: 41 42 4c 45 20 74 32 28 61 2c 62 20 50 52 49 4d  ABLE t2(a,b PRIM
1350: 41 52 59 20 4b 45 59 29 20 77 69 74 68 6f 75 74  ARY KEY) without
1360: 20 72 6f 77 69 64 3b 0a 20 20 20 20 49 4e 53 45   rowid;.    INSE
1370: 52 54 20 49 4e 54 4f 20 74 32 28 61 2c 62 29 20  RT INTO t2(a,b) 
1380: 53 45 4c 45 43 54 20 76 61 6c 75 65 2c 20 76 61  SELECT value, va
1390: 6c 75 65 20 46 52 4f 4d 20 6e 75 6d 73 20 57 48  lue FROM nums WH
13a0: 45 52 45 20 76 61 6c 75 65 3c 31 30 30 30 3b 0a  ERE value<1000;.
13b0: 20 20 20 20 55 50 44 41 54 45 20 74 32 20 53 45      UPDATE t2 SE
13c0: 54 20 61 3d 4e 55 4c 4c 20 57 48 45 52 45 20 62  T a=NULL WHERE b
13d0: 25 35 3d 3d 30 3b 0a 20 20 20 20 43 52 45 41 54  %5==0;.    CREAT
13e0: 45 20 49 4e 44 45 58 20 74 32 61 31 20 4f 4e 20  E INDEX t2a1 ON 
13f0: 74 32 28 61 29 20 57 48 45 52 45 20 61 20 49 53  t2(a) WHERE a IS
1400: 20 4e 4f 54 20 4e 55 4c 4c 3b 0a 20 20 20 20 53   NOT NULL;.    S
1410: 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29 20 46  ELECT count(*) F
1420: 52 4f 4d 20 74 32 20 57 48 45 52 45 20 61 20 49  ROM t2 WHERE a I
1430: 53 20 4e 4f 54 20 4e 55 4c 4c 3b 0a 20 20 7d 0a  S NOT NULL;.  }.
1440: 7d 20 7b 38 30 30 7d 0a 64 6f 5f 74 65 73 74 20  } {800}.do_test 
1450: 69 6e 64 65 78 37 2d 32 2e 32 20 7b 0a 20 20 65  index7-2.2 {.  e
1460: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 45 58 50  xecsql {.    EXP
1470: 4c 41 49 4e 20 51 55 45 52 59 20 50 4c 41 4e 0a  LAIN QUERY PLAN.
1480: 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f      SELECT * FRO
1490: 4d 20 74 32 20 57 48 45 52 45 20 61 3d 35 3b 0a  M t2 WHERE a=5;.
14a0: 20 20 7d 0a 7d 20 7b 2f 2e 2a 20 54 41 42 4c 45    }.} {/.* TABLE
14b0: 20 74 32 20 55 53 49 4e 47 20 43 4f 56 45 52 49   t2 USING COVERI
14c0: 4e 47 20 49 4e 44 45 58 20 74 32 61 31 20 2e 2a  NG INDEX t2a1 .*
14d0: 2f 7d 0a 69 66 63 61 70 61 62 6c 65 20 73 74 61  /}.ifcapable sta
14e0: 74 34 7c 7c 73 74 61 74 33 20 7b 0a 20 20 64 6f  t4||stat3 {.  do
14f0: 5f 74 65 73 74 20 69 6e 64 65 78 37 2d 32 2e 33  _test index7-2.3
1500: 73 74 61 74 34 20 7b 0a 20 20 20 20 65 78 65 63  stat4 {.    exec
1510: 73 71 6c 20 7b 0a 20 20 20 20 20 20 45 58 50 4c  sql {.      EXPL
1520: 41 49 4e 20 51 55 45 52 59 20 50 4c 41 4e 0a 20  AIN QUERY PLAN. 
1530: 20 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52       SELECT * FR
1540: 4f 4d 20 74 32 20 57 48 45 52 45 20 61 20 49 53  OM t2 WHERE a IS
1550: 20 4e 4f 54 20 4e 55 4c 4c 3b 0a 20 20 20 20 7d   NOT NULL;.    }
1560: 0a 20 20 7d 20 7b 2f 2e 2a 20 54 41 42 4c 45 20  .  } {/.* TABLE 
1570: 74 32 20 55 53 49 4e 47 20 43 4f 56 45 52 49 4e  t2 USING COVERIN
1580: 47 20 49 4e 44 45 58 20 74 32 61 31 20 2e 2a 2f  G INDEX t2a1 .*/
1590: 7d 0a 7d 20 65 6c 73 65 20 7b 0a 20 20 64 6f 5f  }.} else {.  do_
15a0: 74 65 73 74 20 69 6e 64 65 78 37 2d 32 2e 33 73  test index7-2.3s
15b0: 74 61 74 34 20 7b 0a 20 20 20 20 65 78 65 63 73  tat4 {.    execs
15c0: 71 6c 20 7b 0a 20 20 20 20 20 20 45 58 50 4c 41  ql {.      EXPLA
15d0: 49 4e 20 51 55 45 52 59 20 50 4c 41 4e 0a 20 20  IN QUERY PLAN.  
15e0: 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f      SELECT * FRO
15f0: 4d 20 74 32 20 57 48 45 52 45 20 61 20 49 53 20  M t2 WHERE a IS 
1600: 4e 4f 54 20 4e 55 4c 4c 20 41 4e 44 20 61 3e 30  NOT NULL AND a>0
1610: 3b 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 2f 2e 2a  ;.    }.  } {/.*
1620: 20 54 41 42 4c 45 20 74 32 20 55 53 49 4e 47 20   TABLE t2 USING 
1630: 43 4f 56 45 52 49 4e 47 20 49 4e 44 45 58 20 74  COVERING INDEX t
1640: 32 61 31 20 2e 2a 2f 7d 0a 7d 0a 64 6f 5f 74 65  2a1 .*/}.}.do_te
1650: 73 74 20 69 6e 64 65 78 37 2d 32 2e 34 20 7b 0a  st index7-2.4 {.
1660: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
1670: 45 58 50 4c 41 49 4e 20 51 55 45 52 59 20 50 4c  EXPLAIN QUERY PL
1680: 41 4e 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20  AN.    SELECT * 
1690: 46 52 4f 4d 20 74 32 20 57 48 45 52 45 20 61 20  FROM t2 WHERE a 
16a0: 49 53 20 4e 55 4c 4c 3b 0a 20 20 7d 0a 7d 20 7b  IS NULL;.  }.} {
16b0: 7e 2f 2e 2a 49 4e 44 45 58 20 74 32 61 31 2e 2a  ~/.*INDEX t2a1.*
16c0: 2f 7d 0a 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74  /}..do_execsql_t
16d0: 65 73 74 20 69 6e 64 65 78 37 2d 32 2e 31 30 31  est index7-2.101
16e0: 20 7b 0a 20 20 44 52 4f 50 20 49 4e 44 45 58 20   {.  DROP INDEX 
16f0: 74 32 61 31 3b 0a 20 20 55 50 44 41 54 45 20 74  t2a1;.  UPDATE t
1700: 32 20 53 45 54 20 61 3d 62 2c 20 62 3d 62 2b 31  2 SET a=b, b=b+1
1710: 30 30 30 30 3b 0a 20 20 53 45 4c 45 43 54 20 62  0000;.  SELECT b
1720: 20 46 52 4f 4d 20 74 32 20 57 48 45 52 45 20 61   FROM t2 WHERE a
1730: 3d 31 35 3b 0a 7d 20 7b 31 30 30 31 35 7d 0a 64  =15;.} {10015}.d
1740: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 69  o_execsql_test i
1750: 6e 64 65 78 37 2d 32 2e 31 30 32 20 7b 0a 20 20  ndex7-2.102 {.  
1760: 43 52 45 41 54 45 20 49 4e 44 45 58 20 74 32 61  CREATE INDEX t2a
1770: 32 20 4f 4e 20 74 32 28 61 29 20 57 48 45 52 45  2 ON t2(a) WHERE
1780: 20 61 3c 31 30 30 20 4f 52 20 61 3e 32 30 30 3b   a<100 OR a>200;
1790: 0a 20 20 53 45 4c 45 43 54 20 62 20 46 52 4f 4d  .  SELECT b FROM
17a0: 20 74 32 20 57 48 45 52 45 20 61 3d 31 35 3b 0a   t2 WHERE a=15;.
17b0: 20 20 50 52 41 47 4d 41 20 69 6e 74 65 67 72 69    PRAGMA integri
17c0: 74 79 5f 63 68 65 63 6b 3b 0a 7d 20 7b 31 30 30  ty_check;.} {100
17d0: 31 35 20 6f 6b 7d 0a 64 6f 5f 65 78 65 63 73 71  15 ok}.do_execsq
17e0: 6c 5f 74 65 73 74 20 69 6e 64 65 78 37 2d 32 2e  l_test index7-2.
17f0: 31 30 32 65 71 70 20 7b 0a 20 20 45 58 50 4c 41  102eqp {.  EXPLA
1800: 49 4e 20 51 55 45 52 59 20 50 4c 41 4e 0a 20 20  IN QUERY PLAN.  
1810: 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20 74 32  SELECT b FROM t2
1820: 20 57 48 45 52 45 20 61 3d 31 35 3b 0a 7d 20 7b   WHERE a=15;.} {
1830: 7e 2f 2e 2a 49 4e 44 45 58 20 74 32 61 32 2e 2a  ~/.*INDEX t2a2.*
1840: 2f 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  /}.do_execsql_te
1850: 73 74 20 69 6e 64 65 78 37 2d 32 2e 31 30 33 20  st index7-2.103 
1860: 7b 0a 20 20 53 45 4c 45 43 54 20 62 20 46 52 4f  {.  SELECT b FRO
1870: 4d 20 74 32 20 57 48 45 52 45 20 61 3d 31 35 20  M t2 WHERE a=15 
1880: 41 4e 44 20 61 3c 31 30 30 3b 0a 7d 20 7b 31 30  AND a<100;.} {10
1890: 30 31 35 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f  015}.do_execsql_
18a0: 74 65 73 74 20 69 6e 64 65 78 37 2d 32 2e 31 30  test index7-2.10
18b0: 33 65 71 70 20 7b 0a 20 20 45 58 50 4c 41 49 4e  3eqp {.  EXPLAIN
18c0: 20 51 55 45 52 59 20 50 4c 41 4e 0a 20 20 53 45   QUERY PLAN.  SE
18d0: 4c 45 43 54 20 62 20 46 52 4f 4d 20 74 32 20 57  LECT b FROM t2 W
18e0: 48 45 52 45 20 61 3d 31 35 20 41 4e 44 20 61 3c  HERE a=15 AND a<
18f0: 31 30 30 3b 0a 7d 20 7b 2f 2e 2a 49 4e 44 45 58  100;.} {/.*INDEX
1900: 20 74 32 61 32 2e 2a 2f 7d 0a 64 6f 5f 65 78 65   t2a2.*/}.do_exe
1910: 63 73 71 6c 5f 74 65 73 74 20 69 6e 64 65 78 37  csql_test index7
1920: 2d 32 2e 31 30 34 20 7b 0a 20 20 53 45 4c 45 43  -2.104 {.  SELEC
1930: 54 20 62 20 46 52 4f 4d 20 74 32 20 57 48 45 52  T b FROM t2 WHER
1940: 45 20 61 3d 35 31 35 20 41 4e 44 20 61 3e 32 30  E a=515 AND a>20
1950: 30 3b 0a 7d 20 7b 31 30 35 31 35 7d 0a 64 6f 5f  0;.} {10515}.do_
1960: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 69 6e 64  execsql_test ind
1970: 65 78 37 2d 32 2e 31 30 34 65 71 70 20 7b 0a 20  ex7-2.104eqp {. 
1980: 20 45 58 50 4c 41 49 4e 20 51 55 45 52 59 20 50   EXPLAIN QUERY P
1990: 4c 41 4e 0a 20 20 53 45 4c 45 43 54 20 62 20 46  LAN.  SELECT b F
19a0: 52 4f 4d 20 74 32 20 57 48 45 52 45 20 61 3d 35  ROM t2 WHERE a=5
19b0: 31 35 20 41 4e 44 20 61 3e 32 30 30 3b 0a 7d 20  15 AND a>200;.} 
19c0: 7b 2f 2e 2a 49 4e 44 45 58 20 74 32 61 32 2e 2a  {/.*INDEX t2a2.*
19d0: 2f 7d 0a 0a 23 20 50 61 72 74 69 61 6c 20 55 4e  /}..# Partial UN
19e0: 49 51 55 45 20 69 6e 64 69 63 65 73 0a 23 0a 64  IQUE indices.#.d
19f0: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 69  o_execsql_test i
1a00: 6e 64 65 78 37 2d 33 2e 31 20 7b 0a 20 20 43 52  ndex7-3.1 {.  CR
1a10: 45 41 54 45 20 54 41 42 4c 45 20 74 33 28 61 2c  EATE TABLE t3(a,
1a20: 62 20 50 52 49 4d 41 52 59 20 4b 45 59 29 20 77  b PRIMARY KEY) w
1a30: 69 74 68 6f 75 74 20 72 6f 77 69 64 3b 0a 20 20  ithout rowid;.  
1a40: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 33 20 53  INSERT INTO t3 S
1a50: 45 4c 45 43 54 20 76 61 6c 75 65 2c 20 76 61 6c  ELECT value, val
1a60: 75 65 20 46 52 4f 4d 20 6e 75 6d 73 20 57 48 45  ue FROM nums WHE
1a70: 52 45 20 76 61 6c 75 65 3c 32 30 30 3b 0a 20 20  RE value<200;.  
1a80: 55 50 44 41 54 45 20 74 33 20 53 45 54 20 61 3d  UPDATE t3 SET a=
1a90: 39 39 39 20 57 48 45 52 45 20 62 25 35 21 3d 30  999 WHERE b%5!=0
1aa0: 3b 0a 20 20 43 52 45 41 54 45 20 55 4e 49 51 55  ;.  CREATE UNIQU
1ab0: 45 20 49 4e 44 45 58 20 74 33 61 20 4f 4e 20 74  E INDEX t3a ON t
1ac0: 33 28 61 29 20 57 48 45 52 45 20 61 3c 3e 39 39  3(a) WHERE a<>99
1ad0: 39 3b 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20  9;.} {}.do_test 
1ae0: 69 6e 64 65 78 37 2d 33 2e 32 20 7b 0a 20 20 23  index7-3.2 {.  #
1af0: 20 75 6e 61 62 6c 65 20 74 6f 20 69 6e 73 65 72   unable to inser
1b00: 74 20 61 20 64 75 70 6c 69 63 61 74 65 20 72 6f  t a duplicate ro
1b10: 77 20 61 2d 76 61 6c 75 65 20 74 68 61 74 20 69  w a-value that i
1b20: 73 20 6e 6f 74 20 39 39 39 2e 0a 20 20 63 61 74  s not 999..  cat
1b30: 63 68 73 71 6c 20 7b 0a 20 20 20 20 49 4e 53 45  chsql {.    INSE
1b40: 52 54 20 49 4e 54 4f 20 74 33 28 61 2c 62 29 20  RT INTO t3(a,b) 
1b50: 56 41 4c 55 45 53 28 31 35 30 2c 20 27 74 65 73  VALUES(150, 'tes
1b60: 74 31 27 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b  t1');.  }.} {1 {
1b70: 55 4e 49 51 55 45 20 63 6f 6e 73 74 72 61 69 6e  UNIQUE constrain
1b80: 74 20 66 61 69 6c 65 64 3a 20 74 33 2e 61 7d 7d  t failed: t3.a}}
1b90: 0a 64 6f 5f 74 65 73 74 20 69 6e 64 65 78 37 2d  .do_test index7-
1ba0: 33 2e 33 20 7b 0a 20 20 23 20 63 61 6e 20 69 6e  3.3 {.  # can in
1bb0: 73 65 72 74 20 6d 75 6c 74 69 70 6c 65 20 72 6f  sert multiple ro
1bc0: 77 73 20 77 69 74 68 20 61 3d 3d 39 39 39 20 62  ws with a==999 b
1bd0: 65 63 61 75 73 65 20 73 75 63 68 20 72 6f 77 73  ecause such rows
1be0: 20 61 72 65 20 6e 6f 74 0a 20 20 23 20 70 61 72   are not.  # par
1bf0: 74 20 6f 66 20 74 68 65 20 75 6e 69 71 75 65 20  t of the unique 
1c00: 69 6e 64 65 78 2e 0a 20 20 63 61 74 63 68 73 71  index..  catchsq
1c10: 6c 20 7b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  l {.    INSERT I
1c20: 4e 54 4f 20 74 33 28 61 2c 62 29 20 56 41 4c 55  NTO t3(a,b) VALU
1c30: 45 53 28 39 39 39 2c 20 27 74 65 73 74 31 27 29  ES(999, 'test1')
1c40: 2c 20 28 39 39 39 2c 20 27 74 65 73 74 32 27 29  , (999, 'test2')
1c50: 3b 0a 20 20 7d 0a 7d 20 7b 30 20 7b 7d 7d 0a 64  ;.  }.} {0 {}}.d
1c60: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 69  o_execsql_test i
1c70: 6e 64 65 78 37 2d 33 2e 34 20 7b 0a 20 20 53 45  ndex7-3.4 {.  SE
1c80: 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29 20 46 52  LECT count(*) FR
1c90: 4f 4d 20 74 33 20 57 48 45 52 45 20 61 3d 39 39  OM t3 WHERE a=99
1ca0: 39 3b 0a 7d 20 7b 31 36 32 7d 0a 69 6e 74 65 67  9;.} {162}.integ
1cb0: 72 69 74 79 5f 63 68 65 63 6b 20 69 6e 64 65 78  rity_check index
1cc0: 37 2d 33 2e 35 0a 0a 64 6f 5f 65 78 65 63 73 71  7-3.5..do_execsq
1cd0: 6c 5f 74 65 73 74 20 69 6e 64 65 78 37 2d 34 2e  l_test index7-4.
1ce0: 30 20 7b 0a 20 20 56 41 43 55 55 4d 3b 0a 20 20  0 {.  VACUUM;.  
1cf0: 50 52 41 47 4d 41 20 69 6e 74 65 67 72 69 74 79  PRAGMA integrity
1d00: 5f 63 68 65 63 6b 3b 0a 7d 20 7b 6f 6b 7d 0a 0a  _check;.} {ok}..
1d10: 23 20 53 69 6c 65 6e 74 6c 79 20 69 67 6e 6f 72  # Silently ignor
1d20: 65 20 64 61 74 61 62 61 73 65 20 6e 61 6d 65 20  e database name 
1d30: 71 75 61 6c 69 66 69 65 72 73 20 69 6e 20 70 61  qualifiers in pa
1d40: 72 74 69 61 6c 20 69 6e 64 69 63 65 73 2e 0a 23  rtial indices..#
1d50: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74  .do_execsql_test
1d60: 20 69 6e 64 65 78 37 2d 35 2e 30 20 7b 0a 20 20   index7-5.0 {.  
1d70: 43 52 45 41 54 45 20 49 4e 44 45 58 20 74 33 62  CREATE INDEX t3b
1d80: 20 4f 4e 20 74 33 28 62 29 20 57 48 45 52 45 20   ON t3(b) WHERE 
1d90: 78 79 7a 7a 79 2e 74 33 2e 62 20 42 45 54 57 45  xyzzy.t3.b BETWE
1da0: 45 4e 20 35 20 41 4e 44 20 31 30 3b 0a 20 20 20  EN 5 AND 10;.   
1db0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1dc0: 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 5e              /* ^
1dd0: 5e 5e 5e 5e 2d 2d 20 69 67 6e 6f 72 65 64 20 2a  ^^^^-- ignored *
1de0: 2f 0a 20 20 41 4e 41 4c 59 5a 45 3b 0a 20 20 53  /.  ANALYZE;.  S
1df0: 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29 20 46  ELECT count(*) F
1e00: 52 4f 4d 20 74 33 20 57 48 45 52 45 20 74 33 2e  ROM t3 WHERE t3.
1e10: 62 20 42 45 54 57 45 45 4e 20 35 20 41 4e 44 20  b BETWEEN 5 AND 
1e20: 31 30 3b 0a 20 20 53 45 4c 45 43 54 20 73 74 61  10;.  SELECT sta
1e30: 74 2b 30 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f  t+0 FROM sqlite_
1e40: 73 74 61 74 31 20 57 48 45 52 45 20 69 64 78 3d  stat1 WHERE idx=
1e50: 27 74 33 62 27 3b 0a 7d 20 7b 36 20 36 7d 0a 0a  't3b';.} {6 6}..
1e60: 23 20 56 65 72 69 66 79 20 74 68 61 74 20 74 68  # Verify that th
1e70: 65 20 70 72 6f 62 6c 65 6d 20 69 64 65 6e 74 69  e problem identi
1e80: 66 69 65 64 20 62 79 20 74 69 63 6b 65 74 20 5b  fied by ticket [
1e90: 39 38 64 39 37 33 62 38 66 35 5d 20 68 61 73 20  98d973b8f5] has 
1ea0: 62 65 65 6e 20 66 69 78 65 64 2e 0a 23 0a 64 6f  been fixed..#.do
1eb0: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 69 6e  _execsql_test in
1ec0: 64 65 78 37 2d 36 2e 31 20 7b 0a 20 20 43 52 45  dex7-6.1 {.  CRE
1ed0: 41 54 45 20 54 41 42 4c 45 20 74 35 28 61 2c 20  ATE TABLE t5(a, 
1ee0: 62 29 3b 0a 20 20 43 52 45 41 54 45 20 54 41 42  b);.  CREATE TAB
1ef0: 4c 45 20 74 34 28 63 2c 20 64 29 3b 0a 20 20 49  LE t4(c, d);.  I
1f00: 4e 53 45 52 54 20 49 4e 54 4f 20 74 35 20 56 41  NSERT INTO t5 VA
1f10: 4c 55 45 53 28 31 2c 20 27 78 79 7a 27 29 3b 0a  LUES(1, 'xyz');.
1f20: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 34    INSERT INTO t4
1f30: 20 56 41 4c 55 45 53 28 27 61 62 63 27 2c 20 27   VALUES('abc', '
1f40: 6e 6f 74 20 78 79 7a 27 29 3b 0a 20 20 53 45 4c  not xyz');.  SEL
1f50: 45 43 54 20 2a 20 46 52 4f 4d 20 28 53 45 4c 45  ECT * FROM (SELE
1f60: 43 54 20 2a 20 46 52 4f 4d 20 74 35 20 57 48 45  CT * FROM t5 WHE
1f70: 52 45 20 61 3d 31 20 41 4e 44 20 62 3d 27 78 79  RE a=1 AND b='xy
1f80: 7a 27 29 2c 20 74 34 20 57 48 45 52 45 20 63 3d  z'), t4 WHERE c=
1f90: 27 61 62 63 27 3b 0a 7d 20 7b 0a 20 20 31 20 78  'abc';.} {.  1 x
1fa0: 79 7a 20 61 62 63 20 7b 6e 6f 74 20 78 79 7a 7d  yz abc {not xyz}
1fb0: 0a 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  .}.do_execsql_te
1fc0: 73 74 20 69 6e 64 65 78 37 2d 36 2e 32 20 7b 0a  st index7-6.2 {.
1fd0: 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 69    CREATE INDEX i
1fe0: 34 20 4f 4e 20 74 34 28 63 29 20 57 48 45 52 45  4 ON t4(c) WHERE
1ff0: 20 64 3d 27 78 79 7a 27 3b 0a 20 20 53 45 4c 45   d='xyz';.  SELE
2000: 43 54 20 2a 20 46 52 4f 4d 20 28 53 45 4c 45 43  CT * FROM (SELEC
2010: 54 20 2a 20 46 52 4f 4d 20 74 35 20 57 48 45 52  T * FROM t5 WHER
2020: 45 20 61 3d 31 20 41 4e 44 20 62 3d 27 78 79 7a  E a=1 AND b='xyz
2030: 27 29 2c 20 74 34 20 57 48 45 52 45 20 63 3d 27  '), t4 WHERE c='
2040: 61 62 63 27 3b 0a 7d 20 7b 0a 20 20 31 20 78 79  abc';.} {.  1 xy
2050: 7a 20 61 62 63 20 7b 6e 6f 74 20 78 79 7a 7d 0a  z abc {not xyz}.
2060: 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73  }.do_execsql_tes
2070: 74 20 69 6e 64 65 78 37 2d 36 2e 33 20 7b 0a 20  t index7-6.3 {. 
2080: 20 43 52 45 41 54 45 20 56 49 45 57 20 76 34 20   CREATE VIEW v4 
2090: 41 53 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d  AS SELECT * FROM
20a0: 20 74 34 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e   t4;.  INSERT IN
20b0: 54 4f 20 74 34 20 56 41 4c 55 45 53 28 27 64 65  TO t4 VALUES('de
20c0: 66 27 2c 20 27 78 79 7a 27 29 3b 0a 20 20 53 45  f', 'xyz');.  SE
20d0: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 76 34 20 57  LECT * FROM v4 W
20e0: 48 45 52 45 20 64 3d 27 78 79 7a 27 20 41 4e 44  HERE d='xyz' AND
20f0: 20 63 3d 27 64 65 66 27 0a 7d 20 7b 0a 20 20 64   c='def'.} {.  d
2100: 65 66 20 78 79 7a 0a 7d 0a 64 6f 5f 65 71 70 5f  ef xyz.}.do_eqp_
2110: 74 65 73 74 20 69 6e 64 65 78 37 2d 36 2e 34 20  test index7-6.4 
2120: 7b 0a 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f  {.  SELECT * FRO
2130: 4d 20 76 34 20 57 48 45 52 45 20 64 3d 27 78 79  M v4 WHERE d='xy
2140: 7a 27 20 41 4e 44 20 63 3d 27 64 65 66 27 0a 7d  z' AND c='def'.}
2150: 20 7b 0a 20 20 30 20 30 20 30 20 7b 53 45 41 52   {.  0 0 0 {SEAR
2160: 43 48 20 54 41 42 4c 45 20 74 34 20 55 53 49 4e  CH TABLE t4 USIN
2170: 47 20 49 4e 44 45 58 20 69 34 20 28 63 3d 3f 29  G INDEX i4 (c=?)
2180: 7d 0a 7d 0a 64 6f 5f 63 61 74 63 68 73 71 6c 5f  }.}.do_catchsql_
2190: 74 65 73 74 20 69 6e 64 65 78 37 2d 36 2e 35 20  test index7-6.5 
21a0: 7b 0a 20 20 43 52 45 41 54 45 20 49 4e 44 45 58  {.  CREATE INDEX
21b0: 20 74 35 61 20 4f 4e 20 74 35 28 61 29 20 57 48   t5a ON t5(a) WH
21c0: 45 52 45 20 61 3d 23 31 3b 0a 7d 20 7b 31 20 7b  ERE a=#1;.} {1 {
21d0: 6e 65 61 72 20 22 23 31 22 3a 20 73 79 6e 74 61  near "#1": synta
21e0: 78 20 65 72 72 6f 72 7d 7d 0a 0a 0a 66 69 6e 69  x error}}...fini
21f0: 73 68 5f 74 65 73 74 0a                          sh_test.