/ Hex Artifact Content
Login

Artifact a52c8c6abfae4fbfb51d99440de4ca1840dbacc606b05e29328a2a8ba7cd914e:


0000: 23 20 32 30 30 38 2d 31 30 2d 30 34 0a 23 0a 23  # 2008-10-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 0a 73 65 74 20 74 65 73 74 64 69  **.#..set testdi
0170: 72 20 5b 66 69 6c 65 20 64 69 72 6e 61 6d 65 20  r [file dirname 
0180: 24 61 72 67 76 30 5d 0a 73 6f 75 72 63 65 20 24  $argv0].source $
0190: 74 65 73 74 64 69 72 2f 74 65 73 74 65 72 2e 74  testdir/tester.t
01a0: 63 6c 0a 73 65 74 20 3a 3a 74 65 73 74 70 72 65  cl.set ::testpre
01b0: 66 69 78 20 69 6e 64 65 78 65 64 62 79 0a 0a 23  fix indexedby..#
01c0: 20 43 72 65 61 74 65 20 61 20 73 63 68 65 6d 61   Create a schema
01d0: 20 77 69 74 68 20 73 6f 6d 65 20 69 6e 64 65 78   with some index
01e0: 65 73 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6e  es..#.do_test in
01f0: 64 65 78 65 64 62 79 2d 31 2e 31 20 7b 0a 20 20  dexedby-1.1 {.  
0200: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 43 52  execsql {.    CR
0210: 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 61 2c  EATE TABLE t1(a,
0220: 20 62 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20   b);.    CREATE 
0230: 49 4e 44 45 58 20 69 31 20 4f 4e 20 74 31 28 61  INDEX i1 ON t1(a
0240: 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20 49 4e  );.    CREATE IN
0250: 44 45 58 20 69 32 20 4f 4e 20 74 31 28 62 29 3b  DEX i2 ON t1(b);
0260: 0a 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42  ..    CREATE TAB
0270: 4c 45 20 74 32 28 63 2c 20 64 29 3b 0a 20 20 20  LE t2(c, d);.   
0280: 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 69 33   CREATE INDEX i3
0290: 20 4f 4e 20 74 32 28 63 29 3b 0a 20 20 20 20 43   ON t2(c);.    C
02a0: 52 45 41 54 45 20 49 4e 44 45 58 20 69 34 20 4f  REATE INDEX i4 O
02b0: 4e 20 74 32 28 64 29 3b 0a 0a 20 20 20 20 43 52  N t2(d);..    CR
02c0: 45 41 54 45 20 54 41 42 4c 45 20 74 33 28 65 20  EATE TABLE t3(e 
02d0: 50 52 49 4d 41 52 59 20 4b 45 59 2c 20 66 29 3b  PRIMARY KEY, f);
02e0: 0a 0a 20 20 20 20 43 52 45 41 54 45 20 56 49 45  ..    CREATE VIE
02f0: 57 20 76 31 20 41 53 20 53 45 4c 45 43 54 20 2a  W v1 AS SELECT *
0300: 20 46 52 4f 4d 20 74 31 3b 0a 20 20 7d 0a 7d 20   FROM t1;.  }.} 
0310: 7b 7d 0a 0a 23 20 45 78 70 6c 61 69 6e 20 51 75  {}..# Explain Qu
0320: 65 72 79 20 50 6c 61 6e 0a 23 0a 70 72 6f 63 20  ery Plan.#.proc 
0330: 45 51 50 20 7b 73 71 6c 7d 20 7b 0a 20 20 75 70  EQP {sql} {.  up
0340: 6c 65 76 65 6c 20 22 65 78 65 63 73 71 6c 20 7b  level "execsql {
0350: 45 58 50 4c 41 49 4e 20 51 55 45 52 59 20 50 4c  EXPLAIN QUERY PL
0360: 41 4e 20 24 73 71 6c 7d 22 0a 7d 0a 0a 23 20 54  AN $sql}".}..# T
0370: 68 65 73 65 20 74 65 73 74 73 20 61 72 65 20 74  hese tests are t
0380: 6f 20 63 68 65 63 6b 20 74 68 61 74 20 22 45 58  o check that "EX
0390: 50 4c 41 49 4e 20 51 55 45 52 59 20 50 4c 41 4e  PLAIN QUERY PLAN
03a0: 22 20 69 73 20 77 6f 72 6b 69 6e 67 20 61 73 20  " is working as 
03b0: 65 78 70 65 63 74 65 64 2e 0a 23 0a 64 6f 5f 65  expected..#.do_e
03c0: 71 70 5f 74 65 73 74 20 69 6e 64 65 78 65 64 62  qp_test indexedb
03d0: 79 2d 31 2e 32 20 7b 0a 20 20 73 65 6c 65 63 74  y-1.2 {.  select
03e0: 20 2a 20 66 72 6f 6d 20 74 31 20 57 48 45 52 45   * from t1 WHERE
03f0: 20 61 20 3d 20 31 30 3b 20 0a 7d 20 7b 53 45 41   a = 10; .} {SEA
0400: 52 43 48 20 54 41 42 4c 45 20 74 31 20 55 53 49  RCH TABLE t1 USI
0410: 4e 47 20 49 4e 44 45 58 20 69 31 20 28 61 3d 3f  NG INDEX i1 (a=?
0420: 29 7d 0a 64 6f 5f 65 71 70 5f 74 65 73 74 20 69  )}.do_eqp_test i
0430: 6e 64 65 78 65 64 62 79 2d 31 2e 33 20 7b 0a 20  ndexedby-1.3 {. 
0440: 20 73 65 6c 65 63 74 20 2a 20 66 72 6f 6d 20 74   select * from t
0450: 31 20 3b 20 0a 7d 20 7b 53 43 41 4e 20 54 41 42  1 ; .} {SCAN TAB
0460: 4c 45 20 74 31 7d 0a 64 6f 5f 65 71 70 5f 74 65  LE t1}.do_eqp_te
0470: 73 74 20 69 6e 64 65 78 65 64 62 79 2d 31 2e 34  st indexedby-1.4
0480: 20 7b 0a 20 20 73 65 6c 65 63 74 20 2a 20 66 72   {.  select * fr
0490: 6f 6d 20 74 31 2c 20 74 32 20 57 48 45 52 45 20  om t1, t2 WHERE 
04a0: 63 20 3d 20 31 30 3b 20 0a 7d 20 7b 0a 20 20 51  c = 10; .} {.  Q
04b0: 55 45 52 59 20 50 4c 41 4e 0a 20 20 7c 2d 2d 53  UERY PLAN.  |--S
04c0: 45 41 52 43 48 20 54 41 42 4c 45 20 74 32 20 55  EARCH TABLE t2 U
04d0: 53 49 4e 47 20 49 4e 44 45 58 20 69 33 20 28 63  SING INDEX i3 (c
04e0: 3d 3f 29 0a 20 20 60 2d 2d 53 43 41 4e 20 54 41  =?).  `--SCAN TA
04f0: 42 4c 45 20 74 31 0a 7d 0a 0a 23 20 50 61 72 73  BLE t1.}..# Pars
0500: 65 72 20 74 65 73 74 73 2e 20 54 65 73 74 20 74  er tests. Test t
0510: 68 61 74 20 61 6e 20 49 4e 44 45 58 45 44 20 42  hat an INDEXED B
0520: 59 20 6f 72 20 4e 4f 54 20 49 4e 44 45 58 20 63  Y or NOT INDEX c
0530: 6c 61 75 73 65 20 63 61 6e 20 62 65 20 0a 23 20  lause can be .# 
0540: 61 74 74 61 63 68 65 64 20 74 6f 20 61 20 74 61  attached to a ta
0550: 62 6c 65 20 69 6e 20 74 68 65 20 46 52 4f 4d 20  ble in the FROM 
0560: 63 6c 61 75 73 65 2c 20 62 75 74 20 6e 6f 74 20  clause, but not 
0570: 74 6f 20 61 20 73 75 62 2d 73 65 6c 65 63 74 20  to a sub-select 
0580: 6f 72 0a 23 20 53 51 4c 20 76 69 65 77 2e 20 41  or.# SQL view. A
0590: 6c 73 6f 20 74 65 73 74 20 74 68 61 74 20 73 70  lso test that sp
05a0: 65 63 69 66 79 69 6e 67 20 61 6e 20 69 6e 64 65  ecifying an inde
05b0: 78 20 74 68 61 74 20 64 6f 65 73 20 6e 6f 74 20  x that does not 
05c0: 65 78 69 73 74 20 6f 72 0a 23 20 69 73 20 61 74  exist or.# is at
05d0: 74 61 63 68 65 64 20 74 6f 20 61 20 64 69 66 66  tached to a diff
05e0: 65 72 65 6e 74 20 74 61 62 6c 65 20 69 73 20 64  erent table is d
05f0: 65 74 65 63 74 65 64 20 61 73 20 61 6e 20 65 72  etected as an er
0600: 72 6f 72 2e 0a 23 0a 23 20 58 2d 45 56 49 44 45  ror..#.# X-EVIDE
0610: 4e 43 45 2d 4f 46 3a 20 52 2d 30 37 30 30 34 2d  NCE-OF: R-07004-
0620: 31 31 35 32 32 20 2d 2d 20 73 79 6e 74 61 78 20  11522 -- syntax 
0630: 64 69 61 67 72 61 6d 20 71 75 61 6c 69 66 69 65  diagram qualifie
0640: 64 2d 74 61 62 6c 65 2d 6e 61 6d 65 0a 23 20 0a  d-table-name.# .
0650: 23 20 45 56 49 44 45 4e 43 45 2d 4f 46 3a 20 52  # EVIDENCE-OF: R
0660: 2d 35 38 32 33 30 2d 35 37 30 39 38 20 54 68 65  -58230-57098 The
0670: 20 22 49 4e 44 45 58 45 44 20 42 59 20 69 6e 64   "INDEXED BY ind
0680: 65 78 2d 6e 61 6d 65 22 20 70 68 72 61 73 65 0a  ex-name" phrase.
0690: 23 20 73 70 65 63 69 66 69 65 73 20 74 68 61 74  # specifies that
06a0: 20 74 68 65 20 6e 61 6d 65 64 20 69 6e 64 65 78   the named index
06b0: 20 6d 75 73 74 20 62 65 20 75 73 65 64 20 69 6e   must be used in
06c0: 20 6f 72 64 65 72 20 74 6f 20 6c 6f 6f 6b 20 75   order to look u
06d0: 70 20 76 61 6c 75 65 73 0a 23 20 6f 6e 20 74 68  p values.# on th
06e0: 65 20 70 72 65 63 65 64 69 6e 67 20 74 61 62 6c  e preceding tabl
06f0: 65 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6e 64  e..#.do_test ind
0700: 65 78 65 64 62 79 2d 32 2e 31 20 7b 0a 20 20 65  exedby-2.1 {.  e
0710: 78 65 63 73 71 6c 20 7b 20 53 45 4c 45 43 54 20  xecsql { SELECT 
0720: 2a 20 46 52 4f 4d 20 74 31 20 4e 4f 54 20 49 4e  * FROM t1 NOT IN
0730: 44 45 58 45 44 20 57 48 45 52 45 20 61 20 3d 20  DEXED WHERE a = 
0740: 27 6f 6e 65 27 20 41 4e 44 20 62 20 3d 20 27 74  'one' AND b = 't
0750: 77 6f 27 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73  wo'}.} {}.do_tes
0760: 74 20 69 6e 64 65 78 65 64 62 79 2d 32 2e 31 62  t indexedby-2.1b
0770: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 53   {.  execsql { S
0780: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 6d 61 69  ELECT * FROM mai
0790: 6e 2e 74 31 20 4e 4f 54 20 49 4e 44 45 58 45 44  n.t1 NOT INDEXED
07a0: 20 57 48 45 52 45 20 61 20 3d 20 27 6f 6e 65 27   WHERE a = 'one'
07b0: 20 41 4e 44 20 62 20 3d 20 27 74 77 6f 27 7d 0a   AND b = 'two'}.
07c0: 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 64  } {}.do_test ind
07d0: 65 78 65 64 62 79 2d 32 2e 32 20 7b 0a 20 20 65  exedby-2.2 {.  e
07e0: 78 65 63 73 71 6c 20 7b 20 53 45 4c 45 43 54 20  xecsql { SELECT 
07f0: 2a 20 46 52 4f 4d 20 74 31 20 49 4e 44 45 58 45  * FROM t1 INDEXE
0800: 44 20 42 59 20 69 31 20 57 48 45 52 45 20 61 20  D BY i1 WHERE a 
0810: 3d 20 27 6f 6e 65 27 20 41 4e 44 20 62 20 3d 20  = 'one' AND b = 
0820: 27 74 77 6f 27 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74  'two'}.} {}.do_t
0830: 65 73 74 20 69 6e 64 65 78 65 64 62 79 2d 32 2e  est indexedby-2.
0840: 32 62 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  2b {.  execsql {
0850: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 6d   SELECT * FROM m
0860: 61 69 6e 2e 74 31 20 49 4e 44 45 58 45 44 20 42  ain.t1 INDEXED B
0870: 59 20 69 31 20 57 48 45 52 45 20 61 20 3d 20 27  Y i1 WHERE a = '
0880: 6f 6e 65 27 20 41 4e 44 20 62 20 3d 20 27 74 77  one' AND b = 'tw
0890: 6f 27 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74  o'}.} {}.do_test
08a0: 20 69 6e 64 65 78 65 64 62 79 2d 32 2e 33 20 7b   indexedby-2.3 {
08b0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 53 45 4c  .  execsql { SEL
08c0: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 49 4e  ECT * FROM t1 IN
08d0: 44 45 58 45 44 20 42 59 20 69 32 20 57 48 45 52  DEXED BY i2 WHER
08e0: 45 20 61 20 3d 20 27 6f 6e 65 27 20 41 4e 44 20  E a = 'one' AND 
08f0: 62 20 3d 20 27 74 77 6f 27 7d 0a 7d 20 7b 7d 0a  b = 'two'}.} {}.
0900: 23 20 45 56 49 44 45 4e 43 45 2d 4f 46 3a 20 52  # EVIDENCE-OF: R
0910: 2d 34 34 36 39 39 2d 35 35 35 35 38 20 54 68 65  -44699-55558 The
0920: 20 49 4e 44 45 58 45 44 20 42 59 20 63 6c 61 75   INDEXED BY clau
0930: 73 65 20 64 6f 65 73 20 6e 6f 74 20 67 69 76 65  se does not give
0940: 20 74 68 65 0a 23 20 6f 70 74 69 6d 69 7a 65 72   the.# optimizer
0950: 20 68 69 6e 74 73 20 61 62 6f 75 74 20 77 68 69   hints about whi
0960: 63 68 20 69 6e 64 65 78 20 74 6f 20 75 73 65 3b  ch index to use;
0970: 20 69 74 20 67 69 76 65 73 20 74 68 65 20 6f 70   it gives the op
0980: 74 69 6d 69 7a 65 72 20 61 0a 23 20 72 65 71 75  timizer a.# requ
0990: 69 72 65 6d 65 6e 74 20 6f 66 20 77 68 69 63 68  irement of which
09a0: 20 69 6e 64 65 78 20 74 6f 20 75 73 65 2e 0a 23   index to use..#
09b0: 20 45 56 49 44 45 4e 43 45 2d 4f 46 3a 20 52 2d   EVIDENCE-OF: R-
09c0: 31 35 38 30 30 2d 32 35 37 31 39 20 49 66 20 69  15800-25719 If i
09d0: 6e 64 65 78 2d 6e 61 6d 65 20 64 6f 65 73 20 6e  ndex-name does n
09e0: 6f 74 20 65 78 69 73 74 20 6f 72 20 63 61 6e 6e  ot exist or cann
09f0: 6f 74 20 62 65 0a 23 20 75 73 65 64 20 66 6f 72  ot be.# used for
0a00: 20 74 68 65 20 71 75 65 72 79 2c 20 74 68 65 6e   the query, then
0a10: 20 74 68 65 20 70 72 65 70 61 72 61 74 69 6f 6e   the preparation
0a20: 20 6f 66 20 74 68 65 20 53 51 4c 20 73 74 61 74   of the SQL stat
0a30: 65 6d 65 6e 74 20 66 61 69 6c 73 2e 0a 23 0a 64  ement fails..#.d
0a40: 6f 5f 74 65 73 74 20 69 6e 64 65 78 65 64 62 79  o_test indexedby
0a50: 2d 32 2e 34 20 7b 0a 20 20 63 61 74 63 68 73 71  -2.4 {.  catchsq
0a60: 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f  l { SELECT * FRO
0a70: 4d 20 74 31 20 49 4e 44 45 58 45 44 20 42 59 20  M t1 INDEXED BY 
0a80: 69 33 20 57 48 45 52 45 20 61 20 3d 20 27 6f 6e  i3 WHERE a = 'on
0a90: 65 27 20 41 4e 44 20 62 20 3d 20 27 74 77 6f 27  e' AND b = 'two'
0aa0: 7d 0a 7d 20 7b 31 20 7b 6e 6f 20 73 75 63 68 20  }.} {1 {no such 
0ab0: 69 6e 64 65 78 3a 20 69 33 7d 7d 0a 0a 23 20 45  index: i3}}..# E
0ac0: 56 49 44 45 4e 43 45 2d 4f 46 3a 20 52 2d 36 32  VIDENCE-OF: R-62
0ad0: 31 31 32 2d 34 32 34 35 36 20 49 66 20 74 68 65  112-42456 If the
0ae0: 20 71 75 65 72 79 20 6f 70 74 69 6d 69 7a 65 72   query optimizer
0af0: 20 69 73 20 75 6e 61 62 6c 65 20 74 6f 20 75 73   is unable to us
0b00: 65 20 74 68 65 0a 23 20 69 6e 64 65 78 20 73 70  e the.# index sp
0b10: 65 63 69 66 69 65 64 20 62 79 20 74 68 65 20 49  ecified by the I
0b20: 4e 44 45 58 20 42 59 20 63 6c 61 75 73 65 2c 20  NDEX BY clause, 
0b30: 74 68 65 6e 20 74 68 65 20 71 75 65 72 79 20 77  then the query w
0b40: 69 6c 6c 20 66 61 69 6c 20 77 69 74 68 0a 23 20  ill fail with.# 
0b50: 61 6e 20 65 72 72 6f 72 2e 0a 64 6f 5f 74 65 73  an error..do_tes
0b60: 74 20 69 6e 64 65 78 65 64 62 79 2d 32 2e 34 2e  t indexedby-2.4.
0b70: 31 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b  1 {.  catchsql {
0b80: 20 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20 74   SELECT b FROM t
0b90: 31 20 49 4e 44 45 58 45 44 20 42 59 20 69 31 20  1 INDEXED BY i1 
0ba0: 57 48 45 52 45 20 62 20 3d 20 27 74 77 6f 27 20  WHERE b = 'two' 
0bb0: 7d 0a 7d 20 7b 31 20 7b 6e 6f 20 71 75 65 72 79  }.} {1 {no query
0bc0: 20 73 6f 6c 75 74 69 6f 6e 7d 7d 0a 0a 64 6f 5f   solution}}..do_
0bd0: 74 65 73 74 20 69 6e 64 65 78 65 64 62 79 2d 32  test indexedby-2
0be0: 2e 35 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20  .5 {.  catchsql 
0bf0: 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20  { SELECT * FROM 
0c00: 74 31 20 49 4e 44 45 58 45 44 20 42 59 20 69 35  t1 INDEXED BY i5
0c10: 20 57 48 45 52 45 20 61 20 3d 20 27 6f 6e 65 27   WHERE a = 'one'
0c20: 20 41 4e 44 20 62 20 3d 20 27 74 77 6f 27 7d 0a   AND b = 'two'}.
0c30: 7d 20 7b 31 20 7b 6e 6f 20 73 75 63 68 20 69 6e  } {1 {no such in
0c40: 64 65 78 3a 20 69 35 7d 7d 0a 64 6f 5f 74 65 73  dex: i5}}.do_tes
0c50: 74 20 69 6e 64 65 78 65 64 62 79 2d 32 2e 36 20  t indexedby-2.6 
0c60: 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 20 53  {.  catchsql { S
0c70: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20  ELECT * FROM t1 
0c80: 49 4e 44 45 58 45 44 20 42 59 20 57 48 45 52 45  INDEXED BY WHERE
0c90: 20 61 20 3d 20 27 6f 6e 65 27 20 41 4e 44 20 62   a = 'one' AND b
0ca0: 20 3d 20 27 74 77 6f 27 7d 0a 7d 20 7b 31 20 7b   = 'two'}.} {1 {
0cb0: 6e 65 61 72 20 22 57 48 45 52 45 22 3a 20 73 79  near "WHERE": sy
0cc0: 6e 74 61 78 20 65 72 72 6f 72 7d 7d 0a 64 6f 5f  ntax error}}.do_
0cd0: 74 65 73 74 20 69 6e 64 65 78 65 64 62 79 2d 32  test indexedby-2
0ce0: 2e 37 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20  .7 {.  catchsql 
0cf0: 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20  { SELECT * FROM 
0d00: 76 31 20 49 4e 44 45 58 45 44 20 42 59 20 69 31  v1 INDEXED BY i1
0d10: 20 57 48 45 52 45 20 61 20 3d 20 27 6f 6e 65 27   WHERE a = 'one'
0d20: 20 7d 0a 7d 20 7b 31 20 7b 6e 6f 20 73 75 63 68   }.} {1 {no such
0d30: 20 69 6e 64 65 78 3a 20 69 31 7d 7d 0a 0a 0a 23   index: i1}}...#
0d40: 20 54 65 73 74 73 20 66 6f 72 20 73 69 6e 67 6c   Tests for singl
0d50: 65 20 74 61 62 6c 65 20 63 61 73 65 73 2e 0a 23  e table cases..#
0d60: 0a 23 20 45 56 49 44 45 4e 43 45 2d 4f 46 3a 20  .# EVIDENCE-OF: 
0d70: 52 2d 33 37 30 30 32 2d 32 38 38 37 31 20 54 68  R-37002-28871 Th
0d80: 65 20 22 4e 4f 54 20 49 4e 44 45 58 45 44 22 20  e "NOT INDEXED" 
0d90: 63 6c 61 75 73 65 20 73 70 65 63 69 66 69 65 73  clause specifies
0da0: 20 74 68 61 74 20 6e 6f 0a 23 20 69 6e 64 65 78   that no.# index
0db0: 20 73 68 61 6c 6c 20 62 65 20 75 73 65 64 20 77   shall be used w
0dc0: 68 65 6e 20 61 63 63 65 73 73 69 6e 67 20 74 68  hen accessing th
0dd0: 65 20 70 72 65 63 65 64 69 6e 67 20 74 61 62 6c  e preceding tabl
0de0: 65 2c 20 69 6e 63 6c 75 64 69 6e 67 0a 23 20 69  e, including.# i
0df0: 6d 70 6c 69 65 64 20 69 6e 64 69 63 65 73 20 63  mplied indices c
0e00: 72 65 61 74 65 20 62 79 20 55 4e 49 51 55 45 20  reate by UNIQUE 
0e10: 61 6e 64 20 50 52 49 4d 41 52 59 20 4b 45 59 20  and PRIMARY KEY 
0e20: 63 6f 6e 73 74 72 61 69 6e 74 73 2e 20 48 6f 77  constraints. How
0e30: 65 76 65 72 2c 0a 23 20 74 68 65 20 72 6f 77 69  ever,.# the rowi
0e40: 64 20 63 61 6e 20 73 74 69 6c 6c 20 62 65 20 75  d can still be u
0e50: 73 65 64 20 74 6f 20 6c 6f 6f 6b 20 75 70 20 65  sed to look up e
0e60: 6e 74 72 69 65 73 20 65 76 65 6e 20 77 68 65 6e  ntries even when
0e70: 20 22 4e 4f 54 20 49 4e 44 45 58 45 44 22 0a 23   "NOT INDEXED".#
0e80: 20 69 73 20 73 70 65 63 69 66 69 65 64 2e 0a 23   is specified..#
0e90: 0a 64 6f 5f 65 71 70 5f 74 65 73 74 20 69 6e 64  .do_eqp_test ind
0ea0: 65 78 65 64 62 79 2d 33 2e 31 20 7b 0a 20 20 53  exedby-3.1 {.  S
0eb0: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20  ELECT * FROM t1 
0ec0: 57 48 45 52 45 20 61 20 3d 20 27 6f 6e 65 27 20  WHERE a = 'one' 
0ed0: 41 4e 44 20 62 20 3d 20 27 74 77 6f 27 0a 7d 20  AND b = 'two'.} 
0ee0: 7b 2f 53 45 41 52 43 48 20 54 41 42 4c 45 20 74  {/SEARCH TABLE t
0ef0: 31 20 55 53 49 4e 47 20 49 4e 44 45 58 2f 7d 0a  1 USING INDEX/}.
0f00: 64 6f 5f 65 71 70 5f 74 65 73 74 20 69 6e 64 65  do_eqp_test inde
0f10: 78 65 64 62 79 2d 33 2e 31 2e 31 20 7b 0a 20 20  xedby-3.1.1 {.  
0f20: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
0f30: 20 4e 4f 54 20 49 4e 44 45 58 45 44 20 57 48 45   NOT INDEXED WHE
0f40: 52 45 20 61 20 3d 20 27 6f 6e 65 27 20 41 4e 44  RE a = 'one' AND
0f50: 20 62 20 3d 20 27 74 77 6f 27 0a 7d 20 7b 53 43   b = 'two'.} {SC
0f60: 41 4e 20 54 41 42 4c 45 20 74 31 7d 0a 64 6f 5f  AN TABLE t1}.do_
0f70: 65 71 70 5f 74 65 73 74 20 69 6e 64 65 78 65 64  eqp_test indexed
0f80: 62 79 2d 33 2e 31 2e 32 20 7b 0a 20 20 53 45 4c  by-3.1.2 {.  SEL
0f90: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 4e 4f  ECT * FROM t1 NO
0fa0: 54 20 49 4e 44 45 58 45 44 20 57 48 45 52 45 20  T INDEXED WHERE 
0fb0: 72 6f 77 69 64 3d 31 0a 7d 20 7b 2f 53 45 41 52  rowid=1.} {/SEAR
0fc0: 43 48 20 54 41 42 4c 45 20 74 31 20 55 53 49 4e  CH TABLE t1 USIN
0fd0: 47 20 49 4e 54 45 47 45 52 20 50 52 49 4d 41 52  G INTEGER PRIMAR
0fe0: 59 20 4b 45 59 20 2e 72 6f 77 69 64 3d 2f 7d 0a  Y KEY .rowid=/}.
0ff0: 0a 0a 64 6f 5f 65 71 70 5f 74 65 73 74 20 69 6e  ..do_eqp_test in
1000: 64 65 78 65 64 62 79 2d 33 2e 32 20 7b 0a 20 20  dexedby-3.2 {.  
1010: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
1020: 20 49 4e 44 45 58 45 44 20 42 59 20 69 31 20 57   INDEXED BY i1 W
1030: 48 45 52 45 20 61 20 3d 20 27 6f 6e 65 27 20 41  HERE a = 'one' A
1040: 4e 44 20 62 20 3d 20 27 74 77 6f 27 0a 7d 20 7b  ND b = 'two'.} {
1050: 53 45 41 52 43 48 20 54 41 42 4c 45 20 74 31 20  SEARCH TABLE t1 
1060: 55 53 49 4e 47 20 49 4e 44 45 58 20 69 31 20 28  USING INDEX i1 (
1070: 61 3d 3f 29 7d 0a 64 6f 5f 65 71 70 5f 74 65 73  a=?)}.do_eqp_tes
1080: 74 20 69 6e 64 65 78 65 64 62 79 2d 33 2e 33 20  t indexedby-3.3 
1090: 7b 0a 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f  {.  SELECT * FRO
10a0: 4d 20 74 31 20 49 4e 44 45 58 45 44 20 42 59 20  M t1 INDEXED BY 
10b0: 69 32 20 57 48 45 52 45 20 61 20 3d 20 27 6f 6e  i2 WHERE a = 'on
10c0: 65 27 20 41 4e 44 20 62 20 3d 20 27 74 77 6f 27  e' AND b = 'two'
10d0: 0a 7d 20 7b 53 45 41 52 43 48 20 54 41 42 4c 45  .} {SEARCH TABLE
10e0: 20 74 31 20 55 53 49 4e 47 20 49 4e 44 45 58 20   t1 USING INDEX 
10f0: 69 32 20 28 62 3d 3f 29 7d 0a 64 6f 5f 74 65 73  i2 (b=?)}.do_tes
1100: 74 20 69 6e 64 65 78 65 64 62 79 2d 33 2e 34 20  t indexedby-3.4 
1110: 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 20 53  {.  catchsql { S
1120: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20  ELECT * FROM t1 
1130: 49 4e 44 45 58 45 44 20 42 59 20 69 32 20 57 48  INDEXED BY i2 WH
1140: 45 52 45 20 61 20 3d 20 27 6f 6e 65 27 20 7d 0a  ERE a = 'one' }.
1150: 7d 20 7b 31 20 7b 6e 6f 20 71 75 65 72 79 20 73  } {1 {no query s
1160: 6f 6c 75 74 69 6f 6e 7d 7d 0a 64 6f 5f 74 65 73  olution}}.do_tes
1170: 74 20 69 6e 64 65 78 65 64 62 79 2d 33 2e 35 20  t indexedby-3.5 
1180: 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 20 53  {.  catchsql { S
1190: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20  ELECT * FROM t1 
11a0: 49 4e 44 45 58 45 44 20 42 59 20 69 32 20 4f 52  INDEXED BY i2 OR
11b0: 44 45 52 20 42 59 20 61 20 7d 0a 7d 20 7b 31 20  DER BY a }.} {1 
11c0: 7b 6e 6f 20 71 75 65 72 79 20 73 6f 6c 75 74 69  {no query soluti
11d0: 6f 6e 7d 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 64  on}}.do_test ind
11e0: 65 78 65 64 62 79 2d 33 2e 36 20 7b 0a 20 20 63  exedby-3.6 {.  c
11f0: 61 74 63 68 73 71 6c 20 7b 20 53 45 4c 45 43 54  atchsql { SELECT
1200: 20 2a 20 46 52 4f 4d 20 74 31 20 49 4e 44 45 58   * FROM t1 INDEX
1210: 45 44 20 42 59 20 69 31 20 57 48 45 52 45 20 61  ED BY i1 WHERE a
1220: 20 3d 20 27 6f 6e 65 27 20 7d 0a 7d 20 7b 30 20   = 'one' }.} {0 
1230: 7b 7d 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 64 65  {}}.do_test inde
1240: 78 65 64 62 79 2d 33 2e 37 20 7b 0a 20 20 63 61  xedby-3.7 {.  ca
1250: 74 63 68 73 71 6c 20 7b 20 53 45 4c 45 43 54 20  tchsql { SELECT 
1260: 2a 20 46 52 4f 4d 20 74 31 20 49 4e 44 45 58 45  * FROM t1 INDEXE
1270: 44 20 42 59 20 69 31 20 4f 52 44 45 52 20 42 59  D BY i1 ORDER BY
1280: 20 61 20 7d 0a 7d 20 7b 30 20 7b 7d 7d 0a 0a 64   a }.} {0 {}}..d
1290: 6f 5f 65 71 70 5f 74 65 73 74 20 69 6e 64 65 78  o_eqp_test index
12a0: 65 64 62 79 2d 33 2e 38 20 7b 0a 20 20 53 45 4c  edby-3.8 {.  SEL
12b0: 45 43 54 20 2a 20 46 52 4f 4d 20 74 33 20 49 4e  ECT * FROM t3 IN
12c0: 44 45 58 45 44 20 42 59 20 73 71 6c 69 74 65 5f  DEXED BY sqlite_
12d0: 61 75 74 6f 69 6e 64 65 78 5f 74 33 5f 31 20 4f  autoindex_t3_1 O
12e0: 52 44 45 52 20 42 59 20 65 20 0a 7d 20 7b 53 43  RDER BY e .} {SC
12f0: 41 4e 20 54 41 42 4c 45 20 74 33 20 55 53 49 4e  AN TABLE t3 USIN
1300: 47 20 49 4e 44 45 58 20 73 71 6c 69 74 65 5f 61  G INDEX sqlite_a
1310: 75 74 6f 69 6e 64 65 78 5f 74 33 5f 31 7d 0a 64  utoindex_t3_1}.d
1320: 6f 5f 65 71 70 5f 74 65 73 74 20 69 6e 64 65 78  o_eqp_test index
1330: 65 64 62 79 2d 33 2e 39 20 7b 0a 20 20 53 45 4c  edby-3.9 {.  SEL
1340: 45 43 54 20 2a 20 46 52 4f 4d 20 74 33 20 49 4e  ECT * FROM t3 IN
1350: 44 45 58 45 44 20 42 59 20 73 71 6c 69 74 65 5f  DEXED BY sqlite_
1360: 61 75 74 6f 69 6e 64 65 78 5f 74 33 5f 31 20 57  autoindex_t3_1 W
1370: 48 45 52 45 20 65 20 3d 20 31 30 20 0a 7d 20 7b  HERE e = 10 .} {
1380: 53 45 41 52 43 48 20 54 41 42 4c 45 20 74 33 20  SEARCH TABLE t3 
1390: 55 53 49 4e 47 20 49 4e 44 45 58 20 73 71 6c 69  USING INDEX sqli
13a0: 74 65 5f 61 75 74 6f 69 6e 64 65 78 5f 74 33 5f  te_autoindex_t3_
13b0: 31 20 28 65 3d 3f 29 7d 0a 64 6f 5f 74 65 73 74  1 (e=?)}.do_test
13c0: 20 69 6e 64 65 78 65 64 62 79 2d 33 2e 31 30 20   indexedby-3.10 
13d0: 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 20 53  {.  catchsql { S
13e0: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 33 20  ELECT * FROM t3 
13f0: 49 4e 44 45 58 45 44 20 42 59 20 73 71 6c 69 74  INDEXED BY sqlit
1400: 65 5f 61 75 74 6f 69 6e 64 65 78 5f 74 33 5f 31  e_autoindex_t3_1
1410: 20 57 48 45 52 45 20 66 20 3d 20 31 30 20 7d 0a   WHERE f = 10 }.
1420: 7d 20 7b 31 20 7b 6e 6f 20 71 75 65 72 79 20 73  } {1 {no query s
1430: 6f 6c 75 74 69 6f 6e 7d 7d 0a 64 6f 5f 74 65 73  olution}}.do_tes
1440: 74 20 69 6e 64 65 78 65 64 62 79 2d 33 2e 31 31  t indexedby-3.11
1450: 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 20   {.  catchsql { 
1460: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 33  SELECT * FROM t3
1470: 20 49 4e 44 45 58 45 44 20 42 59 20 73 71 6c 69   INDEXED BY sqli
1480: 74 65 5f 61 75 74 6f 69 6e 64 65 78 5f 74 33 5f  te_autoindex_t3_
1490: 32 20 57 48 45 52 45 20 66 20 3d 20 31 30 20 7d  2 WHERE f = 10 }
14a0: 0a 7d 20 7b 31 20 7b 6e 6f 20 73 75 63 68 20 69  .} {1 {no such i
14b0: 6e 64 65 78 3a 20 73 71 6c 69 74 65 5f 61 75 74  ndex: sqlite_aut
14c0: 6f 69 6e 64 65 78 5f 74 33 5f 32 7d 7d 0a 0a 23  oindex_t3_2}}..#
14d0: 20 54 65 73 74 73 20 66 6f 72 20 6d 75 6c 74 69   Tests for multi
14e0: 70 6c 65 20 74 61 62 6c 65 20 63 61 73 65 73 2e  ple table cases.
14f0: 0a 23 0a 64 6f 5f 65 71 70 5f 74 65 73 74 20 69  .#.do_eqp_test i
1500: 6e 64 65 78 65 64 62 79 2d 34 2e 31 20 7b 0a 20  ndexedby-4.1 {. 
1510: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
1520: 31 2c 20 74 32 20 57 48 45 52 45 20 61 20 3d 20  1, t2 WHERE a = 
1530: 63 20 0a 7d 20 7b 0a 20 20 51 55 45 52 59 20 50  c .} {.  QUERY P
1540: 4c 41 4e 0a 20 20 7c 2d 2d 53 43 41 4e 20 54 41  LAN.  |--SCAN TA
1550: 42 4c 45 20 74 31 0a 20 20 60 2d 2d 53 45 41 52  BLE t1.  `--SEAR
1560: 43 48 20 54 41 42 4c 45 20 74 32 20 55 53 49 4e  CH TABLE t2 USIN
1570: 47 20 49 4e 44 45 58 20 69 33 20 28 63 3d 3f 29  G INDEX i3 (c=?)
1580: 0a 7d 0a 64 6f 5f 65 71 70 5f 74 65 73 74 20 69  .}.do_eqp_test i
1590: 6e 64 65 78 65 64 62 79 2d 34 2e 32 20 7b 0a 20  ndexedby-4.2 {. 
15a0: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
15b0: 31 20 49 4e 44 45 58 45 44 20 42 59 20 69 31 2c  1 INDEXED BY i1,
15c0: 20 74 32 20 57 48 45 52 45 20 61 20 3d 20 63 20   t2 WHERE a = c 
15d0: 0a 7d 20 7b 0a 20 20 51 55 45 52 59 20 50 4c 41  .} {.  QUERY PLA
15e0: 4e 0a 20 20 7c 2d 2d 53 43 41 4e 20 54 41 42 4c  N.  |--SCAN TABL
15f0: 45 20 74 32 0a 20 20 60 2d 2d 53 45 41 52 43 48  E t2.  `--SEARCH
1600: 20 54 41 42 4c 45 20 74 31 20 55 53 49 4e 47 20   TABLE t1 USING 
1610: 49 4e 44 45 58 20 69 31 20 28 61 3d 3f 29 0a 7d  INDEX i1 (a=?).}
1620: 0a 64 6f 5f 74 65 73 74 20 69 6e 64 65 78 65 64  .do_test indexed
1630: 62 79 2d 34 2e 33 20 7b 0a 20 20 63 61 74 63 68  by-4.3 {.  catch
1640: 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54  sql {.    SELECT
1650: 20 2a 20 46 52 4f 4d 20 74 31 20 49 4e 44 45 58   * FROM t1 INDEX
1660: 45 44 20 42 59 20 69 31 2c 20 74 32 20 49 4e 44  ED BY i1, t2 IND
1670: 45 58 45 44 20 42 59 20 69 33 20 57 48 45 52 45  EXED BY i3 WHERE
1680: 20 61 3d 63 0a 20 20 7d 0a 7d 20 7b 31 20 7b 6e   a=c.  }.} {1 {n
1690: 6f 20 71 75 65 72 79 20 73 6f 6c 75 74 69 6f 6e  o query solution
16a0: 7d 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 64 65 78  }}.do_test index
16b0: 65 64 62 79 2d 34 2e 34 20 7b 0a 20 20 63 61 74  edby-4.4 {.  cat
16c0: 63 68 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45  chsql {.    SELE
16d0: 43 54 20 2a 20 46 52 4f 4d 20 74 32 20 49 4e 44  CT * FROM t2 IND
16e0: 45 58 45 44 20 42 59 20 69 33 2c 20 74 31 20 49  EXED BY i3, t1 I
16f0: 4e 44 45 58 45 44 20 42 59 20 69 31 20 57 48 45  NDEXED BY i1 WHE
1700: 52 45 20 61 3d 63 0a 20 20 7d 0a 7d 20 7b 31 20  RE a=c.  }.} {1 
1710: 7b 6e 6f 20 71 75 65 72 79 20 73 6f 6c 75 74 69  {no query soluti
1720: 6f 6e 7d 7d 0a 0a 23 20 54 65 73 74 20 65 6d 62  on}}..# Test emb
1730: 65 64 64 69 6e 67 20 61 6e 20 49 4e 44 45 58 45  edding an INDEXE
1740: 44 20 42 59 20 69 6e 20 61 20 43 52 45 41 54 45  D BY in a CREATE
1750: 20 56 49 45 57 20 73 74 61 74 65 6d 65 6e 74 2e   VIEW statement.
1760: 20 54 68 69 73 20 62 6c 6f 63 6b 0a 23 20 61 6c   This block.# al
1770: 73 6f 20 74 65 73 74 73 20 74 68 61 74 20 6e 6f  so tests that no
1780: 74 68 69 6e 67 20 62 61 64 20 68 61 70 70 65 6e  thing bad happen
1790: 73 20 69 66 20 61 6e 20 69 6e 64 65 78 20 72 65  s if an index re
17a0: 66 65 72 65 64 20 74 6f 20 62 79 0a 23 20 61 20  fered to by.# a 
17b0: 43 52 45 41 54 45 20 56 49 45 57 20 73 74 61 74  CREATE VIEW stat
17c0: 65 6d 65 6e 74 20 69 73 20 64 72 6f 70 70 65 64  ement is dropped
17d0: 20 61 6e 64 20 72 65 63 72 65 61 74 65 64 2e 0a   and recreated..
17e0: 23 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73  #.do_execsql_tes
17f0: 74 20 69 6e 64 65 78 65 64 62 79 2d 35 2e 31 20  t indexedby-5.1 
1800: 7b 0a 20 20 43 52 45 41 54 45 20 56 49 45 57 20  {.  CREATE VIEW 
1810: 76 32 20 41 53 20 53 45 4c 45 43 54 20 2a 20 46  v2 AS SELECT * F
1820: 52 4f 4d 20 74 31 20 49 4e 44 45 58 45 44 20 42  ROM t1 INDEXED B
1830: 59 20 69 31 20 57 48 45 52 45 20 61 20 3e 20 35  Y i1 WHERE a > 5
1840: 3b 0a 20 20 45 58 50 4c 41 49 4e 20 51 55 45 52  ;.  EXPLAIN QUER
1850: 59 20 50 4c 41 4e 20 53 45 4c 45 43 54 20 2a 20  Y PLAN SELECT * 
1860: 46 52 4f 4d 20 76 32 20 0a 7d 20 7b 2f 2a 53 45  FROM v2 .} {/*SE
1870: 41 52 43 48 20 54 41 42 4c 45 20 74 31 20 55 53  ARCH TABLE t1 US
1880: 49 4e 47 20 49 4e 44 45 58 20 69 31 20 28 61 3e  ING INDEX i1 (a>
1890: 3f 29 2a 2f 7d 0a 64 6f 5f 65 78 65 63 73 71 6c  ?)*/}.do_execsql
18a0: 5f 74 65 73 74 20 69 6e 64 65 78 65 64 62 79 2d  _test indexedby-
18b0: 35 2e 32 20 7b 0a 20 20 45 58 50 4c 41 49 4e 20  5.2 {.  EXPLAIN 
18c0: 51 55 45 52 59 20 50 4c 41 4e 20 53 45 4c 45 43  QUERY PLAN SELEC
18d0: 54 20 2a 20 46 52 4f 4d 20 76 32 20 57 48 45 52  T * FROM v2 WHER
18e0: 45 20 62 20 3d 20 31 30 20 0a 7d 20 7b 2f 2a 53  E b = 10 .} {/*S
18f0: 45 41 52 43 48 20 54 41 42 4c 45 20 74 31 20 55  EARCH TABLE t1 U
1900: 53 49 4e 47 20 49 4e 44 45 58 20 69 31 20 28 61  SING INDEX i1 (a
1910: 3e 3f 29 2a 2f 7d 0a 64 6f 5f 74 65 73 74 20 69  >?)*/}.do_test i
1920: 6e 64 65 78 65 64 62 79 2d 35 2e 33 20 7b 0a 20  ndexedby-5.3 {. 
1930: 20 65 78 65 63 73 71 6c 20 7b 20 44 52 4f 50 20   execsql { DROP 
1940: 49 4e 44 45 58 20 69 31 20 7d 0a 20 20 63 61 74  INDEX i1 }.  cat
1950: 63 68 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 2a  chsql { SELECT *
1960: 20 46 52 4f 4d 20 76 32 20 7d 0a 7d 20 7b 31 20   FROM v2 }.} {1 
1970: 7b 6e 6f 20 73 75 63 68 20 69 6e 64 65 78 3a 20  {no such index: 
1980: 69 31 7d 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 64  i1}}.do_test ind
1990: 65 78 65 64 62 79 2d 35 2e 34 20 7b 0a 20 20 23  exedby-5.4 {.  #
19a0: 20 52 65 63 72 65 61 74 65 20 69 6e 64 65 78 20   Recreate index 
19b0: 69 31 20 69 6e 20 73 75 63 68 20 61 20 77 61 79  i1 in such a way
19c0: 20 61 73 20 69 74 20 63 61 6e 6e 6f 74 20 62 65   as it cannot be
19d0: 20 75 73 65 64 20 62 79 20 74 68 65 20 76 69 65   used by the vie
19e0: 77 20 71 75 65 72 79 2e 0a 20 20 65 78 65 63 73  w query..  execs
19f0: 71 6c 20 7b 20 43 52 45 41 54 45 20 49 4e 44 45  ql { CREATE INDE
1a00: 58 20 69 31 20 4f 4e 20 74 31 28 62 29 20 7d 0a  X i1 ON t1(b) }.
1a10: 20 20 63 61 74 63 68 73 71 6c 20 7b 20 53 45 4c    catchsql { SEL
1a20: 45 43 54 20 2a 20 46 52 4f 4d 20 76 32 20 7d 0a  ECT * FROM v2 }.
1a30: 7d 20 7b 31 20 7b 6e 6f 20 71 75 65 72 79 20 73  } {1 {no query s
1a40: 6f 6c 75 74 69 6f 6e 7d 7d 0a 64 6f 5f 74 65 73  olution}}.do_tes
1a50: 74 20 69 6e 64 65 78 65 64 62 79 2d 35 2e 35 20  t indexedby-5.5 
1a60: 7b 0a 20 20 23 20 44 72 6f 70 20 61 6e 64 20 72  {.  # Drop and r
1a70: 65 63 72 65 61 74 65 20 69 6e 64 65 78 20 69 31  ecreate index i1
1a80: 20 61 67 61 69 6e 2e 20 54 68 69 73 20 74 69 6d   again. This tim
1a90: 65 2c 20 63 72 65 61 74 65 20 69 74 20 73 6f 20  e, create it so 
1aa0: 74 68 61 74 20 69 74 20 63 61 6e 0a 20 20 23 20  that it can.  # 
1ab0: 62 65 20 75 73 65 64 20 62 79 20 74 68 65 20 71  be used by the q
1ac0: 75 65 72 79 2e 0a 20 20 65 78 65 63 73 71 6c 20  uery..  execsql 
1ad0: 7b 20 44 52 4f 50 20 49 4e 44 45 58 20 69 31 20  { DROP INDEX i1 
1ae0: 3b 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 69  ; CREATE INDEX i
1af0: 31 20 4f 4e 20 74 31 28 61 29 20 7d 0a 20 20 63  1 ON t1(a) }.  c
1b00: 61 74 63 68 73 71 6c 20 7b 20 53 45 4c 45 43 54  atchsql { SELECT
1b10: 20 2a 20 46 52 4f 4d 20 76 32 20 7d 0a 7d 20 7b   * FROM v2 }.} {
1b20: 30 20 7b 7d 7d 0a 0a 23 20 54 65 73 74 20 74 68  0 {}}..# Test th
1b30: 61 74 20 22 4e 4f 54 20 49 4e 44 45 58 45 44 22  at "NOT INDEXED"
1b40: 20 6d 61 79 20 75 73 65 20 74 68 65 20 72 6f 77   may use the row
1b50: 69 64 20 69 6e 64 65 78 2c 20 62 75 74 20 6e 6f  id index, but no
1b60: 74 20 6f 74 68 65 72 73 2e 0a 23 20 0a 64 6f 5f  t others..# .do_
1b70: 65 71 70 5f 74 65 73 74 20 69 6e 64 65 78 65 64  eqp_test indexed
1b80: 62 79 2d 36 2e 31 20 7b 0a 20 20 53 45 4c 45 43  by-6.1 {.  SELEC
1b90: 54 20 2a 20 46 52 4f 4d 20 74 31 20 57 48 45 52  T * FROM t1 WHER
1ba0: 45 20 62 20 3d 20 31 30 20 4f 52 44 45 52 20 42  E b = 10 ORDER B
1bb0: 59 20 72 6f 77 69 64 20 0a 7d 20 7b 53 45 41 52  Y rowid .} {SEAR
1bc0: 43 48 20 54 41 42 4c 45 20 74 31 20 55 53 49 4e  CH TABLE t1 USIN
1bd0: 47 20 49 4e 44 45 58 20 69 32 20 28 62 3d 3f 29  G INDEX i2 (b=?)
1be0: 7d 0a 64 6f 5f 65 71 70 5f 74 65 73 74 20 69 6e  }.do_eqp_test in
1bf0: 64 65 78 65 64 62 79 2d 36 2e 32 20 7b 0a 20 20  dexedby-6.2 {.  
1c00: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
1c10: 20 4e 4f 54 20 49 4e 44 45 58 45 44 20 57 48 45   NOT INDEXED WHE
1c20: 52 45 20 62 20 3d 20 31 30 20 4f 52 44 45 52 20  RE b = 10 ORDER 
1c30: 42 59 20 72 6f 77 69 64 20 0a 7d 20 7b 53 43 41  BY rowid .} {SCA
1c40: 4e 20 54 41 42 4c 45 20 74 31 7d 0a 0a 23 20 45  N TABLE t1}..# E
1c50: 56 49 44 45 4e 43 45 2d 4f 46 3a 20 52 2d 34 30  VIDENCE-OF: R-40
1c60: 32 39 37 2d 31 34 34 36 34 20 54 68 65 20 49 4e  297-14464 The IN
1c70: 44 45 58 45 44 20 42 59 20 70 68 72 61 73 65 20  DEXED BY phrase 
1c80: 66 6f 72 63 65 73 20 74 68 65 20 53 51 4c 69 74  forces the SQLit
1c90: 65 0a 23 20 71 75 65 72 79 20 70 6c 61 6e 6e 65  e.# query planne
1ca0: 72 20 74 6f 20 75 73 65 20 61 20 70 61 72 74 69  r to use a parti
1cb0: 63 75 6c 61 72 20 6e 61 6d 65 64 20 69 6e 64 65  cular named inde
1cc0: 78 20 6f 6e 20 61 20 44 45 4c 45 54 45 2c 20 53  x on a DELETE, S
1cd0: 45 4c 45 43 54 2c 20 6f 72 0a 23 20 55 50 44 41  ELECT, or.# UPDA
1ce0: 54 45 20 73 74 61 74 65 6d 65 6e 74 2e 0a 23 0a  TE statement..#.
1cf0: 23 20 54 65 73 74 20 74 68 61 74 20 22 49 4e 44  # Test that "IND
1d00: 45 58 45 44 20 42 59 22 20 63 61 6e 20 62 65 20  EXED BY" can be 
1d10: 75 73 65 64 20 69 6e 20 61 20 44 45 4c 45 54 45  used in a DELETE
1d20: 20 73 74 61 74 65 6d 65 6e 74 2e 0a 23 20 0a 64   statement..# .d
1d30: 6f 5f 65 71 70 5f 74 65 73 74 20 69 6e 64 65 78  o_eqp_test index
1d40: 65 64 62 79 2d 37 2e 31 20 7b 0a 20 20 44 45 4c  edby-7.1 {.  DEL
1d50: 45 54 45 20 46 52 4f 4d 20 74 31 20 57 48 45 52  ETE FROM t1 WHER
1d60: 45 20 61 20 3d 20 35 20 0a 7d 20 7b 53 45 41 52  E a = 5 .} {SEAR
1d70: 43 48 20 54 41 42 4c 45 20 74 31 20 55 53 49 4e  CH TABLE t1 USIN
1d80: 47 20 49 4e 44 45 58 20 69 31 20 28 61 3d 3f 29  G INDEX i1 (a=?)
1d90: 7d 0a 64 6f 5f 65 71 70 5f 74 65 73 74 20 69 6e  }.do_eqp_test in
1da0: 64 65 78 65 64 62 79 2d 37 2e 32 20 7b 0a 20 20  dexedby-7.2 {.  
1db0: 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 20 4e  DELETE FROM t1 N
1dc0: 4f 54 20 49 4e 44 45 58 45 44 20 57 48 45 52 45  OT INDEXED WHERE
1dd0: 20 61 20 3d 20 35 20 0a 7d 20 7b 53 43 41 4e 20   a = 5 .} {SCAN 
1de0: 54 41 42 4c 45 20 74 31 7d 0a 64 6f 5f 65 71 70  TABLE t1}.do_eqp
1df0: 5f 74 65 73 74 20 69 6e 64 65 78 65 64 62 79 2d  _test indexedby-
1e00: 37 2e 33 20 7b 0a 20 20 44 45 4c 45 54 45 20 46  7.3 {.  DELETE F
1e10: 52 4f 4d 20 74 31 20 49 4e 44 45 58 45 44 20 42  ROM t1 INDEXED B
1e20: 59 20 69 31 20 57 48 45 52 45 20 61 20 3d 20 35  Y i1 WHERE a = 5
1e30: 20 0a 7d 20 7b 53 45 41 52 43 48 20 54 41 42 4c   .} {SEARCH TABL
1e40: 45 20 74 31 20 55 53 49 4e 47 20 49 4e 44 45 58  E t1 USING INDEX
1e50: 20 69 31 20 28 61 3d 3f 29 7d 0a 64 6f 5f 65 71   i1 (a=?)}.do_eq
1e60: 70 5f 74 65 73 74 20 69 6e 64 65 78 65 64 62 79  p_test indexedby
1e70: 2d 37 2e 34 20 7b 0a 20 20 44 45 4c 45 54 45 20  -7.4 {.  DELETE 
1e80: 46 52 4f 4d 20 74 31 20 49 4e 44 45 58 45 44 20  FROM t1 INDEXED 
1e90: 42 59 20 69 31 20 57 48 45 52 45 20 61 20 3d 20  BY i1 WHERE a = 
1ea0: 35 20 41 4e 44 20 62 20 3d 20 31 30 0a 7d 20 7b  5 AND b = 10.} {
1eb0: 53 45 41 52 43 48 20 54 41 42 4c 45 20 74 31 20  SEARCH TABLE t1 
1ec0: 55 53 49 4e 47 20 49 4e 44 45 58 20 69 31 20 28  USING INDEX i1 (
1ed0: 61 3d 3f 29 7d 0a 64 6f 5f 65 71 70 5f 74 65 73  a=?)}.do_eqp_tes
1ee0: 74 20 69 6e 64 65 78 65 64 62 79 2d 37 2e 35 20  t indexedby-7.5 
1ef0: 7b 0a 20 20 44 45 4c 45 54 45 20 46 52 4f 4d 20  {.  DELETE FROM 
1f00: 74 31 20 49 4e 44 45 58 45 44 20 42 59 20 69 32  t1 INDEXED BY i2
1f10: 20 57 48 45 52 45 20 61 20 3d 20 35 20 41 4e 44   WHERE a = 5 AND
1f20: 20 62 20 3d 20 31 30 0a 7d 20 7b 53 45 41 52 43   b = 10.} {SEARC
1f30: 48 20 54 41 42 4c 45 20 74 31 20 55 53 49 4e 47  H TABLE t1 USING
1f40: 20 49 4e 44 45 58 20 69 32 20 28 62 3d 3f 29 7d   INDEX i2 (b=?)}
1f50: 0a 64 6f 5f 74 65 73 74 20 69 6e 64 65 78 65 64  .do_test indexed
1f60: 62 79 2d 37 2e 36 20 7b 0a 20 20 63 61 74 63 68  by-7.6 {.  catch
1f70: 73 71 6c 20 7b 20 44 45 4c 45 54 45 20 46 52 4f  sql { DELETE FRO
1f80: 4d 20 74 31 20 49 4e 44 45 58 45 44 20 42 59 20  M t1 INDEXED BY 
1f90: 69 32 20 57 48 45 52 45 20 61 20 3d 20 35 7d 0a  i2 WHERE a = 5}.
1fa0: 7d 20 7b 31 20 7b 6e 6f 20 71 75 65 72 79 20 73  } {1 {no query s
1fb0: 6f 6c 75 74 69 6f 6e 7d 7d 0a 0a 23 20 54 65 73  olution}}..# Tes
1fc0: 74 20 74 68 61 74 20 22 49 4e 44 45 58 45 44 20  t that "INDEXED 
1fd0: 42 59 22 20 63 61 6e 20 62 65 20 75 73 65 64 20  BY" can be used 
1fe0: 69 6e 20 61 6e 20 55 50 44 41 54 45 20 73 74 61  in an UPDATE sta
1ff0: 74 65 6d 65 6e 74 2e 0a 23 20 0a 64 6f 5f 65 71  tement..# .do_eq
2000: 70 5f 74 65 73 74 20 69 6e 64 65 78 65 64 62 79  p_test indexedby
2010: 2d 38 2e 31 20 7b 0a 20 20 55 50 44 41 54 45 20  -8.1 {.  UPDATE 
2020: 74 31 20 53 45 54 20 72 6f 77 69 64 3d 72 6f 77  t1 SET rowid=row
2030: 69 64 2b 31 20 57 48 45 52 45 20 61 20 3d 20 35  id+1 WHERE a = 5
2040: 20 0a 7d 20 7b 53 45 41 52 43 48 20 54 41 42 4c   .} {SEARCH TABL
2050: 45 20 74 31 20 55 53 49 4e 47 20 43 4f 56 45 52  E t1 USING COVER
2060: 49 4e 47 20 49 4e 44 45 58 20 69 31 20 28 61 3d  ING INDEX i1 (a=
2070: 3f 29 7d 0a 64 6f 5f 65 71 70 5f 74 65 73 74 20  ?)}.do_eqp_test 
2080: 69 6e 64 65 78 65 64 62 79 2d 38 2e 32 20 7b 0a  indexedby-8.2 {.
2090: 20 20 55 50 44 41 54 45 20 74 31 20 4e 4f 54 20    UPDATE t1 NOT 
20a0: 49 4e 44 45 58 45 44 20 53 45 54 20 72 6f 77 69  INDEXED SET rowi
20b0: 64 3d 72 6f 77 69 64 2b 31 20 57 48 45 52 45 20  d=rowid+1 WHERE 
20c0: 61 20 3d 20 35 20 0a 7d 20 7b 53 43 41 4e 20 54  a = 5 .} {SCAN T
20d0: 41 42 4c 45 20 74 31 7d 0a 64 6f 5f 65 71 70 5f  ABLE t1}.do_eqp_
20e0: 74 65 73 74 20 69 6e 64 65 78 65 64 62 79 2d 38  test indexedby-8
20f0: 2e 33 20 7b 0a 20 20 55 50 44 41 54 45 20 74 31  .3 {.  UPDATE t1
2100: 20 49 4e 44 45 58 45 44 20 42 59 20 69 31 20 53   INDEXED BY i1 S
2110: 45 54 20 72 6f 77 69 64 3d 72 6f 77 69 64 2b 31  ET rowid=rowid+1
2120: 20 57 48 45 52 45 20 61 20 3d 20 35 20 0a 7d 20   WHERE a = 5 .} 
2130: 7b 53 45 41 52 43 48 20 54 41 42 4c 45 20 74 31  {SEARCH TABLE t1
2140: 20 55 53 49 4e 47 20 43 4f 56 45 52 49 4e 47 20   USING COVERING 
2150: 49 4e 44 45 58 20 69 31 20 28 61 3d 3f 29 7d 0a  INDEX i1 (a=?)}.
2160: 64 6f 5f 65 71 70 5f 74 65 73 74 20 69 6e 64 65  do_eqp_test inde
2170: 78 65 64 62 79 2d 38 2e 34 20 7b 0a 20 20 55 50  xedby-8.4 {.  UP
2180: 44 41 54 45 20 74 31 20 49 4e 44 45 58 45 44 20  DATE t1 INDEXED 
2190: 42 59 20 69 31 20 53 45 54 20 72 6f 77 69 64 3d  BY i1 SET rowid=
21a0: 72 6f 77 69 64 2b 31 20 57 48 45 52 45 20 61 20  rowid+1 WHERE a 
21b0: 3d 20 35 20 41 4e 44 20 62 20 3d 20 31 30 0a 7d  = 5 AND b = 10.}
21c0: 20 7b 53 45 41 52 43 48 20 54 41 42 4c 45 20 74   {SEARCH TABLE t
21d0: 31 20 55 53 49 4e 47 20 49 4e 44 45 58 20 69 31  1 USING INDEX i1
21e0: 20 28 61 3d 3f 29 7d 0a 64 6f 5f 65 71 70 5f 74   (a=?)}.do_eqp_t
21f0: 65 73 74 20 69 6e 64 65 78 65 64 62 79 2d 38 2e  est indexedby-8.
2200: 35 20 7b 0a 20 20 55 50 44 41 54 45 20 74 31 20  5 {.  UPDATE t1 
2210: 49 4e 44 45 58 45 44 20 42 59 20 69 32 20 53 45  INDEXED BY i2 SE
2220: 54 20 72 6f 77 69 64 3d 72 6f 77 69 64 2b 31 20  T rowid=rowid+1 
2230: 57 48 45 52 45 20 61 20 3d 20 35 20 41 4e 44 20  WHERE a = 5 AND 
2240: 62 20 3d 20 31 30 0a 7d 20 7b 53 45 41 52 43 48  b = 10.} {SEARCH
2250: 20 54 41 42 4c 45 20 74 31 20 55 53 49 4e 47 20   TABLE t1 USING 
2260: 49 4e 44 45 58 20 69 32 20 28 62 3d 3f 29 7d 0a  INDEX i2 (b=?)}.
2270: 64 6f 5f 74 65 73 74 20 69 6e 64 65 78 65 64 62  do_test indexedb
2280: 79 2d 38 2e 36 20 7b 0a 20 20 63 61 74 63 68 73  y-8.6 {.  catchs
2290: 71 6c 20 7b 20 55 50 44 41 54 45 20 74 31 20 49  ql { UPDATE t1 I
22a0: 4e 44 45 58 45 44 20 42 59 20 69 32 20 53 45 54  NDEXED BY i2 SET
22b0: 20 72 6f 77 69 64 3d 72 6f 77 69 64 2b 31 20 57   rowid=rowid+1 W
22c0: 48 45 52 45 20 61 20 3d 20 35 7d 0a 7d 20 7b 31  HERE a = 5}.} {1
22d0: 20 7b 6e 6f 20 71 75 65 72 79 20 73 6f 6c 75 74   {no query solut
22e0: 69 6f 6e 7d 7d 0a 0a 23 20 54 65 73 74 20 74 68  ion}}..# Test th
22f0: 61 74 20 62 75 67 20 23 33 35 36 30 20 69 73 20  at bug #3560 is 
2300: 66 69 78 65 64 2e 0a 23 0a 64 6f 5f 74 65 73 74  fixed..#.do_test
2310: 20 69 6e 64 65 78 65 64 62 79 2d 39 2e 31 20 7b   indexedby-9.1 {
2320: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
2330: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 6d 61   CREATE TABLE ma
2340: 69 6e 74 61 62 6c 65 28 20 69 64 20 69 6e 74 65  intable( id inte
2350: 67 65 72 29 3b 0a 20 20 20 20 43 52 45 41 54 45  ger);.    CREATE
2360: 20 54 41 42 4c 45 20 6a 6f 69 6e 6d 65 28 69 64   TABLE joinme(id
2370: 5f 69 6e 74 20 69 6e 74 65 67 65 72 2c 20 69 64  _int integer, id
2380: 5f 74 65 78 74 20 74 65 78 74 29 3b 0a 20 20 20  _text text);.   
2390: 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 6a 6f   CREATE INDEX jo
23a0: 69 6e 6d 65 5f 69 64 5f 74 65 78 74 5f 69 64 78  inme_id_text_idx
23b0: 20 6f 6e 20 6a 6f 69 6e 6d 65 28 69 64 5f 74 65   on joinme(id_te
23c0: 78 74 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20  xt);.    CREATE 
23d0: 49 4e 44 45 58 20 6a 6f 69 6e 6d 65 5f 69 64 5f  INDEX joinme_id_
23e0: 69 6e 74 5f 69 64 78 20 6f 6e 20 6a 6f 69 6e 6d  int_idx on joinm
23f0: 65 28 69 64 5f 69 6e 74 29 3b 0a 20 20 7d 0a 7d  e(id_int);.  }.}
2400: 20 7b 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 64 65   {}.do_test inde
2410: 78 65 64 62 79 2d 39 2e 32 20 7b 0a 20 20 63 61  xedby-9.2 {.  ca
2420: 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 73 65 6c  tchsql {.    sel
2430: 65 63 74 20 2a 20 66 72 6f 6d 20 6d 61 69 6e 74  ect * from maint
2440: 61 62 6c 65 20 61 73 20 6d 20 69 6e 6e 65 72 20  able as m inner 
2450: 6a 6f 69 6e 0a 20 20 20 20 6a 6f 69 6e 6d 65 20  join.    joinme 
2460: 61 73 20 6a 20 69 6e 64 65 78 65 64 20 62 79 20  as j indexed by 
2470: 6a 6f 69 6e 6d 65 5f 69 64 5f 74 65 78 74 5f 69  joinme_id_text_i
2480: 64 78 0a 20 20 20 20 6f 6e 20 28 20 6d 2e 69 64  dx.    on ( m.id
2490: 20 20 3d 20 6a 2e 69 64 5f 69 6e 74 29 0a 20 20    = j.id_int).  
24a0: 7d 0a 7d 20 7b 31 20 7b 6e 6f 20 71 75 65 72 79  }.} {1 {no query
24b0: 20 73 6f 6c 75 74 69 6f 6e 7d 7d 0a 64 6f 5f 74   solution}}.do_t
24c0: 65 73 74 20 69 6e 64 65 78 65 64 62 79 2d 39 2e  est indexedby-9.
24d0: 33 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b  3 {.  catchsql {
24e0: 20 73 65 6c 65 63 74 20 2a 20 66 72 6f 6d 20 6d   select * from m
24f0: 61 69 6e 74 61 62 6c 65 2c 20 6a 6f 69 6e 6d 65  aintable, joinme
2500: 20 49 4e 44 45 58 45 44 20 62 79 20 6a 6f 69 6e   INDEXED by join
2510: 6d 65 5f 69 64 5f 74 65 78 74 5f 69 64 78 20 7d  me_id_text_idx }
2520: 0a 7d 20 7b 31 20 7b 6e 6f 20 71 75 65 72 79 20  .} {1 {no query 
2530: 73 6f 6c 75 74 69 6f 6e 7d 7d 0a 0a 23 20 4d 61  solution}}..# Ma
2540: 6b 65 20 73 75 72 65 20 77 65 20 63 61 6e 20 73  ke sure we can s
2550: 74 69 6c 6c 20 63 72 65 61 74 65 20 74 61 62 6c  till create tabl
2560: 65 73 2c 20 69 6e 64 69 63 65 73 2c 20 61 6e 64  es, indices, and
2570: 20 63 6f 6c 75 6d 6e 73 20 77 68 6f 73 65 20 6e   columns whose n
2580: 61 6d 65 0a 23 20 69 73 20 22 69 6e 64 65 78 65  ame.# is "indexe
2590: 64 22 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6e  d"..#.do_test in
25a0: 64 65 78 65 64 62 79 2d 31 30 2e 31 20 7b 0a 20  dexedby-10.1 {. 
25b0: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 43   execsql {.    C
25c0: 52 45 41 54 45 20 54 41 42 4c 45 20 69 6e 64 65  REATE TABLE inde
25d0: 78 65 64 28 78 2c 79 29 3b 0a 20 20 20 20 49 4e  xed(x,y);.    IN
25e0: 53 45 52 54 20 49 4e 54 4f 20 69 6e 64 65 78 65  SERT INTO indexe
25f0: 64 20 56 41 4c 55 45 53 28 31 2c 32 29 3b 0a 20  d VALUES(1,2);. 
2600: 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d     SELECT * FROM
2610: 20 69 6e 64 65 78 65 64 3b 0a 20 20 7d 0a 7d 20   indexed;.  }.} 
2620: 7b 31 20 32 7d 0a 64 6f 5f 74 65 73 74 20 69 6e  {1 2}.do_test in
2630: 64 65 78 65 64 62 79 2d 31 30 2e 32 20 7b 0a 20  dexedby-10.2 {. 
2640: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 43   execsql {.    C
2650: 52 45 41 54 45 20 49 4e 44 45 58 20 69 31 30 20  REATE INDEX i10 
2660: 4f 4e 20 69 6e 64 65 78 65 64 28 78 29 3b 0a 20  ON indexed(x);. 
2670: 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d     SELECT * FROM
2680: 20 69 6e 64 65 78 65 64 20 69 6e 64 65 78 65 64   indexed indexed
2690: 20 62 79 20 69 31 30 20 77 68 65 72 65 20 78 3e   by i10 where x>
26a0: 30 3b 0a 20 20 7d 0a 7d 20 7b 31 20 32 7d 0a 64  0;.  }.} {1 2}.d
26b0: 6f 5f 74 65 73 74 20 69 6e 64 65 78 65 64 62 79  o_test indexedby
26c0: 2d 31 30 2e 33 20 7b 0a 20 20 65 78 65 63 73 71  -10.3 {.  execsq
26d0: 6c 20 7b 0a 20 20 20 20 44 52 4f 50 20 54 41 42  l {.    DROP TAB
26e0: 4c 45 20 69 6e 64 65 78 65 64 3b 0a 20 20 20 20  LE indexed;.    
26f0: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 30  CREATE TABLE t10
2700: 28 69 6e 64 65 78 65 64 20 49 4e 54 45 47 45 52  (indexed INTEGER
2710: 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  );.    INSERT IN
2720: 54 4f 20 74 31 30 20 56 41 4c 55 45 53 28 31 29  TO t10 VALUES(1)
2730: 3b 0a 20 20 20 20 43 52 45 41 54 45 20 49 4e 44  ;.    CREATE IND
2740: 45 58 20 69 6e 64 65 78 65 64 20 4f 4e 20 74 31  EX indexed ON t1
2750: 30 28 69 6e 64 65 78 65 64 29 3b 0a 20 20 20 20  0(indexed);.    
2760: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
2770: 30 20 69 6e 64 65 78 65 64 20 62 79 20 69 6e 64  0 indexed by ind
2780: 65 78 65 64 20 57 48 45 52 45 20 69 6e 64 65 78  exed WHERE index
2790: 65 64 3e 30 0a 20 20 7d 0a 7d 20 7b 31 7d 0a 0a  ed>0.  }.} {1}..
27a0: 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  #---------------
27b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
27c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
27d0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
27e0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 45 6e 73  ----------.# Ens
27f0: 75 72 65 20 74 68 61 74 20 74 68 65 20 72 6f 77  ure that the row
2800: 69 64 20 61 74 20 74 68 65 20 65 6e 64 20 6f 66  id at the end of
2810: 20 65 61 63 68 20 69 6e 64 65 78 20 65 6e 74 72   each index entr
2820: 79 20 6d 61 79 20 62 65 20 75 73 65 64 0a 23 20  y may be used.# 
2830: 66 6f 72 20 65 71 75 61 6c 69 74 79 20 63 6f 6e  for equality con
2840: 73 74 72 61 69 6e 74 73 20 69 6e 20 74 68 65 20  straints in the 
2850: 73 61 6d 65 20 77 61 79 20 61 73 20 6f 74 68 65  same way as othe
2860: 72 20 69 6e 64 65 78 65 64 20 66 69 65 6c 64 73  r indexed fields
2870: 2e 0a 23 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74  ..#.do_execsql_t
2880: 65 73 74 20 31 31 2e 31 20 7b 0a 20 20 43 52 45  est 11.1 {.  CRE
2890: 41 54 45 20 54 41 42 4c 45 20 78 31 28 61 2c 20  ATE TABLE x1(a, 
28a0: 62 20 54 45 58 54 29 3b 0a 20 20 43 52 45 41 54  b TEXT);.  CREAT
28b0: 45 20 49 4e 44 45 58 20 78 31 69 20 4f 4e 20 78  E INDEX x1i ON x
28c0: 31 28 61 2c 20 62 29 3b 0a 20 20 49 4e 53 45 52  1(a, b);.  INSER
28d0: 54 20 49 4e 54 4f 20 78 31 20 56 41 4c 55 45 53  T INTO x1 VALUES
28e0: 28 31 2c 20 31 29 3b 0a 20 20 49 4e 53 45 52 54  (1, 1);.  INSERT
28f0: 20 49 4e 54 4f 20 78 31 20 56 41 4c 55 45 53 28   INTO x1 VALUES(
2900: 31 2c 20 31 29 3b 0a 20 20 49 4e 53 45 52 54 20  1, 1);.  INSERT 
2910: 49 4e 54 4f 20 78 31 20 56 41 4c 55 45 53 28 31  INTO x1 VALUES(1
2920: 2c 20 31 29 3b 0a 20 20 49 4e 53 45 52 54 20 49  , 1);.  INSERT I
2930: 4e 54 4f 20 78 31 20 56 41 4c 55 45 53 28 31 2c  NTO x1 VALUES(1,
2940: 20 31 29 3b 0a 7d 0a 64 6f 5f 65 78 65 63 73 71   1);.}.do_execsq
2950: 6c 5f 74 65 73 74 20 31 31 2e 32 20 7b 0a 20 20  l_test 11.2 {.  
2960: 53 45 4c 45 43 54 20 61 2c 62 2c 72 6f 77 69 64  SELECT a,b,rowid
2970: 20 46 52 4f 4d 20 78 31 20 49 4e 44 45 58 45 44   FROM x1 INDEXED
2980: 20 42 59 20 78 31 69 20 57 48 45 52 45 20 61 3d   BY x1i WHERE a=
2990: 31 20 41 4e 44 20 62 3d 31 20 41 4e 44 20 72 6f  1 AND b=1 AND ro
29a0: 77 69 64 3d 33 3b 0a 7d 20 7b 31 20 31 20 33 7d  wid=3;.} {1 1 3}
29b0: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74  .do_execsql_test
29c0: 20 31 31 2e 33 20 7b 0a 20 20 53 45 4c 45 43 54   11.3 {.  SELECT
29d0: 20 61 2c 62 2c 72 6f 77 69 64 20 46 52 4f 4d 20   a,b,rowid FROM 
29e0: 78 31 20 49 4e 44 45 58 45 44 20 42 59 20 78 31  x1 INDEXED BY x1
29f0: 69 20 57 48 45 52 45 20 61 3d 31 20 41 4e 44 20  i WHERE a=1 AND 
2a00: 62 3d 31 20 41 4e 44 20 72 6f 77 69 64 3d 27 33  b=1 AND rowid='3
2a10: 27 3b 0a 7d 20 7b 31 20 31 20 33 7d 0a 64 6f 5f  ';.} {1 1 3}.do_
2a20: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 31 31 2e  execsql_test 11.
2a30: 34 20 7b 0a 20 20 53 45 4c 45 43 54 20 61 2c 62  4 {.  SELECT a,b
2a40: 2c 72 6f 77 69 64 20 46 52 4f 4d 20 78 31 20 49  ,rowid FROM x1 I
2a50: 4e 44 45 58 45 44 20 42 59 20 78 31 69 20 57 48  NDEXED BY x1i WH
2a60: 45 52 45 20 61 3d 31 20 41 4e 44 20 62 3d 31 20  ERE a=1 AND b=1 
2a70: 41 4e 44 20 72 6f 77 69 64 3d 27 33 2e 30 27 3b  AND rowid='3.0';
2a80: 0a 7d 20 7b 31 20 31 20 33 7d 0a 64 6f 5f 65 71  .} {1 1 3}.do_eq
2a90: 70 5f 74 65 73 74 20 31 31 2e 35 20 7b 0a 20 20  p_test 11.5 {.  
2aa0: 53 45 4c 45 43 54 20 61 2c 62 2c 72 6f 77 69 64  SELECT a,b,rowid
2ab0: 20 46 52 4f 4d 20 78 31 20 49 4e 44 45 58 45 44   FROM x1 INDEXED
2ac0: 20 42 59 20 78 31 69 20 57 48 45 52 45 20 61 3d   BY x1i WHERE a=
2ad0: 31 20 41 4e 44 20 62 3d 31 20 41 4e 44 20 72 6f  1 AND b=1 AND ro
2ae0: 77 69 64 3d 27 33 2e 30 27 3b 0a 7d 20 7b 53 45  wid='3.0';.} {SE
2af0: 41 52 43 48 20 54 41 42 4c 45 20 78 31 20 55 53  ARCH TABLE x1 US
2b00: 49 4e 47 20 43 4f 56 45 52 49 4e 47 20 49 4e 44  ING COVERING IND
2b10: 45 58 20 78 31 69 20 28 61 3d 3f 20 41 4e 44 20  EX x1i (a=? AND 
2b20: 62 3d 3f 20 41 4e 44 20 72 6f 77 69 64 3d 3f 29  b=? AND rowid=?)
2b30: 7d 0a 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  }..do_execsql_te
2b40: 73 74 20 31 31 2e 36 20 7b 0a 20 20 43 52 45 41  st 11.6 {.  CREA
2b50: 54 45 20 54 41 42 4c 45 20 78 32 28 63 20 49 4e  TE TABLE x2(c IN
2b60: 54 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b 45  TEGER PRIMARY KE
2b70: 59 2c 20 61 2c 20 62 20 54 45 58 54 29 3b 0a 20  Y, a, b TEXT);. 
2b80: 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 78 32   CREATE INDEX x2
2b90: 69 20 4f 4e 20 78 32 28 61 2c 20 62 29 3b 0a 20  i ON x2(a, b);. 
2ba0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 78 32 20   INSERT INTO x2 
2bb0: 56 41 4c 55 45 53 28 31 2c 20 31 2c 20 31 29 3b  VALUES(1, 1, 1);
2bc0: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 78  .  INSERT INTO x
2bd0: 32 20 56 41 4c 55 45 53 28 32 2c 20 31 2c 20 31  2 VALUES(2, 1, 1
2be0: 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  );.  INSERT INTO
2bf0: 20 78 32 20 56 41 4c 55 45 53 28 33 2c 20 31 2c   x2 VALUES(3, 1,
2c00: 20 31 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e   1);.  INSERT IN
2c10: 54 4f 20 78 32 20 56 41 4c 55 45 53 28 34 2c 20  TO x2 VALUES(4, 
2c20: 31 2c 20 31 29 3b 0a 7d 0a 64 6f 5f 65 78 65 63  1, 1);.}.do_exec
2c30: 73 71 6c 5f 74 65 73 74 20 31 31 2e 37 20 7b 0a  sql_test 11.7 {.
2c40: 20 20 53 45 4c 45 43 54 20 61 2c 62 2c 63 20 46    SELECT a,b,c F
2c50: 52 4f 4d 20 78 32 20 49 4e 44 45 58 45 44 20 42  ROM x2 INDEXED B
2c60: 59 20 78 32 69 20 57 48 45 52 45 20 61 3d 31 20  Y x2i WHERE a=1 
2c70: 41 4e 44 20 62 3d 31 20 41 4e 44 20 63 3d 33 3b  AND b=1 AND c=3;
2c80: 0a 7d 20 7b 31 20 31 20 33 7d 0a 64 6f 5f 65 78  .} {1 1 3}.do_ex
2c90: 65 63 73 71 6c 5f 74 65 73 74 20 31 31 2e 38 20  ecsql_test 11.8 
2ca0: 7b 0a 20 20 53 45 4c 45 43 54 20 61 2c 62 2c 63  {.  SELECT a,b,c
2cb0: 20 46 52 4f 4d 20 78 32 20 49 4e 44 45 58 45 44   FROM x2 INDEXED
2cc0: 20 42 59 20 78 32 69 20 57 48 45 52 45 20 61 3d   BY x2i WHERE a=
2cd0: 31 20 41 4e 44 20 62 3d 31 20 41 4e 44 20 63 3d  1 AND b=1 AND c=
2ce0: 27 33 27 3b 0a 7d 20 7b 31 20 31 20 33 7d 0a 64  '3';.} {1 1 3}.d
2cf0: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 31  o_execsql_test 1
2d00: 31 2e 39 20 7b 0a 20 20 53 45 4c 45 43 54 20 61  1.9 {.  SELECT a
2d10: 2c 62 2c 63 20 46 52 4f 4d 20 78 32 20 49 4e 44  ,b,c FROM x2 IND
2d20: 45 58 45 44 20 42 59 20 78 32 69 20 57 48 45 52  EXED BY x2i WHER
2d30: 45 20 61 3d 31 20 41 4e 44 20 62 3d 31 20 41 4e  E a=1 AND b=1 AN
2d40: 44 20 63 3d 27 33 2e 30 27 3b 0a 7d 20 7b 31 20  D c='3.0';.} {1 
2d50: 31 20 33 7d 0a 64 6f 5f 65 71 70 5f 74 65 73 74  1 3}.do_eqp_test
2d60: 20 31 31 2e 31 30 20 7b 0a 20 20 53 45 4c 45 43   11.10 {.  SELEC
2d70: 54 20 61 2c 62 2c 63 20 46 52 4f 4d 20 78 32 20  T a,b,c FROM x2 
2d80: 49 4e 44 45 58 45 44 20 42 59 20 78 32 69 20 57  INDEXED BY x2i W
2d90: 48 45 52 45 20 61 3d 31 20 41 4e 44 20 62 3d 31  HERE a=1 AND b=1
2da0: 20 41 4e 44 20 63 3d 27 33 2e 30 27 3b 0a 7d 20   AND c='3.0';.} 
2db0: 7b 53 45 41 52 43 48 20 54 41 42 4c 45 20 78 32  {SEARCH TABLE x2
2dc0: 20 55 53 49 4e 47 20 43 4f 56 45 52 49 4e 47 20   USING COVERING 
2dd0: 49 4e 44 45 58 20 78 32 69 20 28 61 3d 3f 20 41  INDEX x2i (a=? A
2de0: 4e 44 20 62 3d 3f 20 41 4e 44 20 72 6f 77 69 64  ND b=? AND rowid
2df0: 3d 3f 29 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d  =?)}..#---------
2e00: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2e10: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2e20: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2e30: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2e40: 0a 23 20 43 68 65 63 6b 20 49 4e 44 45 58 45 44  .# Check INDEXED
2e50: 20 42 59 20 77 6f 72 6b 73 20 28 74 68 72 6f 77   BY works (throw
2e60: 73 20 61 6e 20 65 78 63 65 70 74 69 6f 6e 29 20  s an exception) 
2e70: 77 69 74 68 20 70 61 72 74 69 61 6c 20 69 6e 64  with partial ind
2e80: 65 78 65 73 20 74 68 61 74 20 0a 23 20 63 61 6e  exes that .# can
2e90: 6e 6f 74 20 62 65 20 75 73 65 64 2e 0a 64 6f 5f  not be used..do_
2ea0: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 31 32 2e  execsql_test 12.
2eb0: 31 20 7b 0a 20 20 43 52 45 41 54 45 20 54 41 42  1 {.  CREATE TAB
2ec0: 4c 45 20 6f 31 28 78 20 49 4e 54 45 47 45 52 20  LE o1(x INTEGER 
2ed0: 50 52 49 4d 41 52 59 20 4b 45 59 2c 20 79 2c 20  PRIMARY KEY, y, 
2ee0: 7a 29 3b 0a 20 20 43 52 45 41 54 45 20 49 4e 44  z);.  CREATE IND
2ef0: 45 58 20 70 31 20 4f 4e 20 6f 31 28 7a 29 3b 0a  EX p1 ON o1(z);.
2f00: 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 70    CREATE INDEX p
2f10: 32 20 4f 4e 20 6f 31 28 79 29 20 57 48 45 52 45  2 ON o1(y) WHERE
2f20: 20 7a 3d 31 3b 0a 7d 0a 64 6f 5f 63 61 74 63 68   z=1;.}.do_catch
2f30: 73 71 6c 5f 74 65 73 74 20 31 32 2e 32 20 7b 0a  sql_test 12.2 {.
2f40: 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20    SELECT * FROM 
2f50: 6f 31 20 49 4e 44 45 58 45 44 20 42 59 20 70 32  o1 INDEXED BY p2
2f60: 20 4f 52 44 45 52 20 42 59 20 31 3b 0a 7d 20 7b   ORDER BY 1;.} {
2f70: 31 20 7b 6e 6f 20 71 75 65 72 79 20 73 6f 6c 75  1 {no query solu
2f80: 74 69 6f 6e 7d 7d 0a 64 6f 5f 65 78 65 63 73 71  tion}}.do_execsq
2f90: 6c 5f 74 65 73 74 20 31 32 2e 33 20 7b 0a 20 20  l_test 12.3 {.  
2fa0: 44 52 4f 50 20 49 4e 44 45 58 20 70 31 3b 0a 20  DROP INDEX p1;. 
2fb0: 20 44 52 4f 50 20 49 4e 44 45 58 20 70 32 3b 0a   DROP INDEX p2;.
2fc0: 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 70    CREATE INDEX p
2fd0: 32 20 4f 4e 20 6f 31 28 79 29 20 57 48 45 52 45  2 ON o1(y) WHERE
2fe0: 20 7a 3d 31 3b 0a 20 20 43 52 45 41 54 45 20 49   z=1;.  CREATE I
2ff0: 4e 44 45 58 20 70 31 20 4f 4e 20 6f 31 28 7a 29  NDEX p1 ON o1(z)
3000: 3b 0a 7d 0a 64 6f 5f 63 61 74 63 68 73 71 6c 5f  ;.}.do_catchsql_
3010: 74 65 73 74 20 31 32 2e 34 20 7b 0a 20 20 53 45  test 12.4 {.  SE
3020: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 6f 31 20 49  LECT * FROM o1 I
3030: 4e 44 45 58 45 44 20 42 59 20 70 32 20 4f 52 44  NDEXED BY p2 ORD
3040: 45 52 20 42 59 20 31 3b 0a 7d 20 7b 31 20 7b 6e  ER BY 1;.} {1 {n
3050: 6f 20 71 75 65 72 79 20 73 6f 6c 75 74 69 6f 6e  o query solution
3060: 7d 7d 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a  }}..finish_test.