/ Hex Artifact Content
Login

Artifact 448fa05f5d78f5feee4832fe4017dede4ccbc660601fb7e84d02329389cb638c:


0000: 23 20 32 30 31 33 2d 30 37 2d 33 31 0a 23 0a 23  # 2013-07-31.#.#
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 0a 23 0a 0a 0a 73 65 74 20 74 65  dices.#...set te
0190: 73 74 64 69 72 20 5b 66 69 6c 65 20 64 69 72 6e  stdir [file dirn
01a0: 61 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f 75 72  ame $argv0].sour
01b0: 63 65 20 24 74 65 73 74 64 69 72 2f 74 65 73 74  ce $testdir/test
01c0: 65 72 2e 74 63 6c 0a 0a 69 66 63 61 70 61 62 6c  er.tcl..ifcapabl
01d0: 65 20 21 76 74 61 62 20 7b 0a 20 20 66 69 6e 69  e !vtab {.  fini
01e0: 73 68 5f 74 65 73 74 0a 20 20 72 65 74 75 72 6e  sh_test.  return
01f0: 0a 7d 0a 0a 6c 6f 61 64 5f 73 74 61 74 69 63 5f  .}..load_static_
0200: 65 78 74 65 6e 73 69 6f 6e 20 64 62 20 77 68 6f  extension db who
0210: 6c 65 6e 75 6d 62 65 72 3b 0a 64 6f 5f 74 65 73  lenumber;.do_tes
0220: 74 20 69 6e 64 65 78 36 2d 31 2e 31 20 7b 0a 20  t index6-1.1 {. 
0230: 20 23 20 41 62 6c 65 20 74 6f 20 70 61 72 73 65   # Able to parse
0240: 20 61 6e 64 20 6d 61 6e 61 67 65 20 70 61 72 74   and manage part
0250: 69 61 6c 20 69 6e 64 69 63 65 73 0a 20 20 65 78  ial indices.  ex
0260: 65 63 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41  ecsql {.    CREA
0270: 54 45 20 54 41 42 4c 45 20 74 31 28 61 2c 62 2c  TE TABLE t1(a,b,
0280: 63 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20 49  c);.    CREATE I
0290: 4e 44 45 58 20 74 31 61 20 4f 4e 20 74 31 28 61  NDEX t1a ON t1(a
02a0: 29 20 57 48 45 52 45 20 61 20 49 53 20 4e 4f 54  ) WHERE a IS NOT
02b0: 20 4e 55 4c 4c 3b 0a 20 20 20 20 43 52 45 41 54   NULL;.    CREAT
02c0: 45 20 49 4e 44 45 58 20 74 31 62 20 4f 4e 20 74  E INDEX t1b ON t
02d0: 31 28 62 29 20 57 48 45 52 45 20 62 3e 31 30 3b  1(b) WHERE b>10;
02e0: 0a 20 20 20 20 43 52 45 41 54 45 20 56 49 52 54  .    CREATE VIRT
02f0: 55 41 4c 20 54 41 42 4c 45 20 6e 75 6d 73 20 55  UAL TABLE nums U
0300: 53 49 4e 47 20 77 68 6f 6c 65 6e 75 6d 62 65 72  SING wholenumber
0310: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
0320: 4f 20 74 31 28 61 2c 62 2c 63 29 0a 20 20 20 20  O t1(a,b,c).    
0330: 20 20 20 53 45 4c 45 43 54 20 43 41 53 45 20 57     SELECT CASE W
0340: 48 45 4e 20 76 61 6c 75 65 25 33 21 3d 30 20 54  HEN value%3!=0 T
0350: 48 45 4e 20 76 61 6c 75 65 20 45 4e 44 2c 20 76  HEN value END, v
0360: 61 6c 75 65 2c 20 76 61 6c 75 65 0a 20 20 20 20  alue, value.    
0370: 20 20 20 20 20 46 52 4f 4d 20 6e 75 6d 73 20 57       FROM nums W
0380: 48 45 52 45 20 76 61 6c 75 65 3c 3d 32 30 3b 0a  HERE value<=20;.
0390: 20 20 20 20 53 45 4c 45 43 54 20 63 6f 75 6e 74      SELECT count
03a0: 28 61 29 2c 20 63 6f 75 6e 74 28 62 29 20 46 52  (a), count(b) FR
03b0: 4f 4d 20 74 31 3b 0a 20 20 20 20 50 52 41 47 4d  OM t1;.    PRAGM
03c0: 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63  A integrity_chec
03d0: 6b 3b 0a 20 20 7d 0a 7d 20 7b 31 34 20 32 30 20  k;.  }.} {14 20 
03e0: 6f 6b 7d 0a 0a 23 20 4d 61 6b 65 20 73 75 72 65  ok}..# Make sure
03f0: 20 74 68 65 20 63 6f 75 6e 74 28 2a 29 20 6f 70   the count(*) op
0400: 74 69 6d 69 7a 61 74 69 6f 6e 20 77 6f 72 6b 73  timization works
0410: 20 63 6f 72 72 65 63 74 6c 79 20 77 69 74 68 0a   correctly with.
0420: 23 20 70 61 72 74 69 61 6c 20 69 6e 64 69 63 65  # partial indice
0430: 73 2e 20 20 54 69 63 6b 65 74 20 5b 61 35 63 38  s.  Ticket [a5c8
0440: 65 64 36 36 63 61 65 31 36 32 34 33 62 65 36 5d  ed66cae16243be6]
0450: 20 32 30 31 33 2d 31 30 2d 30 33 2e 0a 23 0a 64   2013-10-03..#.d
0460: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 69  o_execsql_test i
0470: 6e 64 65 78 36 2d 31 2e 31 2e 31 20 7b 0a 20 20  ndex6-1.1.1 {.  
0480: 53 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29 20  SELECT count(*) 
0490: 46 52 4f 4d 20 74 31 3b 0a 7d 20 7b 32 30 7d 0a  FROM t1;.} {20}.
04a0: 0a 23 20 45 72 72 6f 72 20 63 6f 6e 64 69 74 69  .# Error conditi
04b0: 6f 6e 73 20 64 75 72 69 6e 67 20 70 61 72 73 69  ons during parsi
04c0: 6e 67 2e 2e 2e 0a 23 0a 64 6f 5f 74 65 73 74 20  ng....#.do_test 
04d0: 69 6e 64 65 78 36 2d 31 2e 32 20 7b 0a 20 20 63  index6-1.2 {.  c
04e0: 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 43 52  atchsql {.    CR
04f0: 45 41 54 45 20 49 4e 44 45 58 20 62 61 64 31 20  EATE INDEX bad1 
0500: 4f 4e 20 74 31 28 61 2c 62 29 20 57 48 45 52 45  ON t1(a,b) WHERE
0510: 20 78 20 49 53 20 4e 4f 54 20 4e 55 4c 4c 3b 0a   x IS NOT NULL;.
0520: 20 20 7d 0a 7d 20 7b 31 20 7b 6e 6f 20 73 75 63    }.} {1 {no suc
0530: 68 20 63 6f 6c 75 6d 6e 3a 20 78 7d 7d 0a 64 6f  h column: x}}.do
0540: 5f 74 65 73 74 20 69 6e 64 65 78 36 2d 31 2e 33  _test index6-1.3
0550: 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a   {.  catchsql {.
0560: 20 20 20 20 43 52 45 41 54 45 20 49 4e 44 45 58      CREATE INDEX
0570: 20 62 61 64 31 20 4f 4e 20 74 31 28 61 2c 62 29   bad1 ON t1(a,b)
0580: 20 57 48 45 52 45 20 45 58 49 53 54 53 28 53 45   WHERE EXISTS(SE
0590: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 29 3b  LECT * FROM t1);
05a0: 0a 20 20 7d 0a 7d 20 7b 31 20 7b 73 75 62 71 75  .  }.} {1 {subqu
05b0: 65 72 69 65 73 20 70 72 6f 68 69 62 69 74 65 64  eries prohibited
05c0: 20 69 6e 20 70 61 72 74 69 61 6c 20 69 6e 64 65   in partial inde
05d0: 78 20 57 48 45 52 45 20 63 6c 61 75 73 65 73 7d  x WHERE clauses}
05e0: 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 64 65 78 36  }.do_test index6
05f0: 2d 31 2e 34 20 7b 0a 20 20 63 61 74 63 68 73 71  -1.4 {.  catchsq
0600: 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20 49  l {.    CREATE I
0610: 4e 44 45 58 20 62 61 64 31 20 4f 4e 20 74 31 28  NDEX bad1 ON t1(
0620: 61 2c 62 29 20 57 48 45 52 45 20 61 21 3d 3f 31  a,b) WHERE a!=?1
0630: 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 70 61 72 61  ;.  }.} {1 {para
0640: 6d 65 74 65 72 73 20 70 72 6f 68 69 62 69 74 65  meters prohibite
0650: 64 20 69 6e 20 70 61 72 74 69 61 6c 20 69 6e 64  d in partial ind
0660: 65 78 20 57 48 45 52 45 20 63 6c 61 75 73 65 73  ex WHERE clauses
0670: 7d 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 64 65 78  }}.do_test index
0680: 36 2d 31 2e 35 20 7b 0a 20 20 63 61 74 63 68 73  6-1.5 {.  catchs
0690: 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20  ql {.    CREATE 
06a0: 49 4e 44 45 58 20 62 61 64 31 20 4f 4e 20 74 31  INDEX bad1 ON t1
06b0: 28 61 2c 62 29 20 57 48 45 52 45 20 61 21 3d 72  (a,b) WHERE a!=r
06c0: 61 6e 64 6f 6d 28 29 3b 0a 20 20 7d 0a 7d 20 7b  andom();.  }.} {
06d0: 31 20 7b 6e 6f 6e 2d 64 65 74 65 72 6d 69 6e 69  1 {non-determini
06e0: 73 74 69 63 20 66 75 6e 63 74 69 6f 6e 73 20 70  stic functions p
06f0: 72 6f 68 69 62 69 74 65 64 20 69 6e 20 70 61 72  rohibited in par
0700: 74 69 61 6c 20 69 6e 64 65 78 20 57 48 45 52 45  tial index WHERE
0710: 20 63 6c 61 75 73 65 73 7d 7d 0a 64 6f 5f 74 65   clauses}}.do_te
0720: 73 74 20 69 6e 64 65 78 36 2d 31 2e 36 20 7b 0a  st index6-1.6 {.
0730: 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20    catchsql {.   
0740: 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 62 61   CREATE INDEX ba
0750: 64 31 20 4f 4e 20 74 31 28 61 2c 62 29 20 57 48  d1 ON t1(a,b) WH
0760: 45 52 45 20 61 20 4e 4f 54 20 4c 49 4b 45 20 27  ERE a NOT LIKE '
0770: 61 62 63 25 27 3b 0a 20 20 7d 0a 7d 20 7b 30 20  abc%';.  }.} {0 
0780: 7b 7d 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74  {}}.do_execsql_t
0790: 65 73 74 20 69 6e 64 65 78 36 2d 31 2e 37 20 7b  est index6-1.7 {
07a0: 0a 20 20 44 52 4f 50 20 49 4e 44 45 58 20 49 46  .  DROP INDEX IF
07b0: 20 45 58 49 53 54 53 20 62 61 64 31 3b 0a 7d 0a   EXISTS bad1;.}.
07c0: 0a 64 6f 5f 74 65 73 74 20 69 6e 64 65 78 36 2d  .do_test index6-
07d0: 31 2e 31 30 20 7b 0a 20 20 65 78 65 63 73 71 6c  1.10 {.  execsql
07e0: 20 7b 0a 20 20 20 20 41 4e 41 4c 59 5a 45 3b 0a   {.    ANALYZE;.
07f0: 20 20 20 20 53 45 4c 45 43 54 20 69 64 78 2c 20      SELECT idx, 
0800: 73 74 61 74 20 46 52 4f 4d 20 73 71 6c 69 74 65  stat FROM sqlite
0810: 5f 73 74 61 74 31 20 4f 52 44 45 52 20 42 59 20  _stat1 ORDER BY 
0820: 69 64 78 3b 0a 20 20 20 20 50 52 41 47 4d 41 20  idx;.    PRAGMA 
0830: 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b 3b  integrity_check;
0840: 0a 20 20 7d 0a 7d 20 7b 7b 7d 20 32 30 20 74 31  .  }.} {{} 20 t1
0850: 61 20 7b 31 34 20 31 7d 20 74 31 62 20 7b 31 30  a {14 1} t1b {10
0860: 20 31 7d 20 6f 6b 7d 0a 0a 23 20 53 54 41 54 31   1} ok}..# STAT1
0870: 20 73 68 6f 77 73 20 74 68 65 20 70 61 72 74 69   shows the parti
0880: 61 6c 20 69 6e 64 69 63 65 73 20 68 61 76 65 20  al indices have 
0890: 61 20 72 65 64 75 63 65 64 20 6e 75 6d 62 65 72  a reduced number
08a0: 20 6f 66 0a 23 20 72 6f 77 73 2e 0a 23 0a 64 6f   of.# rows..#.do
08b0: 5f 74 65 73 74 20 69 6e 64 65 78 36 2d 31 2e 31  _test index6-1.1
08c0: 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  1 {.  execsql {.
08d0: 20 20 20 20 55 50 44 41 54 45 20 74 31 20 53 45      UPDATE t1 SE
08e0: 54 20 61 3d 62 3b 0a 20 20 20 20 41 4e 41 4c 59  T a=b;.    ANALY
08f0: 5a 45 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 69  ZE;.    SELECT i
0900: 64 78 2c 20 73 74 61 74 20 46 52 4f 4d 20 73 71  dx, stat FROM sq
0910: 6c 69 74 65 5f 73 74 61 74 31 20 4f 52 44 45 52  lite_stat1 ORDER
0920: 20 42 59 20 69 64 78 3b 0a 20 20 20 20 50 52 41   BY idx;.    PRA
0930: 47 4d 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68  GMA integrity_ch
0940: 65 63 6b 3b 0a 20 20 7d 0a 7d 20 7b 7b 7d 20 32  eck;.  }.} {{} 2
0950: 30 20 74 31 61 20 7b 32 30 20 31 7d 20 74 31 62  0 t1a {20 1} t1b
0960: 20 7b 31 30 20 31 7d 20 6f 6b 7d 0a 0a 64 6f 5f   {10 1} ok}..do_
0970: 74 65 73 74 20 69 6e 64 65 78 36 2d 31 2e 31 31  test index6-1.11
0980: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20   {.  execsql {. 
0990: 20 20 20 55 50 44 41 54 45 20 74 31 20 53 45 54     UPDATE t1 SET
09a0: 20 61 3d 4e 55 4c 4c 20 57 48 45 52 45 20 62 25   a=NULL WHERE b%
09b0: 33 21 3d 30 3b 0a 20 20 20 20 55 50 44 41 54 45  3!=0;.    UPDATE
09c0: 20 74 31 20 53 45 54 20 62 3d 62 2b 31 30 30 3b   t1 SET b=b+100;
09d0: 0a 20 20 20 20 41 4e 41 4c 59 5a 45 3b 0a 20 20  .    ANALYZE;.  
09e0: 20 20 53 45 4c 45 43 54 20 69 64 78 2c 20 73 74    SELECT idx, st
09f0: 61 74 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 73  at FROM sqlite_s
0a00: 74 61 74 31 20 4f 52 44 45 52 20 42 59 20 69 64  tat1 ORDER BY id
0a10: 78 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 69 6e  x;.    PRAGMA in
0a20: 74 65 67 72 69 74 79 5f 63 68 65 63 6b 3b 0a 20  tegrity_check;. 
0a30: 20 7d 0a 7d 20 7b 7b 7d 20 32 30 20 74 31 61 20   }.} {{} 20 t1a 
0a40: 7b 36 20 31 7d 20 74 31 62 20 7b 32 30 20 31 7d  {6 1} t1b {20 1}
0a50: 20 6f 6b 7d 0a 0a 64 6f 5f 74 65 73 74 20 69 6e   ok}..do_test in
0a60: 64 65 78 36 2d 31 2e 31 32 20 7b 0a 20 20 65 78  dex6-1.12 {.  ex
0a70: 65 63 73 71 6c 20 7b 0a 20 20 20 20 55 50 44 41  ecsql {.    UPDA
0a80: 54 45 20 74 31 20 53 45 54 20 61 3d 43 41 53 45  TE t1 SET a=CASE
0a90: 20 57 48 45 4e 20 62 25 33 21 3d 30 20 54 48 45   WHEN b%3!=0 THE
0aa0: 4e 20 62 20 45 4e 44 3b 0a 20 20 20 20 55 50 44  N b END;.    UPD
0ab0: 41 54 45 20 74 31 20 53 45 54 20 62 3d 62 2d 31  ATE t1 SET b=b-1
0ac0: 30 30 3b 0a 20 20 20 20 41 4e 41 4c 59 5a 45 3b  00;.    ANALYZE;
0ad0: 0a 20 20 20 20 53 45 4c 45 43 54 20 69 64 78 2c  .    SELECT idx,
0ae0: 20 73 74 61 74 20 46 52 4f 4d 20 73 71 6c 69 74   stat FROM sqlit
0af0: 65 5f 73 74 61 74 31 20 4f 52 44 45 52 20 42 59  e_stat1 ORDER BY
0b00: 20 69 64 78 3b 0a 20 20 20 20 50 52 41 47 4d 41   idx;.    PRAGMA
0b10: 20 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b   integrity_check
0b20: 3b 0a 20 20 7d 0a 7d 20 7b 7b 7d 20 32 30 20 74  ;.  }.} {{} 20 t
0b30: 31 61 20 7b 31 33 20 31 7d 20 74 31 62 20 7b 31  1a {13 1} t1b {1
0b40: 30 20 31 7d 20 6f 6b 7d 0a 0a 64 6f 5f 74 65 73  0 1} ok}..do_tes
0b50: 74 20 69 6e 64 65 78 36 2d 31 2e 31 33 20 7b 0a  t index6-1.13 {.
0b60: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
0b70: 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 20 57  DELETE FROM t1 W
0b80: 48 45 52 45 20 62 20 42 45 54 57 45 45 4e 20 38  HERE b BETWEEN 8
0b90: 20 41 4e 44 20 31 32 3b 0a 20 20 20 20 41 4e 41   AND 12;.    ANA
0ba0: 4c 59 5a 45 3b 0a 20 20 20 20 53 45 4c 45 43 54  LYZE;.    SELECT
0bb0: 20 69 64 78 2c 20 73 74 61 74 20 46 52 4f 4d 20   idx, stat FROM 
0bc0: 73 71 6c 69 74 65 5f 73 74 61 74 31 20 4f 52 44  sqlite_stat1 ORD
0bd0: 45 52 20 42 59 20 69 64 78 3b 0a 20 20 20 20 50  ER BY idx;.    P
0be0: 52 41 47 4d 41 20 69 6e 74 65 67 72 69 74 79 5f  RAGMA integrity_
0bf0: 63 68 65 63 6b 3b 0a 20 20 7d 0a 7d 20 7b 7b 7d  check;.  }.} {{}
0c00: 20 31 35 20 74 31 61 20 7b 31 30 20 31 7d 20 74   15 t1a {10 1} t
0c10: 31 62 20 7b 38 20 31 7d 20 6f 6b 7d 0a 0a 64 6f  1b {8 1} ok}..do
0c20: 5f 74 65 73 74 20 69 6e 64 65 78 36 2d 31 2e 31  _test index6-1.1
0c30: 34 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  4 {.  execsql {.
0c40: 20 20 20 20 52 45 49 4e 44 45 58 3b 0a 20 20 20      REINDEX;.   
0c50: 20 41 4e 41 4c 59 5a 45 3b 0a 20 20 20 20 53 45   ANALYZE;.    SE
0c60: 4c 45 43 54 20 69 64 78 2c 20 73 74 61 74 20 46  LECT idx, stat F
0c70: 52 4f 4d 20 73 71 6c 69 74 65 5f 73 74 61 74 31  ROM sqlite_stat1
0c80: 20 4f 52 44 45 52 20 42 59 20 69 64 78 3b 0a 20   ORDER BY idx;. 
0c90: 20 20 20 50 52 41 47 4d 41 20 69 6e 74 65 67 72     PRAGMA integr
0ca0: 69 74 79 5f 63 68 65 63 6b 3b 0a 20 20 7d 0a 7d  ity_check;.  }.}
0cb0: 20 7b 7b 7d 20 31 35 20 74 31 61 20 7b 31 30 20   {{} 15 t1a {10 
0cc0: 31 7d 20 74 31 62 20 7b 38 20 31 7d 20 6f 6b 7d  1} t1b {8 1} ok}
0cd0: 0a 0a 64 6f 5f 74 65 73 74 20 69 6e 64 65 78 36  ..do_test index6
0ce0: 2d 31 2e 31 35 20 7b 0a 20 20 65 78 65 63 73 71  -1.15 {.  execsq
0cf0: 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20 49  l {.    CREATE I
0d00: 4e 44 45 58 20 74 31 63 20 4f 4e 20 74 31 28 63  NDEX t1c ON t1(c
0d10: 29 3b 0a 20 20 20 20 41 4e 41 4c 59 5a 45 3b 0a  );.    ANALYZE;.
0d20: 20 20 20 20 53 45 4c 45 43 54 20 69 64 78 2c 20      SELECT idx, 
0d30: 73 74 61 74 20 46 52 4f 4d 20 73 71 6c 69 74 65  stat FROM sqlite
0d40: 5f 73 74 61 74 31 20 4f 52 44 45 52 20 42 59 20  _stat1 ORDER BY 
0d50: 69 64 78 3b 0a 20 20 20 20 50 52 41 47 4d 41 20  idx;.    PRAGMA 
0d60: 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b 3b  integrity_check;
0d70: 0a 20 20 7d 0a 7d 20 7b 74 31 61 20 7b 31 30 20  .  }.} {t1a {10 
0d80: 31 7d 20 74 31 62 20 7b 38 20 31 7d 20 74 31 63  1} t1b {8 1} t1c
0d90: 20 7b 31 35 20 31 7d 20 6f 6b 7d 0a 0a 23 20 51   {15 1} ok}..# Q
0da0: 75 65 72 69 65 73 20 75 73 65 20 70 61 72 74 69  ueries use parti
0db0: 61 6c 20 69 6e 64 69 63 65 73 20 61 73 20 61 70  al indices as ap
0dc0: 70 72 6f 70 72 69 61 74 65 20 74 69 6d 65 73 2e  propriate times.
0dd0: 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6e 64 65 78  .#.do_test index
0de0: 36 2d 32 2e 31 20 7b 0a 20 20 65 78 65 63 73 71  6-2.1 {.  execsq
0df0: 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54  l {.    CREATE T
0e00: 41 42 4c 45 20 74 32 28 61 2c 62 29 3b 0a 20 20  ABLE t2(a,b);.  
0e10: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32    INSERT INTO t2
0e20: 28 61 2c 62 29 20 53 45 4c 45 43 54 20 76 61 6c  (a,b) SELECT val
0e30: 75 65 2c 20 76 61 6c 75 65 20 46 52 4f 4d 20 6e  ue, value FROM n
0e40: 75 6d 73 20 57 48 45 52 45 20 76 61 6c 75 65 3c  ums WHERE value<
0e50: 31 30 30 30 3b 0a 20 20 20 20 55 50 44 41 54 45  1000;.    UPDATE
0e60: 20 74 32 20 53 45 54 20 61 3d 4e 55 4c 4c 20 57   t2 SET a=NULL W
0e70: 48 45 52 45 20 62 25 32 3d 3d 30 3b 0a 20 20 20  HERE b%2==0;.   
0e80: 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 74 32   CREATE INDEX t2
0e90: 61 31 20 4f 4e 20 74 32 28 61 29 20 57 48 45 52  a1 ON t2(a) WHER
0ea0: 45 20 61 20 49 53 20 4e 4f 54 20 4e 55 4c 4c 3b  E a IS NOT NULL;
0eb0: 0a 20 20 20 20 53 45 4c 45 43 54 20 63 6f 75 6e  .    SELECT coun
0ec0: 74 28 2a 29 20 46 52 4f 4d 20 74 32 20 57 48 45  t(*) FROM t2 WHE
0ed0: 52 45 20 61 20 49 53 20 4e 4f 54 20 4e 55 4c 4c  RE a IS NOT NULL
0ee0: 3b 0a 20 20 7d 0a 7d 20 7b 35 30 30 7d 0a 64 6f  ;.  }.} {500}.do
0ef0: 5f 74 65 73 74 20 69 6e 64 65 78 36 2d 32 2e 32  _test index6-2.2
0f00: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20   {.  execsql {. 
0f10: 20 20 20 45 58 50 4c 41 49 4e 20 51 55 45 52 59     EXPLAIN QUERY
0f20: 20 50 4c 41 4e 0a 20 20 20 20 53 45 4c 45 43 54   PLAN.    SELECT
0f30: 20 2a 20 46 52 4f 4d 20 74 32 20 57 48 45 52 45   * FROM t2 WHERE
0f40: 20 61 3d 35 3b 0a 20 20 7d 0a 7d 20 7b 2f 2e 2a   a=5;.  }.} {/.*
0f50: 20 54 41 42 4c 45 20 74 32 20 55 53 49 4e 47 20   TABLE t2 USING 
0f60: 49 4e 44 45 58 20 74 32 61 31 20 2e 2a 2f 7d 0a  INDEX t2a1 .*/}.
0f70: 69 66 63 61 70 61 62 6c 65 20 73 74 61 74 34 7c  ifcapable stat4|
0f80: 7c 73 74 61 74 33 20 7b 0a 20 20 65 78 65 63 73  |stat3 {.  execs
0f90: 71 6c 20 41 4e 41 4c 59 5a 45 0a 20 20 64 6f 5f  ql ANALYZE.  do_
0fa0: 74 65 73 74 20 69 6e 64 65 78 36 2d 32 2e 33 73  test index6-2.3s
0fb0: 74 61 74 34 20 7b 0a 20 20 20 20 65 78 65 63 73  tat4 {.    execs
0fc0: 71 6c 20 7b 0a 20 20 20 20 20 20 45 58 50 4c 41  ql {.      EXPLA
0fd0: 49 4e 20 51 55 45 52 59 20 50 4c 41 4e 0a 20 20  IN QUERY PLAN.  
0fe0: 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f      SELECT * FRO
0ff0: 4d 20 74 32 20 57 48 45 52 45 20 61 20 49 53 20  M t2 WHERE a IS 
1000: 4e 4f 54 20 4e 55 4c 4c 3b 0a 20 20 20 20 7d 0a  NOT NULL;.    }.
1010: 20 20 7d 20 7b 2f 2e 2a 20 54 41 42 4c 45 20 74    } {/.* TABLE t
1020: 32 20 55 53 49 4e 47 20 49 4e 44 45 58 20 74 32  2 USING INDEX t2
1030: 61 31 20 2e 2a 2f 7d 0a 7d 20 65 6c 73 65 20 7b  a1 .*/}.} else {
1040: 0a 20 20 64 6f 5f 74 65 73 74 20 69 6e 64 65 78  .  do_test index
1050: 36 2d 32 2e 33 73 74 61 74 34 20 7b 0a 20 20 20  6-2.3stat4 {.   
1060: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 20   execsql {.     
1070: 20 45 58 50 4c 41 49 4e 20 51 55 45 52 59 20 50   EXPLAIN QUERY P
1080: 4c 41 4e 0a 20 20 20 20 20 20 53 45 4c 45 43 54  LAN.      SELECT
1090: 20 2a 20 46 52 4f 4d 20 74 32 20 57 48 45 52 45   * FROM t2 WHERE
10a0: 20 61 20 49 53 20 4e 4f 54 20 4e 55 4c 4c 20 41   a IS NOT NULL A
10b0: 4e 44 20 61 3e 30 3b 0a 20 20 20 20 7d 0a 20 20  ND a>0;.    }.  
10c0: 7d 20 7b 2f 2e 2a 20 54 41 42 4c 45 20 74 32 20  } {/.* TABLE t2 
10d0: 55 53 49 4e 47 20 49 4e 44 45 58 20 74 32 61 31  USING INDEX t2a1
10e0: 20 2e 2a 2f 7d 0a 7d 0a 64 6f 5f 74 65 73 74 20   .*/}.}.do_test 
10f0: 69 6e 64 65 78 36 2d 32 2e 34 20 7b 0a 20 20 65  index6-2.4 {.  e
1100: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 45 58 50  xecsql {.    EXP
1110: 4c 41 49 4e 20 51 55 45 52 59 20 50 4c 41 4e 0a  LAIN QUERY PLAN.
1120: 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f      SELECT * FRO
1130: 4d 20 74 32 20 57 48 45 52 45 20 61 20 49 53 20  M t2 WHERE a IS 
1140: 4e 55 4c 4c 3b 0a 20 20 7d 0a 7d 20 7b 7e 2f 2e  NULL;.  }.} {~/.
1150: 2a 49 4e 44 45 58 20 74 32 61 31 2e 2a 2f 7d 0a  *INDEX t2a1.*/}.
1160: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74  .do_execsql_test
1170: 20 69 6e 64 65 78 36 2d 32 2e 31 30 31 20 7b 0a   index6-2.101 {.
1180: 20 20 44 52 4f 50 20 49 4e 44 45 58 20 74 32 61    DROP INDEX t2a
1190: 31 3b 0a 20 20 55 50 44 41 54 45 20 74 32 20 53  1;.  UPDATE t2 S
11a0: 45 54 20 61 3d 62 2c 20 62 3d 62 2b 31 30 30 30  ET a=b, b=b+1000
11b0: 30 3b 0a 20 20 53 45 4c 45 43 54 20 62 20 46 52  0;.  SELECT b FR
11c0: 4f 4d 20 74 32 20 57 48 45 52 45 20 61 3d 31 35  OM t2 WHERE a=15
11d0: 3b 0a 7d 20 7b 31 30 30 31 35 7d 0a 64 6f 5f 65  ;.} {10015}.do_e
11e0: 78 65 63 73 71 6c 5f 74 65 73 74 20 69 6e 64 65  xecsql_test inde
11f0: 78 36 2d 32 2e 31 30 32 20 7b 0a 20 20 43 52 45  x6-2.102 {.  CRE
1200: 41 54 45 20 49 4e 44 45 58 20 74 32 61 32 20 4f  ATE INDEX t2a2 O
1210: 4e 20 74 32 28 61 29 20 57 48 45 52 45 20 61 3c  N t2(a) WHERE a<
1220: 31 30 30 20 4f 52 20 61 3e 32 30 30 3b 0a 20 20  100 OR a>200;.  
1230: 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20 74 32  SELECT b FROM t2
1240: 20 57 48 45 52 45 20 61 3d 31 35 3b 0a 20 20 50   WHERE a=15;.  P
1250: 52 41 47 4d 41 20 69 6e 74 65 67 72 69 74 79 5f  RAGMA integrity_
1260: 63 68 65 63 6b 3b 0a 7d 20 7b 31 30 30 31 35 20  check;.} {10015 
1270: 6f 6b 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74  ok}.do_execsql_t
1280: 65 73 74 20 69 6e 64 65 78 36 2d 32 2e 31 30 32  est index6-2.102
1290: 65 71 70 20 7b 0a 20 20 45 58 50 4c 41 49 4e 20  eqp {.  EXPLAIN 
12a0: 51 55 45 52 59 20 50 4c 41 4e 0a 20 20 53 45 4c  QUERY PLAN.  SEL
12b0: 45 43 54 20 62 20 46 52 4f 4d 20 74 32 20 57 48  ECT b FROM t2 WH
12c0: 45 52 45 20 61 3d 31 35 3b 0a 7d 20 7b 7e 2f 2e  ERE a=15;.} {~/.
12d0: 2a 49 4e 44 45 58 20 74 32 61 32 2e 2a 2f 7d 0a  *INDEX t2a2.*/}.
12e0: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20  do_execsql_test 
12f0: 69 6e 64 65 78 36 2d 32 2e 31 30 33 20 7b 0a 20  index6-2.103 {. 
1300: 20 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20 74   SELECT b FROM t
1310: 32 20 57 48 45 52 45 20 61 3d 31 35 20 41 4e 44  2 WHERE a=15 AND
1320: 20 61 3c 31 30 30 3b 0a 7d 20 7b 31 30 30 31 35   a<100;.} {10015
1330: 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73  }.do_execsql_tes
1340: 74 20 69 6e 64 65 78 36 2d 32 2e 31 30 33 65 71  t index6-2.103eq
1350: 70 20 7b 0a 20 20 45 58 50 4c 41 49 4e 20 51 55  p {.  EXPLAIN QU
1360: 45 52 59 20 50 4c 41 4e 0a 20 20 53 45 4c 45 43  ERY PLAN.  SELEC
1370: 54 20 62 20 46 52 4f 4d 20 74 32 20 57 48 45 52  T b FROM t2 WHER
1380: 45 20 61 3d 31 35 20 41 4e 44 20 61 3c 31 30 30  E a=15 AND a<100
1390: 3b 0a 7d 20 7b 2f 2e 2a 49 4e 44 45 58 20 74 32  ;.} {/.*INDEX t2
13a0: 61 32 2e 2a 2f 7d 0a 64 6f 5f 65 78 65 63 73 71  a2.*/}.do_execsq
13b0: 6c 5f 74 65 73 74 20 69 6e 64 65 78 36 2d 32 2e  l_test index6-2.
13c0: 31 30 34 20 7b 0a 20 20 53 45 4c 45 43 54 20 62  104 {.  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 35 31 35 20 41 4e 44 20 61 3e 32 30 30 3b 0a  =515 AND a>200;.
13f0: 7d 20 7b 31 30 35 31 35 7d 0a 64 6f 5f 65 78 65  } {10515}.do_exe
1400: 63 73 71 6c 5f 74 65 73 74 20 69 6e 64 65 78 36  csql_test index6
1410: 2d 32 2e 31 30 34 65 71 70 20 7b 0a 20 20 45 58  -2.104eqp {.  EX
1420: 50 4c 41 49 4e 20 51 55 45 52 59 20 50 4c 41 4e  PLAIN QUERY PLAN
1430: 0a 20 20 53 45 4c 45 43 54 20 62 20 46 52 4f 4d  .  SELECT b FROM
1440: 20 74 32 20 57 48 45 52 45 20 61 3d 35 31 35 20   t2 WHERE a=515 
1450: 41 4e 44 20 61 3e 32 30 30 3b 0a 7d 20 7b 2f 2e  AND a>200;.} {/.
1460: 2a 49 4e 44 45 58 20 74 32 61 32 2e 2a 2f 7d 0a  *INDEX t2a2.*/}.
1470: 0a 23 20 50 61 72 74 69 61 6c 20 55 4e 49 51 55  .# Partial UNIQU
1480: 45 20 69 6e 64 69 63 65 73 0a 23 0a 64 6f 5f 65  E indices.#.do_e
1490: 78 65 63 73 71 6c 5f 74 65 73 74 20 69 6e 64 65  xecsql_test inde
14a0: 78 36 2d 33 2e 31 20 7b 0a 20 20 43 52 45 41 54  x6-3.1 {.  CREAT
14b0: 45 20 54 41 42 4c 45 20 74 33 28 61 2c 62 29 3b  E TABLE t3(a,b);
14c0: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74  .  INSERT INTO t
14d0: 33 20 53 45 4c 45 43 54 20 76 61 6c 75 65 2c 20  3 SELECT value, 
14e0: 76 61 6c 75 65 20 46 52 4f 4d 20 6e 75 6d 73 20  value FROM nums 
14f0: 57 48 45 52 45 20 76 61 6c 75 65 3c 32 30 30 3b  WHERE value<200;
1500: 0a 20 20 55 50 44 41 54 45 20 74 33 20 53 45 54  .  UPDATE t3 SET
1510: 20 61 3d 39 39 39 20 57 48 45 52 45 20 62 25 35   a=999 WHERE b%5
1520: 21 3d 30 3b 0a 20 20 43 52 45 41 54 45 20 55 4e  !=0;.  CREATE UN
1530: 49 51 55 45 20 49 4e 44 45 58 20 74 33 61 20 4f  IQUE INDEX t3a O
1540: 4e 20 74 33 28 61 29 20 57 48 45 52 45 20 61 3c  N t3(a) WHERE a<
1550: 3e 39 39 39 3b 0a 7d 20 7b 7d 0a 64 6f 5f 74 65  >999;.} {}.do_te
1560: 73 74 20 69 6e 64 65 78 36 2d 33 2e 32 20 7b 0a  st index6-3.2 {.
1570: 20 20 23 20 75 6e 61 62 6c 65 20 74 6f 20 69 6e    # unable to in
1580: 73 65 72 74 20 61 20 64 75 70 6c 69 63 61 74 65  sert a duplicate
1590: 20 72 6f 77 20 61 2d 76 61 6c 75 65 20 74 68 61   row a-value tha
15a0: 74 20 69 73 20 6e 6f 74 20 39 39 39 2e 0a 20 20  t is not 999..  
15b0: 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 49  catchsql {.    I
15c0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 33 28 61 2c  NSERT INTO t3(a,
15d0: 62 29 20 56 41 4c 55 45 53 28 31 35 30 2c 20 27  b) VALUES(150, '
15e0: 74 65 73 74 31 27 29 3b 0a 20 20 7d 0a 7d 20 7b  test1');.  }.} {
15f0: 31 20 7b 55 4e 49 51 55 45 20 63 6f 6e 73 74 72  1 {UNIQUE constr
1600: 61 69 6e 74 20 66 61 69 6c 65 64 3a 20 74 33 2e  aint failed: t3.
1610: 61 7d 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 64 65  a}}.do_test inde
1620: 78 36 2d 33 2e 33 20 7b 0a 20 20 23 20 63 61 6e  x6-3.3 {.  # can
1630: 20 69 6e 73 65 72 74 20 6d 75 6c 74 69 70 6c 65   insert multiple
1640: 20 72 6f 77 73 20 77 69 74 68 20 61 3d 3d 39 39   rows with a==99
1650: 39 20 62 65 63 61 75 73 65 20 73 75 63 68 20 72  9 because such r
1660: 6f 77 73 20 61 72 65 20 6e 6f 74 0a 20 20 23 20  ows are not.  # 
1670: 70 61 72 74 20 6f 66 20 74 68 65 20 75 6e 69 71  part of the uniq
1680: 75 65 20 69 6e 64 65 78 2e 0a 20 20 63 61 74 63  ue index..  catc
1690: 68 73 71 6c 20 7b 0a 20 20 20 20 49 4e 53 45 52  hsql {.    INSER
16a0: 54 20 49 4e 54 4f 20 74 33 28 61 2c 62 29 20 56  T INTO t3(a,b) V
16b0: 41 4c 55 45 53 28 39 39 39 2c 20 27 74 65 73 74  ALUES(999, 'test
16c0: 31 27 29 2c 20 28 39 39 39 2c 20 27 74 65 73 74  1'), (999, 'test
16d0: 32 27 29 3b 0a 20 20 7d 0a 7d 20 7b 30 20 7b 7d  2');.  }.} {0 {}
16e0: 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73  }.do_execsql_tes
16f0: 74 20 69 6e 64 65 78 36 2d 33 2e 34 20 7b 0a 20  t index6-3.4 {. 
1700: 20 53 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29   SELECT count(*)
1710: 20 46 52 4f 4d 20 74 33 20 57 48 45 52 45 20 61   FROM t3 WHERE a
1720: 3d 39 39 39 3b 0a 7d 20 7b 31 36 32 7d 0a 69 6e  =999;.} {162}.in
1730: 74 65 67 72 69 74 79 5f 63 68 65 63 6b 20 69 6e  tegrity_check in
1740: 64 65 78 36 2d 33 2e 35 0a 0a 64 6f 5f 65 78 65  dex6-3.5..do_exe
1750: 63 73 71 6c 5f 74 65 73 74 20 69 6e 64 65 78 36  csql_test index6
1760: 2d 34 2e 30 20 7b 0a 20 20 56 41 43 55 55 4d 3b  -4.0 {.  VACUUM;
1770: 0a 20 20 50 52 41 47 4d 41 20 69 6e 74 65 67 72  .  PRAGMA integr
1780: 69 74 79 5f 63 68 65 63 6b 3b 0a 7d 20 7b 6f 6b  ity_check;.} {ok
1790: 7d 0a 0a 23 20 53 69 6c 65 6e 74 6c 79 20 69 67  }..# Silently ig
17a0: 6e 6f 72 65 20 64 61 74 61 62 61 73 65 20 6e 61  nore database na
17b0: 6d 65 20 71 75 61 6c 69 66 69 65 72 73 20 69 6e  me qualifiers in
17c0: 20 70 61 72 74 69 61 6c 20 69 6e 64 69 63 65 73   partial indices
17d0: 2e 0a 23 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74  ..#.do_execsql_t
17e0: 65 73 74 20 69 6e 64 65 78 36 2d 35 2e 30 20 7b  est index6-5.0 {
17f0: 0a 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20  .  CREATE INDEX 
1800: 74 33 62 20 4f 4e 20 74 33 28 62 29 20 57 48 45  t3b ON t3(b) WHE
1810: 52 45 20 78 79 7a 7a 79 2e 74 33 2e 62 20 42 45  RE xyzzy.t3.b BE
1820: 54 57 45 45 4e 20 35 20 41 4e 44 20 31 30 3b 0a  TWEEN 5 AND 10;.
1830: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1840: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f                 /
1850: 2a 20 5e 5e 5e 5e 5e 2d 2d 20 69 67 6e 6f 72 65  * ^^^^^-- ignore
1860: 64 20 2a 2f 0a 20 20 41 4e 41 4c 59 5a 45 3b 0a  d */.  ANALYZE;.
1870: 20 20 53 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a    SELECT count(*
1880: 29 20 46 52 4f 4d 20 74 33 20 57 48 45 52 45 20  ) FROM t3 WHERE 
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 53 45 4c 45 43 54 20  ND 10;.  SELECT 
18b0: 73 74 61 74 2b 30 20 46 52 4f 4d 20 73 71 6c 69  stat+0 FROM sqli
18c0: 74 65 5f 73 74 61 74 31 20 57 48 45 52 45 20 69  te_stat1 WHERE i
18d0: 64 78 3d 27 74 33 62 27 3b 0a 7d 20 7b 36 20 36  dx='t3b';.} {6 6
18e0: 7d 0a 0a 23 20 54 65 73 74 20 63 61 73 65 20 66  }..# Test case f
18f0: 6f 72 20 74 69 63 6b 65 74 20 5b 32 65 61 33 65  or ticket [2ea3e
1900: 39 66 65 36 33 37 39 66 63 33 66 36 63 65 37 65  9fe6379fc3f6ce7e
1910: 30 39 30 63 65 34 38 33 63 31 61 33 61 38 30 64  090ce483c1a3a80d
1920: 36 63 39 5d 20 66 72 6f 6d 0a 23 20 32 30 31 34  6c9] from.# 2014
1930: 2d 30 34 2d 31 33 3a 20 50 61 72 74 69 61 6c 20  -04-13: Partial 
1940: 69 6e 64 65 78 20 63 61 75 73 65 73 20 61 73 73  index causes ass
1950: 65 72 74 69 6f 6e 20 66 61 75 6c 74 20 6f 6e 20  ertion fault on 
1960: 55 50 44 41 54 45 20 4f 52 20 52 45 50 4c 41 43  UPDATE OR REPLAC
1970: 45 2e 0a 23 0a 64 6f 5f 65 78 65 63 73 71 6c 5f  E..#.do_execsql_
1980: 74 65 73 74 20 69 6e 64 65 78 36 2d 36 2e 30 20  test index6-6.0 
1990: 7b 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c 45  {.  CREATE TABLE
19a0: 20 74 36 28 61 2c 62 29 3b 0a 20 20 43 52 45 41   t6(a,b);.  CREA
19b0: 54 45 20 55 4e 49 51 55 45 20 49 4e 44 45 58 20  TE UNIQUE INDEX 
19c0: 74 36 61 62 20 4f 4e 20 74 31 28 61 2c 62 29 3b  t6ab ON t1(a,b);
19d0: 0a 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20  .  CREATE INDEX 
19e0: 74 36 62 20 4f 4e 20 74 36 28 62 29 20 57 48 45  t6b ON t6(b) WHE
19f0: 52 45 20 62 3d 31 3b 0a 20 20 49 4e 53 45 52 54  RE b=1;.  INSERT
1a00: 20 49 4e 54 4f 20 74 36 28 61 2c 62 29 20 56 41   INTO t6(a,b) VA
1a10: 4c 55 45 53 28 31 32 33 2c 34 35 36 29 3b 0a 20  LUES(123,456);. 
1a20: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
1a30: 36 3b 0a 7d 20 7b 31 32 33 20 34 35 36 7d 0a 64  6;.} {123 456}.d
1a40: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 69  o_execsql_test i
1a50: 6e 64 65 78 36 2d 36 2e 31 20 7b 0a 20 20 55 50  ndex6-6.1 {.  UP
1a60: 44 41 54 45 20 4f 52 20 52 45 50 4c 41 43 45 20  DATE OR REPLACE 
1a70: 74 36 20 53 45 54 20 62 3d 37 38 39 3b 0a 20 20  t6 SET b=789;.  
1a80: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 36  SELECT * FROM t6
1a90: 3b 0a 7d 20 7b 31 32 33 20 37 38 39 7d 0a 64 6f  ;.} {123 789}.do
1aa0: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 69 6e  _execsql_test in
1ab0: 64 65 78 36 2d 36 2e 32 20 7b 0a 20 20 50 52 41  dex6-6.2 {.  PRA
1ac0: 47 4d 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68  GMA integrity_ch
1ad0: 65 63 6b 3b 0a 7d 20 7b 6f 6b 7d 0a 0a 23 20 54  eck;.} {ok}..# T
1ae0: 65 73 74 20 63 61 73 65 20 66 6f 72 20 74 69 63  est case for tic
1af0: 6b 65 74 20 5b 32 33 32 36 63 32 35 38 64 30 32  ket [2326c258d02
1b00: 65 61 64 33 33 64 36 39 66 61 61 36 33 64 65 38  ead33d69faa63de8
1b10: 66 34 36 38 36 62 39 62 31 62 39 64 39 5d 20 6f  f4686b9b1b9d9] o
1b20: 6e 0a 23 20 32 30 31 35 2d 30 32 2d 32 34 2e 20  n.# 2015-02-24. 
1b30: 20 41 6e 79 20 75 73 65 20 6f 66 20 61 20 70 61   Any use of a pa
1b40: 72 74 69 61 6c 20 69 6e 64 65 78 20 71 75 61 6c  rtial index qual
1b50: 69 66 79 69 6e 67 20 63 6f 6e 73 74 72 61 69 6e  ifying constrain
1b60: 74 20 69 6e 73 69 64 65 0a 23 20 74 68 65 20 4f  t inside.# the O
1b70: 4e 20 63 6c 61 75 73 65 20 6f 66 20 61 20 4c 45  N clause of a LE
1b80: 46 54 20 4a 4f 49 4e 20 77 61 73 20 63 61 75 73  FT JOIN was caus
1b90: 69 6e 67 20 69 6e 63 6f 72 72 65 63 74 20 72 65  ing incorrect re
1ba0: 73 75 6c 74 73 20 66 6f 72 20 61 6c 6c 0a 23 20  sults for all.# 
1bb0: 76 65 72 73 69 6f 6e 73 20 6f 66 20 53 51 4c 69  versions of SQLi
1bc0: 74 65 20 33 2e 38 2e 30 20 74 68 72 6f 75 67 68  te 3.8.0 through
1bd0: 20 33 2e 38 2e 38 2e 0a 23 0a 64 6f 5f 65 78 65   3.8.8..#.do_exe
1be0: 63 73 71 6c 5f 74 65 73 74 20 69 6e 64 65 78 36  csql_test index6
1bf0: 2d 37 2e 30 20 7b 0a 20 20 43 52 45 41 54 45 20  -7.0 {.  CREATE 
1c00: 54 41 42 4c 45 20 74 37 61 28 78 29 3b 0a 20 20  TABLE t7a(x);.  
1c10: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 37 62  CREATE TABLE t7b
1c20: 28 79 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e  (y);.  INSERT IN
1c30: 54 4f 20 74 37 61 28 78 29 20 56 41 4c 55 45 53  TO t7a(x) VALUES
1c40: 28 31 29 3b 0a 20 20 43 52 45 41 54 45 20 49 4e  (1);.  CREATE IN
1c50: 44 45 58 20 74 37 61 78 20 4f 4e 20 74 37 61 28  DEX t7ax ON t7a(
1c60: 78 29 20 57 48 45 52 45 20 78 3d 39 39 3b 0a 20  x) WHERE x=99;. 
1c70: 20 50 52 41 47 4d 41 20 61 75 74 6f 6d 61 74 69   PRAGMA automati
1c80: 63 5f 69 6e 64 65 78 3d 4f 46 46 3b 0a 20 20 53  c_index=OFF;.  S
1c90: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 37 61  ELECT * FROM t7a
1ca0: 20 4c 45 46 54 20 4a 4f 49 4e 20 74 37 62 20 4f   LEFT JOIN t7b O
1cb0: 4e 20 28 78 3d 39 39 29 20 4f 52 44 45 52 20 42  N (x=99) ORDER B
1cc0: 59 20 78 3b 0a 7d 20 7b 31 20 7b 7d 7d 0a 64 6f  Y x;.} {1 {}}.do
1cd0: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 69 6e  _execsql_test in
1ce0: 64 65 78 36 2d 37 2e 31 20 7b 0a 20 20 49 4e 53  dex6-7.1 {.  INS
1cf0: 45 52 54 20 49 4e 54 4f 20 74 37 62 28 79 29 20  ERT INTO t7b(y) 
1d00: 56 41 4c 55 45 53 28 32 29 3b 0a 20 20 53 45 4c  VALUES(2);.  SEL
1d10: 45 43 54 20 2a 20 46 52 4f 4d 20 74 37 61 20 4a  ECT * FROM t7a J
1d20: 4f 49 4e 20 74 37 62 20 4f 4e 20 28 78 3d 39 39  OIN t7b ON (x=99
1d30: 29 20 4f 52 44 45 52 20 42 59 20 78 3b 0a 7d 20  ) ORDER BY x;.} 
1d40: 7b 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  {}.do_execsql_te
1d50: 73 74 20 69 6e 64 65 78 36 2d 37 2e 32 20 7b 0a  st index6-7.2 {.
1d60: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 37    INSERT INTO t7
1d70: 61 28 78 29 20 56 41 4c 55 45 53 28 39 39 29 3b  a(x) VALUES(99);
1d80: 0a 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d  .  SELECT * FROM
1d90: 20 74 37 61 20 4c 45 46 54 20 4a 4f 49 4e 20 74   t7a LEFT JOIN t
1da0: 37 62 20 4f 4e 20 28 78 3d 39 39 29 20 4f 52 44  7b ON (x=99) ORD
1db0: 45 52 20 42 59 20 78 3b 0a 7d 20 7b 31 20 7b 7d  ER BY x;.} {1 {}
1dc0: 20 39 39 20 32 7d 0a 64 6f 5f 65 78 65 63 73 71   99 2}.do_execsq
1dd0: 6c 5f 74 65 73 74 20 69 6e 64 65 78 36 2d 37 2e  l_test index6-7.
1de0: 33 20 7b 0a 20 20 53 45 4c 45 43 54 20 2a 20 46  3 {.  SELECT * F
1df0: 52 4f 4d 20 74 37 61 20 4a 4f 49 4e 20 74 37 62  ROM t7a JOIN t7b
1e00: 20 4f 4e 20 28 78 3d 39 39 29 20 4f 52 44 45 52   ON (x=99) ORDER
1e10: 20 42 59 20 78 3b 0a 7d 20 7b 39 39 20 32 7d 0a   BY x;.} {99 2}.
1e20: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20  do_execsql_test 
1e30: 69 6e 64 65 78 36 2d 37 2e 34 20 7b 0a 20 20 45  index6-7.4 {.  E
1e40: 58 50 4c 41 49 4e 20 51 55 45 52 59 20 50 4c 41  XPLAIN QUERY PLA
1e50: 4e 0a 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f  N.  SELECT * FRO
1e60: 4d 20 74 37 61 20 4a 4f 49 4e 20 74 37 62 20 4f  M t7a JOIN t7b O
1e70: 4e 20 28 78 3d 39 39 29 20 4f 52 44 45 52 20 42  N (x=99) ORDER B
1e80: 59 20 78 3b 0a 7d 20 7b 2f 55 53 49 4e 47 20 43  Y x;.} {/USING C
1e90: 4f 56 45 52 49 4e 47 20 49 4e 44 45 58 20 74 37  OVERING INDEX t7
1ea0: 61 78 2f 7d 0a 0a 0a 64 6f 5f 65 78 65 63 73 71  ax/}...do_execsq
1eb0: 6c 5f 74 65 73 74 20 69 6e 64 65 78 36 2d 38 2e  l_test index6-8.
1ec0: 30 20 7b 0a 20 20 43 52 45 41 54 45 20 54 41 42  0 {.  CREATE TAB
1ed0: 4c 45 20 74 38 61 28 61 2c 62 29 3b 0a 20 20 43  LE t8a(a,b);.  C
1ee0: 52 45 41 54 45 20 54 41 42 4c 45 20 74 38 62 28  REATE TABLE t8b(
1ef0: 78 2c 79 29 3b 0a 20 20 43 52 45 41 54 45 20 49  x,y);.  CREATE I
1f00: 4e 44 45 58 20 69 38 63 20 4f 4e 20 74 38 62 28  NDEX i8c ON t8b(
1f10: 79 29 20 57 48 45 52 45 20 78 20 3d 20 27 76 61  y) WHERE x = 'va
1f20: 6c 75 65 27 3b 0a 0a 20 20 49 4e 53 45 52 54 20  lue';..  INSERT 
1f30: 49 4e 54 4f 20 74 38 61 20 56 41 4c 55 45 53 28  INTO t8a VALUES(
1f40: 31 2c 20 27 6f 6e 65 27 29 3b 0a 20 20 49 4e 53  1, 'one');.  INS
1f50: 45 52 54 20 49 4e 54 4f 20 74 38 61 20 56 41 4c  ERT INTO t8a VAL
1f60: 55 45 53 28 32 2c 20 27 74 77 6f 27 29 3b 0a 20  UES(2, 'two');. 
1f70: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 38 61   INSERT INTO t8a
1f80: 20 56 41 4c 55 45 53 28 33 2c 20 27 74 68 72 65   VALUES(3, 'thre
1f90: 65 27 29 3b 0a 0a 20 20 49 4e 53 45 52 54 20 49  e');..  INSERT I
1fa0: 4e 54 4f 20 74 38 62 20 56 41 4c 55 45 53 28 27  NTO t8b VALUES('
1fb0: 76 61 6c 75 65 27 2c 20 31 29 3b 0a 20 20 49 4e  value', 1);.  IN
1fc0: 53 45 52 54 20 49 4e 54 4f 20 74 38 62 20 56 41  SERT INTO t8b VA
1fd0: 4c 55 45 53 28 27 64 75 6d 6d 79 27 2c 20 32 29  LUES('dummy', 2)
1fe0: 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20  ;.  INSERT INTO 
1ff0: 74 38 62 20 56 41 4c 55 45 53 28 27 76 61 6c 75  t8b VALUES('valu
2000: 65 27 2c 20 33 29 3b 0a 20 20 49 4e 53 45 52 54  e', 3);.  INSERT
2010: 20 49 4e 54 4f 20 74 38 62 20 56 41 4c 55 45 53   INTO t8b VALUES
2020: 28 27 64 75 6d 6d 79 27 2c 20 34 29 3b 0a 7d 20  ('dummy', 4);.} 
2030: 7b 7d 0a 0a 64 6f 5f 65 71 70 5f 74 65 73 74 20  {}..do_eqp_test 
2040: 69 6e 64 65 78 36 2d 38 2e 31 20 7b 0a 20 20 53  index6-8.1 {.  S
2050: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 38 61  ELECT * FROM t8a
2060: 20 4c 45 46 54 20 4a 4f 49 4e 20 74 38 62 20 4f   LEFT JOIN t8b O
2070: 4e 20 28 78 20 3d 20 27 76 61 6c 75 65 27 20 41  N (x = 'value' A
2080: 4e 44 20 79 20 3d 20 61 29 0a 7d 20 7b 0a 20 20  ND y = a).} {.  
2090: 51 55 45 52 59 20 50 4c 41 4e 0a 20 20 7c 2d 2d  QUERY PLAN.  |--
20a0: 53 43 41 4e 20 54 41 42 4c 45 20 74 38 61 0a 20  SCAN TABLE t8a. 
20b0: 20 60 2d 2d 53 45 41 52 43 48 20 54 41 42 4c 45   `--SEARCH TABLE
20c0: 20 74 38 62 20 55 53 49 4e 47 20 49 4e 44 45 58   t8b USING INDEX
20d0: 20 69 38 63 20 28 79 3d 3f 29 0a 7d 0a 0a 64 6f   i8c (y=?).}..do
20e0: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 69 6e  _execsql_test in
20f0: 64 65 78 36 2d 38 2e 32 20 7b 0a 20 20 53 45 4c  dex6-8.2 {.  SEL
2100: 45 43 54 20 2a 20 46 52 4f 4d 20 74 38 61 20 4c  ECT * FROM t8a L
2110: 45 46 54 20 4a 4f 49 4e 20 74 38 62 20 4f 4e 20  EFT JOIN t8b ON 
2120: 28 78 20 3d 20 27 76 61 6c 75 65 27 20 41 4e 44  (x = 'value' AND
2130: 20 79 20 3d 20 61 29 0a 7d 20 7b 0a 20 20 31 20   y = a).} {.  1 
2140: 6f 6e 65 20 76 61 6c 75 65 20 31 20 0a 20 20 32  one value 1 .  2
2150: 20 74 77 6f 20 7b 7d 20 7b 7d 20 0a 20 20 33 20   two {} {} .  3 
2160: 74 68 72 65 65 20 76 61 6c 75 65 20 33 0a 7d 0a  three value 3.}.
2170: 0a 23 20 32 30 31 35 2d 30 36 2d 31 31 2e 20 20  .# 2015-06-11.  
2180: 41 73 73 65 72 74 69 6f 6e 20 66 61 75 6c 74 20  Assertion fault 
2190: 66 6f 75 6e 64 20 62 79 20 41 46 4c 0a 23 0a 64  found by AFL.#.d
21a0: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 69  o_execsql_test i
21b0: 6e 64 65 78 36 2d 39 2e 31 20 7b 0a 20 20 43 52  ndex6-9.1 {.  CR
21c0: 45 41 54 45 20 54 41 42 4c 45 20 74 39 28 61 20  EATE TABLE t9(a 
21d0: 69 6e 74 2c 20 62 20 69 6e 74 2c 20 63 20 69 6e  int, b int, c in
21e0: 74 29 3b 0a 20 20 43 52 45 41 54 45 20 49 4e 44  t);.  CREATE IND
21f0: 45 58 20 74 39 63 61 20 4f 4e 20 74 39 28 63 2c  EX t9ca ON t9(c,
2200: 61 29 20 57 48 45 52 45 20 61 20 69 6e 20 28 31  a) WHERE a in (1
2210: 30 2c 31 32 2c 32 30 29 3b 0a 20 20 49 4e 53 45  0,12,20);.  INSE
2220: 52 54 20 49 4e 54 4f 20 74 39 20 56 41 4c 55 45  RT INTO t9 VALUE
2230: 53 28 31 2c 31 2c 39 29 2c 28 31 30 2c 32 2c 33  S(1,1,9),(10,2,3
2240: 35 29 2c 28 31 31 2c 31 35 2c 38 32 29 2c 28 32  5),(11,15,82),(2
2250: 30 2c 31 39 2c 35 29 2c 28 4e 55 4c 4c 2c 37 2c  0,19,5),(NULL,7,
2260: 33 29 3b 0a 20 20 55 50 44 41 54 45 20 74 39 20  3);.  UPDATE t9 
2270: 53 45 54 20 62 3d 63 20 57 48 45 52 45 20 61 20  SET b=c WHERE a 
2280: 69 6e 20 28 31 30 2c 31 32 2c 32 30 29 3b 0a 20  in (10,12,20);. 
2290: 20 53 45 4c 45 43 54 20 61 2c 62 2c 63 2c 27 7c   SELECT a,b,c,'|
22a0: 27 20 46 52 4f 4d 20 74 39 20 4f 52 44 45 52 20  ' FROM t9 ORDER 
22b0: 42 59 20 61 3b 0a 7d 20 7b 7b 7d 20 37 20 33 20  BY a;.} {{} 7 3 
22c0: 7c 20 31 20 31 20 39 20 7c 20 31 30 20 33 35 20  | 1 1 9 | 10 35 
22d0: 33 35 20 7c 20 31 31 20 31 35 20 38 32 20 7c 20  35 | 11 15 82 | 
22e0: 32 30 20 35 20 35 20 7c 7d 0a 64 6f 5f 65 78 65  20 5 5 |}.do_exe
22f0: 63 73 71 6c 5f 74 65 73 74 20 69 6e 64 65 78 36  csql_test index6
2300: 2d 39 2e 32 20 7b 0a 20 20 44 52 4f 50 20 54 41  -9.2 {.  DROP TA
2310: 42 4c 45 20 74 39 3b 0a 20 20 43 52 45 41 54 45  BLE t9;.  CREATE
2320: 20 54 41 42 4c 45 20 74 39 28 61 20 69 6e 74 2c   TABLE t9(a int,
2330: 20 62 20 69 6e 74 2c 20 63 20 69 6e 74 2c 20 50   b int, c int, P
2340: 52 49 4d 41 52 59 20 4b 45 59 28 61 29 29 20 57  RIMARY KEY(a)) W
2350: 49 54 48 4f 55 54 20 52 4f 57 49 44 3b 0a 20 20  ITHOUT ROWID;.  
2360: 43 52 45 41 54 45 20 49 4e 44 45 58 20 74 39 63  CREATE INDEX t9c
2370: 61 20 4f 4e 20 74 39 28 63 2c 61 29 20 57 48 45  a ON t9(c,a) WHE
2380: 52 45 20 61 20 69 6e 20 28 31 30 2c 31 32 2c 32  RE a in (10,12,2
2390: 30 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54  0);.  INSERT INT
23a0: 4f 20 74 39 20 56 41 4c 55 45 53 28 31 2c 31 2c  O t9 VALUES(1,1,
23b0: 39 29 2c 28 31 30 2c 32 2c 33 35 29 2c 28 31 31  9),(10,2,35),(11
23c0: 2c 31 35 2c 38 32 29 2c 28 32 30 2c 31 39 2c 35  ,15,82),(20,19,5
23d0: 29 3b 0a 20 20 55 50 44 41 54 45 20 74 39 20 53  );.  UPDATE t9 S
23e0: 45 54 20 62 3d 63 20 57 48 45 52 45 20 61 20 69  ET b=c WHERE a i
23f0: 6e 20 28 31 30 2c 31 32 2c 32 30 29 3b 0a 20 20  n (10,12,20);.  
2400: 53 45 4c 45 43 54 20 61 2c 62 2c 63 2c 27 7c 27  SELECT a,b,c,'|'
2410: 20 46 52 4f 4d 20 74 39 20 4f 52 44 45 52 20 42   FROM t9 ORDER B
2420: 59 20 61 3b 0a 7d 20 7b 31 20 31 20 39 20 7c 20  Y a;.} {1 1 9 | 
2430: 31 30 20 33 35 20 33 35 20 7c 20 31 31 20 31 35  10 35 35 | 11 15
2440: 20 38 32 20 7c 20 32 30 20 35 20 35 20 7c 7d 0a   82 | 20 5 5 |}.
2450: 0a 23 20 41 4e 44 2d 63 6f 6e 6e 65 63 74 65 64  .# AND-connected
2460: 20 74 65 72 6d 73 20 69 6e 20 74 68 65 20 57 48   terms in the WH
2470: 45 52 45 20 63 6c 61 75 73 65 20 6f 66 20 61 20  ERE clause of a 
2480: 70 61 72 74 69 61 6c 20 69 6e 64 65 78 0a 23 0a  partial index.#.
2490: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20  do_execsql_test 
24a0: 69 6e 64 65 78 36 2d 31 30 2e 31 20 7b 0a 20 20  index6-10.1 {.  
24b0: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 30  CREATE TABLE t10
24c0: 28 61 2c 62 2c 63 2c 64 2c 65 20 49 4e 54 45 47  (a,b,c,d,e INTEG
24d0: 45 52 20 50 52 49 4d 41 52 59 20 4b 45 59 29 3b  ER PRIMARY KEY);
24e0: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74  .  INSERT INTO t
24f0: 31 30 20 56 41 4c 55 45 53 0a 20 20 20 20 28 31  10 VALUES.    (1
2500: 2c 32 2c 33 2c 34 2c 35 29 2c 0a 20 20 20 20 28  ,2,3,4,5),.    (
2510: 32 2c 33 2c 34 2c 35 2c 36 29 2c 0a 20 20 20 20  2,3,4,5,6),.    
2520: 28 33 2c 34 2c 35 2c 36 2c 37 29 2c 0a 20 20 20  (3,4,5,6,7),.   
2530: 20 28 31 2c 32 2c 33 2c 38 2c 39 29 3b 0a 20 20   (1,2,3,8,9);.  
2540: 43 52 45 41 54 45 20 49 4e 44 45 58 20 74 31 30  CREATE INDEX t10
2550: 78 20 4f 4e 20 74 31 30 28 64 29 20 57 48 45 52  x ON t10(d) WHER
2560: 45 20 61 3d 31 20 41 4e 44 20 62 3d 32 20 41 4e  E a=1 AND b=2 AN
2570: 44 20 63 3d 33 3b 0a 20 20 53 45 4c 45 43 54 20  D c=3;.  SELECT 
2580: 65 20 46 52 4f 4d 20 74 31 30 20 57 48 45 52 45  e FROM t10 WHERE
2590: 20 61 3d 31 20 41 4e 44 20 62 3d 32 20 41 4e 44   a=1 AND b=2 AND
25a0: 20 63 3d 33 20 4f 52 44 45 52 20 42 59 20 64 3b   c=3 ORDER BY d;
25b0: 0a 7d 20 7b 35 20 39 7d 0a 64 6f 5f 65 78 65 63  .} {5 9}.do_exec
25c0: 73 71 6c 5f 74 65 73 74 20 69 6e 64 65 78 36 2d  sql_test index6-
25d0: 31 30 2e 31 65 71 70 20 7b 0a 20 20 45 58 50 4c  10.1eqp {.  EXPL
25e0: 41 49 4e 20 51 55 45 52 59 20 50 4c 41 4e 0a 20  AIN QUERY PLAN. 
25f0: 20 53 45 4c 45 43 54 20 65 20 46 52 4f 4d 20 74   SELECT e FROM t
2600: 31 30 20 57 48 45 52 45 20 61 3d 31 20 41 4e 44  10 WHERE a=1 AND
2610: 20 62 3d 32 20 41 4e 44 20 63 3d 33 20 4f 52 44   b=2 AND c=3 ORD
2620: 45 52 20 42 59 20 64 3b 0a 7d 20 7b 2f 55 53 49  ER BY d;.} {/USI
2630: 4e 47 20 49 4e 44 45 58 20 74 31 30 78 2f 7d 0a  NG INDEX t10x/}.
2640: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20  do_execsql_test 
2650: 69 6e 64 65 78 36 2d 31 30 2e 32 20 7b 0a 20 20  index6-10.2 {.  
2660: 53 45 4c 45 43 54 20 65 20 46 52 4f 4d 20 74 31  SELECT e FROM t1
2670: 30 20 57 48 45 52 45 20 63 3d 33 20 41 4e 44 20  0 WHERE c=3 AND 
2680: 32 3d 62 20 41 4e 44 20 61 3d 31 20 4f 52 44 45  2=b AND a=1 ORDE
2690: 52 20 42 59 20 64 20 44 45 53 43 3b 0a 7d 20 7b  R BY d DESC;.} {
26a0: 39 20 35 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f  9 5}.do_execsql_
26b0: 74 65 73 74 20 69 6e 64 65 78 36 2d 31 30 2e 32  test index6-10.2
26c0: 65 71 70 20 7b 0a 20 20 45 58 50 4c 41 49 4e 20  eqp {.  EXPLAIN 
26d0: 51 55 45 52 59 20 50 4c 41 4e 0a 20 20 53 45 4c  QUERY PLAN.  SEL
26e0: 45 43 54 20 65 20 46 52 4f 4d 20 74 31 30 20 57  ECT e FROM t10 W
26f0: 48 45 52 45 20 63 3d 33 20 41 4e 44 20 32 3d 62  HERE c=3 AND 2=b
2700: 20 41 4e 44 20 61 3d 31 20 4f 52 44 45 52 20 42   AND a=1 ORDER B
2710: 59 20 64 20 44 45 53 43 3b 0a 7d 20 7b 2f 55 53  Y d DESC;.} {/US
2720: 49 4e 47 20 49 4e 44 45 58 20 74 31 30 78 2f 7d  ING INDEX t10x/}
2730: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74  .do_execsql_test
2740: 20 69 6e 64 65 78 36 2d 31 30 2e 33 20 7b 0a 20   index6-10.3 {. 
2750: 20 53 45 4c 45 43 54 20 65 20 46 52 4f 4d 20 74   SELECT e FROM t
2760: 31 30 20 57 48 45 52 45 20 61 3d 31 20 41 4e 44  10 WHERE a=1 AND
2770: 20 62 3d 32 20 4f 52 44 45 52 20 42 59 20 64 20   b=2 ORDER BY d 
2780: 44 45 53 43 3b 0a 7d 20 7b 39 20 35 7d 0a 64 6f  DESC;.} {9 5}.do
2790: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 69 6e  _execsql_test in
27a0: 64 65 78 36 2d 31 30 2e 33 65 71 70 20 7b 0a 20  dex6-10.3eqp {. 
27b0: 20 45 58 50 4c 41 49 4e 20 51 55 45 52 59 20 50   EXPLAIN QUERY P
27c0: 4c 41 4e 0a 20 20 53 45 4c 45 43 54 20 65 20 46  LAN.  SELECT e F
27d0: 52 4f 4d 20 74 31 30 20 57 48 45 52 45 20 61 3d  ROM t10 WHERE a=
27e0: 31 20 41 4e 44 20 62 3d 32 20 4f 52 44 45 52 20  1 AND b=2 ORDER 
27f0: 42 59 20 64 20 44 45 53 43 3b 0a 7d 20 7b 7e 2f  BY d DESC;.} {~/
2800: 55 53 49 4e 47 20 49 4e 44 45 58 20 74 31 30 78  USING INDEX t10x
2810: 2f 7d 0a 0a 23 20 41 20 70 61 72 74 69 61 6c 20  /}..# A partial 
2820: 69 6e 64 65 78 20 77 69 6c 6c 20 62 65 20 75 73  index will be us
2830: 65 64 20 66 6f 72 20 61 20 66 75 6c 6c 20 74 61  ed for a full ta
2840: 62 6c 65 20 73 63 61 6e 2c 20 77 68 65 72 65 20  ble scan, where 
2850: 70 6f 73 73 69 62 6c 65 0a 64 6f 5f 65 78 65 63  possible.do_exec
2860: 73 71 6c 5f 74 65 73 74 20 69 6e 64 65 78 36 2d  sql_test index6-
2870: 31 31 2e 31 20 7b 0a 20 20 43 52 45 41 54 45 20  11.1 {.  CREATE 
2880: 54 41 42 4c 45 20 74 31 31 28 61 2c 62 2c 63 29  TABLE t11(a,b,c)
2890: 3b 0a 20 20 43 52 45 41 54 45 20 49 4e 44 45 58  ;.  CREATE INDEX
28a0: 20 74 31 31 78 20 4f 4e 20 74 31 31 28 61 29 20   t11x ON t11(a) 
28b0: 57 48 45 52 45 20 62 3c 3e 39 39 3b 0a 20 20 45  WHERE b<>99;.  E
28c0: 58 50 4c 41 49 4e 20 51 55 45 52 59 20 50 4c 41  XPLAIN QUERY PLA
28d0: 4e 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20  N SELECT a FROM 
28e0: 74 31 31 20 57 48 45 52 45 20 62 3c 3e 39 39 3b  t11 WHERE b<>99;
28f0: 0a 7d 20 7b 2f 55 53 49 4e 47 20 49 4e 44 45 58  .} {/USING INDEX
2900: 20 74 31 31 78 2f 7d 0a 64 6f 5f 65 78 65 63 73   t11x/}.do_execs
2910: 71 6c 5f 74 65 73 74 20 69 6e 64 65 78 36 2d 31  ql_test index6-1
2920: 31 2e 32 20 7b 0a 20 20 45 58 50 4c 41 49 4e 20  1.2 {.  EXPLAIN 
2930: 51 55 45 52 59 20 50 4c 41 4e 20 53 45 4c 45 43  QUERY PLAN SELEC
2940: 54 20 61 20 46 52 4f 4d 20 74 31 31 20 57 48 45  T a FROM t11 WHE
2950: 52 45 20 62 3c 3e 39 39 20 41 4e 44 20 63 3c 3e  RE b<>99 AND c<>
2960: 39 38 3b 0a 7d 20 7b 2f 55 53 49 4e 47 20 49 4e  98;.} {/USING IN
2970: 44 45 58 20 74 31 31 78 2f 7d 0a 0a 23 20 32 30  DEX t11x/}..# 20
2980: 31 38 2d 31 32 2d 30 38 0a 23 20 54 69 63 6b 65  18-12-08.# Ticke
2990: 74 20 68 74 74 70 73 3a 2f 2f 77 77 77 2e 73 71  t https://www.sq
29a0: 6c 69 74 65 2e 6f 72 67 2f 73 72 63 2f 69 6e 66  lite.org/src/inf
29b0: 6f 2f 31 64 39 35 38 64 39 30 35 39 36 35 39 33  o/1d958d90596593
29c0: 61 37 0a 23 20 4e 4f 54 20 49 4e 20 6f 70 65 72  a7.# NOT IN oper
29d0: 61 74 6f 72 20 66 61 69 6c 73 20 77 68 65 6e 20  ator fails when 
29e0: 75 73 69 6e 67 20 61 20 70 61 72 74 69 61 6c 20  using a partial 
29f0: 69 6e 64 65 78 2e 0a 23 0a 64 6f 5f 65 78 65 63  index..#.do_exec
2a00: 73 71 6c 5f 74 65 73 74 20 69 6e 64 65 78 36 2d  sql_test index6-
2a10: 31 32 2e 31 20 7b 0a 20 20 44 52 4f 50 20 54 41  12.1 {.  DROP TA
2a20: 42 4c 45 20 49 46 20 45 58 49 53 54 53 20 74 31  BLE IF EXISTS t1
2a30: 3b 0a 20 20 44 52 4f 50 20 54 41 42 4c 45 20 49  ;.  DROP TABLE I
2a40: 46 20 45 58 49 53 54 53 20 74 32 3b 0a 20 20 43  F EXISTS t2;.  C
2a50: 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 61  REATE TABLE t1(a
2a60: 2c 62 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e  ,b);.  INSERT IN
2a70: 54 4f 20 74 31 20 56 41 4c 55 45 53 28 31 2c 31  TO t1 VALUES(1,1
2a80: 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  );.  INSERT INTO
2a90: 20 74 31 20 56 41 4c 55 45 53 28 32 2c 32 29 3b   t1 VALUES(2,2);
2aa0: 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20  .  CREATE TABLE 
2ab0: 74 32 28 78 29 3b 0a 20 20 49 4e 53 45 52 54 20  t2(x);.  INSERT 
2ac0: 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53 28 31  INTO t2 VALUES(1
2ad0: 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  );.  INSERT INTO
2ae0: 20 74 32 20 56 41 4c 55 45 53 28 32 29 3b 0a 20   t2 VALUES(2);. 
2af0: 20 53 45 4c 45 43 54 20 27 6f 6e 65 27 2c 20 2a   SELECT 'one', *
2b00: 20 46 52 4f 4d 20 74 32 20 57 48 45 52 45 20 78   FROM t2 WHERE x
2b10: 20 4e 4f 54 20 49 4e 20 28 53 45 4c 45 43 54 20   NOT IN (SELECT 
2b20: 61 20 46 52 4f 4d 20 74 31 29 3b 0a 20 20 43 52  a FROM t1);.  CR
2b30: 45 41 54 45 20 49 4e 44 45 58 20 74 31 61 20 4f  EATE INDEX t1a O
2b40: 4e 20 74 31 28 61 29 20 57 48 45 52 45 20 62 3d  N t1(a) WHERE b=
2b50: 31 3b 0a 20 20 53 45 4c 45 43 54 20 27 74 77 6f  1;.  SELECT 'two
2b60: 27 2c 20 2a 20 46 52 4f 4d 20 74 32 20 57 48 45  ', * FROM t2 WHE
2b70: 52 45 20 78 20 4e 4f 54 20 49 4e 20 28 53 45 4c  RE x NOT IN (SEL
2b80: 45 43 54 20 61 20 46 52 4f 4d 20 74 31 29 3b 0a  ECT a FROM t1);.
2b90: 7d 20 7b 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f  } {}.do_execsql_
2ba0: 74 65 73 74 20 69 6e 64 65 78 36 2d 31 32 2e 32  test index6-12.2
2bb0: 20 7b 0a 20 20 53 45 4c 45 43 54 20 78 20 46 52   {.  SELECT x FR
2bc0: 4f 4d 20 74 32 20 57 48 45 52 45 20 78 20 49 4e  OM t2 WHERE x IN
2bd0: 20 28 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20   (SELECT a FROM 
2be0: 74 31 29 20 4f 52 44 45 52 20 42 59 20 2b 78 3b  t1) ORDER BY +x;
2bf0: 0a 7d 20 7b 31 20 32 7d 0a 0a 23 20 32 30 31 39  .} {1 2}..# 2019
2c00: 2d 30 35 2d 30 34 0a 23 20 54 69 63 6b 65 74 20  -05-04.# Ticket 
2c10: 68 74 74 70 73 3a 2f 2f 77 77 77 2e 73 71 6c 69  https://www.sqli
2c20: 74 65 2e 6f 72 67 2f 73 72 63 2f 74 6b 74 76 69  te.org/src/tktvi
2c30: 65 77 2f 35 63 36 39 35 35 32 30 34 63 33 39 32  ew/5c6955204c392
2c40: 61 65 37 36 33 61 39 35 0a 23 20 54 68 65 6f 72  ae763a95.# Theor
2c50: 65 6d 20 70 72 6f 76 65 72 20 65 72 72 6f 72 0a  em prover error.
2c60: 23 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73  #.do_execsql_tes
2c70: 74 20 69 6e 64 65 78 36 2d 31 33 2e 31 20 7b 0a  t index6-13.1 {.
2c80: 20 20 44 52 4f 50 20 54 41 42 4c 45 20 49 46 20    DROP TABLE IF 
2c90: 45 58 49 53 54 53 20 74 30 3b 0a 20 20 43 52 45  EXISTS t0;.  CRE
2ca0: 41 54 45 20 54 41 42 4c 45 20 74 30 28 63 30 29  ATE TABLE t0(c0)
2cb0: 3b 0a 20 20 43 52 45 41 54 45 20 49 4e 44 45 58  ;.  CREATE INDEX
2cc0: 20 69 6e 64 65 78 5f 30 20 4f 4e 20 74 30 28 63   index_0 ON t0(c
2cd0: 30 29 20 57 48 45 52 45 20 63 30 20 4e 4f 54 20  0) WHERE c0 NOT 
2ce0: 4e 55 4c 4c 3b 0a 20 20 49 4e 53 45 52 54 20 49  NULL;.  INSERT I
2cf0: 4e 54 4f 20 74 30 28 63 30 29 20 56 41 4c 55 45  NTO t0(c0) VALUE
2d00: 53 20 28 4e 55 4c 4c 29 3b 0a 20 20 53 45 4c 45  S (NULL);.  SELE
2d10: 43 54 20 2a 20 46 52 4f 4d 20 74 30 20 57 48 45  CT * FROM t0 WHE
2d20: 52 45 20 63 30 20 4f 52 20 31 3b 0a 7d 20 7b 7b  RE c0 OR 1;.} {{
2d30: 7d 7d 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a  }}..finish_test.