/ Hex Artifact Content
Login

Artifact 3cbf58c87f4052cee3a58b37b6389777505aa0c0:


0000: 23 20 32 30 30 37 20 4e 6f 76 65 6d 62 65 72 20  # 2007 November 
0010: 32 39 0a 23 0a 23 20 54 68 65 20 61 75 74 68 6f  29.#.# The autho
0020: 72 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70 79  r disclaims copy
0030: 72 69 67 68 74 20 74 6f 20 74 68 69 73 20 73 6f  right to this so
0040: 75 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20 70  urce code.  In p
0050: 6c 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67 61  lace of.# a lega
0060: 6c 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20 69  l notice, here i
0070: 73 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a  s a blessing:.#.
0080: 23 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f 20  #    May you do 
0090: 67 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76 69  good and not evi
00a0: 6c 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20  l..#    May you 
00b0: 66 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73 73  find forgiveness
00c0: 20 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61 6e   for yourself an
00d0: 64 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72 73  d forgive others
00e0: 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 73  ..#    May you s
00f0: 68 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65 76  hare freely, nev
0100: 65 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74  er taking more t
0110: 68 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a  han you give..#.
0120: 23 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 2a 2a 2a 2a 2a 2a 0a 23 20 54 68 69 73 20  ********.# This 
0170: 66 69 6c 65 20 74 65 73 74 73 20 74 68 65 20 6f  file tests the o
0180: 70 74 69 6d 69 73 61 74 69 6f 6e 73 20 6d 61 64  ptimisations mad
0190: 65 20 69 6e 20 4e 6f 76 65 6d 62 65 72 20 32 30  e in November 20
01a0: 30 37 20 6f 66 20 65 78 70 72 65 73 73 69 6f 6e  07 of expression
01b0: 73 20 0a 23 20 6f 66 20 74 68 65 20 66 6f 6c 6c  s .# of the foll
01c0: 6f 77 69 6e 67 20 66 6f 72 6d 3a 0a 23 0a 23 20  owing form:.#.# 
01d0: 20 20 20 20 3c 76 61 6c 75 65 3e 20 49 4e 20 28      <value> IN (
01e0: 53 45 4c 45 43 54 20 3c 63 6f 6c 75 6d 6e 3e 20  SELECT <column> 
01f0: 46 52 4f 4d 20 3c 74 61 62 6c 65 3e 29 0a 23 0a  FROM <table>).#.
0200: 23 20 24 49 64 3a 20 69 6e 33 2e 74 65 73 74 2c  # $Id: in3.test,
0210: 76 20 31 2e 35 20 32 30 30 38 2f 30 38 2f 30 34  v 1.5 2008/08/04
0220: 20 30 33 3a 35 31 3a 32 34 20 64 61 6e 69 65 6c   03:51:24 daniel
0230: 6b 31 39 37 37 20 45 78 70 20 24 0a 0a 73 65 74  k1977 Exp $..set
0240: 20 74 65 73 74 64 69 72 20 5b 66 69 6c 65 20 64   testdir [file d
0250: 69 72 6e 61 6d 65 20 24 61 72 67 76 30 5d 0a 73  irname $argv0].s
0260: 6f 75 72 63 65 20 24 74 65 73 74 64 69 72 2f 74  ource $testdir/t
0270: 65 73 74 65 72 2e 74 63 6c 0a 0a 69 66 63 61 70  ester.tcl..ifcap
0280: 61 62 6c 65 20 21 73 75 62 71 75 65 72 79 20 7b  able !subquery {
0290: 0a 20 20 66 69 6e 69 73 68 5f 74 65 73 74 0a 20  .  finish_test. 
02a0: 20 72 65 74 75 72 6e 0a 7d 0a 0a 23 20 52 65 74   return.}..# Ret
02b0: 75 72 6e 20 74 68 65 20 6e 75 6d 62 65 72 20 6f  urn the number o
02c0: 66 20 4f 70 65 6e 45 70 68 65 6d 65 72 61 6c 20  f OpenEphemeral 
02d0: 69 6e 73 74 72 75 63 74 69 6f 6e 73 20 75 73 65  instructions use
02e0: 64 20 69 6e 20 74 68 65 0a 23 20 69 6d 70 6c 65  d in the.# imple
02f0: 6d 65 6e 74 61 74 69 6f 6e 20 6f 66 20 74 68 65  mentation of the
0300: 20 73 71 6c 20 73 74 61 74 65 6d 65 6e 74 20 70   sql statement p
0310: 61 73 73 65 64 20 61 73 20 61 20 61 6e 20 61 72  assed as a an ar
0320: 67 75 6d 65 6e 74 2e 0a 23 0a 70 72 6f 63 20 6e  gument..#.proc n
0330: 45 70 68 65 6d 65 72 61 6c 20 7b 73 71 6c 7d 20  Ephemeral {sql} 
0340: 7b 0a 20 20 73 65 74 20 6e 45 70 68 20 30 0a 20  {.  set nEph 0. 
0350: 20 66 6f 72 65 61 63 68 20 6f 70 20 5b 65 78 65   foreach op [exe
0360: 63 73 71 6c 20 22 45 58 50 4c 41 49 4e 20 24 73  csql "EXPLAIN $s
0370: 71 6c 22 5d 20 7b 0a 20 20 20 20 69 66 20 7b 24  ql"] {.    if {$
0380: 6f 70 20 65 71 20 22 4f 70 65 6e 45 70 68 65 6d  op eq "OpenEphem
0390: 65 72 61 6c 22 7d 20 7b 69 6e 63 72 20 6e 45 70  eral"} {incr nEp
03a0: 68 7d 0a 20 20 7d 0a 20 20 73 65 74 20 6e 45 70  h}.  }.  set nEp
03b0: 68 0a 7d 0a 0a 23 20 54 68 69 73 20 70 72 6f 63  h.}..# This proc
03c0: 20 77 6f 72 6b 73 20 74 68 65 20 73 61 6d 65 20   works the same 
03d0: 77 61 79 20 61 73 20 65 78 65 63 73 71 6c 2c 20  way as execsql, 
03e0: 65 78 63 65 70 74 20 74 68 61 74 20 74 68 65 20  except that the 
03f0: 6e 75 6d 62 65 72 0a 23 20 6f 66 20 4f 70 65 6e  number.# of Open
0400: 45 70 68 65 6d 65 72 61 6c 20 69 6e 73 74 72 75  Ephemeral instru
0410: 63 74 69 6f 6e 73 20 75 73 65 64 20 69 6e 20 74  ctions used in t
0420: 68 65 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f  he implementatio
0430: 6e 20 6f 66 20 74 68 65 0a 23 20 73 74 61 74 65  n of the.# state
0440: 6d 65 6e 74 20 69 73 20 69 6e 73 65 72 74 65 64  ment is inserted
0450: 20 69 6e 74 6f 20 74 68 65 20 73 74 61 72 74 20   into the start 
0460: 6f 66 20 74 68 65 20 72 65 74 75 72 6e 65 64 20  of the returned 
0470: 6c 69 73 74 2e 0a 23 0a 70 72 6f 63 20 65 78 65  list..#.proc exe
0480: 63 5f 6e 65 70 68 20 7b 73 71 6c 7d 20 7b 0a 20  c_neph {sql} {. 
0490: 20 72 65 74 75 72 6e 20 5b 63 6f 6e 63 61 74 20   return [concat 
04a0: 5b 6e 45 70 68 65 6d 65 72 61 6c 20 24 73 71 6c  [nEphemeral $sql
04b0: 5d 20 5b 65 78 65 63 73 71 6c 20 24 73 71 6c 5d  ] [execsql $sql]
04c0: 5d 0a 7d 0a 0a 64 6f 5f 74 65 73 74 20 69 6e 33  ].}..do_test in3
04d0: 2d 31 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c  -1.1 {.  execsql
04e0: 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41   {.    CREATE TA
04f0: 42 4c 45 20 74 31 28 61 20 50 52 49 4d 41 52 59  BLE t1(a PRIMARY
0500: 20 4b 45 59 2c 20 62 29 3b 0a 20 20 20 20 49 4e   KEY, b);.    IN
0510: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c  SERT INTO t1 VAL
0520: 55 45 53 28 31 2c 20 32 29 3b 0a 20 20 20 20 49  UES(1, 2);.    I
0530: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41  NSERT INTO t1 VA
0540: 4c 55 45 53 28 33 2c 20 34 29 3b 0a 20 20 20 20  LUES(3, 4);.    
0550: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
0560: 41 4c 55 45 53 28 35 2c 20 36 29 3b 0a 20 20 7d  ALUES(5, 6);.  }
0570: 0a 7d 20 7b 7d 0a 0a 23 20 41 6c 6c 20 6f 66 20  .} {}..# All of 
0580: 74 68 65 73 65 20 71 75 65 72 69 65 73 20 73 68  these queries sh
0590: 6f 75 6c 64 20 61 76 6f 69 64 20 75 73 69 6e 67  ould avoid using
05a0: 20 61 20 74 65 6d 70 2d 74 61 62 6c 65 3a 0a 23   a temp-table:.#
05b0: 0a 64 6f 5f 74 65 73 74 20 69 6e 33 2d 31 2e 32  .do_test in3-1.2
05c0: 20 7b 0a 20 20 65 78 65 63 5f 6e 65 70 68 20 7b   {.  exec_neph {
05d0: 20 53 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52   SELECT rowid FR
05e0: 4f 4d 20 74 31 20 57 48 45 52 45 20 72 6f 77 69  OM t1 WHERE rowi
05f0: 64 20 49 4e 20 28 53 45 4c 45 43 54 20 72 6f 77  d IN (SELECT row
0600: 69 64 20 46 52 4f 4d 20 74 31 29 3b 20 7d 0a 7d  id FROM t1); }.}
0610: 20 7b 30 20 31 20 32 20 33 7d 0a 64 6f 5f 74 65   {0 1 2 3}.do_te
0620: 73 74 20 69 6e 33 2d 31 2e 33 20 7b 0a 20 20 65  st in3-1.3 {.  e
0630: 78 65 63 5f 6e 65 70 68 20 7b 20 53 45 4c 45 43  xec_neph { SELEC
0640: 54 20 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52  T a FROM t1 WHER
0650: 45 20 61 20 49 4e 20 28 53 45 4c 45 43 54 20 61  E a IN (SELECT a
0660: 20 46 52 4f 4d 20 74 31 29 3b 20 7d 0a 7d 20 7b   FROM t1); }.} {
0670: 30 20 31 20 33 20 35 7d 0a 64 6f 5f 74 65 73 74  0 1 3 5}.do_test
0680: 20 69 6e 33 2d 31 2e 34 20 7b 0a 20 20 65 78 65   in3-1.4 {.  exe
0690: 63 5f 6e 65 70 68 20 7b 20 53 45 4c 45 43 54 20  c_neph { SELECT 
06a0: 72 6f 77 69 64 20 46 52 4f 4d 20 74 31 20 57 48  rowid FROM t1 WH
06b0: 45 52 45 20 72 6f 77 69 64 2b 30 20 49 4e 20 28  ERE rowid+0 IN (
06c0: 53 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52 4f  SELECT rowid FRO
06d0: 4d 20 74 31 29 3b 20 7d 0a 7d 20 7b 30 20 31 20  M t1); }.} {0 1 
06e0: 32 20 33 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 33  2 3}.do_test in3
06f0: 2d 31 2e 35 20 7b 0a 20 20 65 78 65 63 5f 6e 65  -1.5 {.  exec_ne
0700: 70 68 20 7b 20 53 45 4c 45 43 54 20 61 20 46 52  ph { SELECT a FR
0710: 4f 4d 20 74 31 20 57 48 45 52 45 20 61 2b 30 20  OM t1 WHERE a+0 
0720: 49 4e 20 28 53 45 4c 45 43 54 20 61 20 46 52 4f  IN (SELECT a FRO
0730: 4d 20 74 31 29 3b 20 7d 0a 7d 20 7b 30 20 31 20  M t1); }.} {0 1 
0740: 33 20 35 7d 0a 0a 23 20 42 65 63 61 75 73 65 20  3 5}..# Because 
0750: 6e 6f 6e 65 20 6f 66 20 74 68 65 20 73 75 62 2d  none of the sub-
0760: 73 65 6c 65 63 74 20 71 75 65 72 69 65 73 20 69  select queries i
0770: 6e 20 74 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20  n the following 
0780: 73 74 61 74 65 6d 65 6e 74 73 0a 23 20 6d 61 74  statements.# mat
0790: 63 68 20 74 68 65 20 70 61 74 74 65 72 6e 20 28  ch the pattern (
07a0: 22 53 45 4c 45 43 54 20 3c 63 6f 6c 75 6d 6e 3e  "SELECT <column>
07b0: 20 46 52 4f 4d 20 3c 74 61 62 6c 65 3e 22 29 2c   FROM <table>"),
07c0: 20 74 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 64   the following d
07d0: 6f 20 0a 23 20 72 65 71 75 69 72 65 20 61 20 74  o .# require a t
07e0: 65 6d 70 20 74 61 62 6c 65 2e 0a 23 0a 64 6f 5f  emp table..#.do_
07f0: 74 65 73 74 20 69 6e 33 2d 31 2e 36 20 7b 0a 20  test in3-1.6 {. 
0800: 20 65 78 65 63 5f 6e 65 70 68 20 7b 20 53 45 4c   exec_neph { SEL
0810: 45 43 54 20 72 6f 77 69 64 20 46 52 4f 4d 20 74  ECT rowid FROM t
0820: 31 20 57 48 45 52 45 20 72 6f 77 69 64 20 49 4e  1 WHERE rowid IN
0830: 20 28 53 45 4c 45 43 54 20 72 6f 77 69 64 2b 30   (SELECT rowid+0
0840: 20 46 52 4f 4d 20 74 31 29 3b 20 7d 0a 7d 20 7b   FROM t1); }.} {
0850: 31 20 31 20 32 20 33 7d 0a 64 6f 5f 74 65 73 74  1 1 2 3}.do_test
0860: 20 69 6e 33 2d 31 2e 37 20 7b 0a 20 20 65 78 65   in3-1.7 {.  exe
0870: 63 5f 6e 65 70 68 20 7b 20 53 45 4c 45 43 54 20  c_neph { SELECT 
0880: 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  a FROM t1 WHERE 
0890: 61 20 49 4e 20 28 53 45 4c 45 43 54 20 61 2b 30  a IN (SELECT a+0
08a0: 20 46 52 4f 4d 20 74 31 29 3b 20 7d 0a 7d 20 7b   FROM t1); }.} {
08b0: 31 20 31 20 33 20 35 7d 0a 64 6f 5f 74 65 73 74  1 1 3 5}.do_test
08c0: 20 69 6e 33 2d 31 2e 38 20 7b 0a 20 20 65 78 65   in3-1.8 {.  exe
08d0: 63 5f 6e 65 70 68 20 7b 20 53 45 4c 45 43 54 20  c_neph { SELECT 
08e0: 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  a FROM t1 WHERE 
08f0: 61 20 49 4e 20 28 53 45 4c 45 43 54 20 61 20 46  a IN (SELECT a F
0900: 52 4f 4d 20 74 31 20 57 48 45 52 45 20 31 29 3b  ROM t1 WHERE 1);
0910: 20 7d 0a 7d 20 7b 31 20 31 20 33 20 35 7d 0a 64   }.} {1 1 3 5}.d
0920: 6f 5f 74 65 73 74 20 69 6e 33 2d 31 2e 39 20 7b  o_test in3-1.9 {
0930: 0a 20 20 65 78 65 63 5f 6e 65 70 68 20 7b 20 53  .  exec_neph { S
0940: 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31 20  ELECT a FROM t1 
0950: 57 48 45 52 45 20 61 20 49 4e 20 28 53 45 4c 45  WHERE a IN (SELE
0960: 43 54 20 61 20 46 52 4f 4d 20 74 31 20 47 52 4f  CT a FROM t1 GRO
0970: 55 50 20 42 59 20 61 29 3b 20 7d 0a 7d 20 7b 31  UP BY a); }.} {1
0980: 20 31 20 33 20 35 7d 0a 0a 23 20 54 68 69 73 20   1 3 5}..# This 
0990: 73 68 6f 75 6c 64 20 6e 6f 74 20 75 73 65 20 61  should not use a
09a0: 20 74 65 6d 70 2d 74 61 62 6c 65 2e 20 45 76 65   temp-table. Eve
09b0: 6e 20 74 68 6f 75 67 68 20 74 68 65 20 73 75 62  n though the sub
09c0: 2d 73 65 6c 65 63 74 20 64 6f 65 73 0a 23 20 6e  -select does.# n
09d0: 6f 74 20 65 78 61 63 74 6c 79 20 6d 61 74 63 68  ot exactly match
09e0: 20 74 68 65 20 70 61 74 74 65 72 6e 20 22 53 45   the pattern "SE
09f0: 4c 45 43 54 20 3c 63 6f 6c 75 6d 6e 3e 20 46 52  LECT <column> FR
0a00: 4f 4d 20 3c 74 61 62 6c 65 3e 22 2c 20 69 6e 0a  OM <table>", in.
0a10: 23 20 74 68 69 73 20 63 61 73 65 20 74 68 65 20  # this case the 
0a20: 4f 52 44 45 52 20 42 59 20 69 73 20 61 20 6e 6f  ORDER BY is a no
0a30: 2d 6f 70 20 61 6e 64 20 63 61 6e 20 62 65 20 69  -op and can be i
0a40: 67 6e 6f 72 65 64 2e 0a 64 6f 5f 74 65 73 74 20  gnored..do_test 
0a50: 69 6e 33 2d 31 2e 31 30 20 7b 0a 20 20 65 78 65  in3-1.10 {.  exe
0a60: 63 5f 6e 65 70 68 20 7b 20 53 45 4c 45 43 54 20  c_neph { SELECT 
0a70: 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  a FROM t1 WHERE 
0a80: 61 20 49 4e 20 28 53 45 4c 45 43 54 20 61 20 46  a IN (SELECT a F
0a90: 52 4f 4d 20 74 31 20 4f 52 44 45 52 20 42 59 20  ROM t1 ORDER BY 
0aa0: 61 29 3b 20 7d 0a 7d 20 7b 30 20 31 20 33 20 35  a); }.} {0 1 3 5
0ab0: 7d 0a 0a 23 20 54 68 65 73 65 20 64 6f 20 75 73  }..# These do us
0ac0: 65 20 74 68 65 20 74 65 6d 70 2d 74 61 62 6c 65  e the temp-table
0ad0: 2e 20 41 64 64 69 6e 67 20 74 68 65 20 4c 49 4d  . Adding the LIM
0ae0: 49 54 20 63 6c 61 75 73 65 20 6d 65 61 6e 73 20  IT clause means 
0af0: 74 68 65 20 0a 23 20 4f 52 44 45 52 20 42 59 20  the .# ORDER BY 
0b00: 63 61 6e 6e 6f 74 20 62 65 20 69 67 6e 6f 72 65  cannot be ignore
0b10: 64 2e 0a 64 6f 5f 74 65 73 74 20 69 6e 33 2d 31  d..do_test in3-1
0b20: 2e 31 31 20 7b 0a 20 20 65 78 65 63 5f 6e 65 70  .11 {.  exec_nep
0b30: 68 20 7b 53 45 4c 45 43 54 20 61 20 46 52 4f 4d  h {SELECT a FROM
0b40: 20 74 31 20 57 48 45 52 45 20 61 20 49 4e 20 28   t1 WHERE a IN (
0b50: 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31  SELECT a FROM t1
0b60: 20 4f 52 44 45 52 20 42 59 20 61 20 4c 49 4d 49   ORDER BY a LIMI
0b70: 54 20 31 29 7d 0a 7d 20 7b 31 20 31 7d 0a 64 6f  T 1)}.} {1 1}.do
0b80: 5f 74 65 73 74 20 69 6e 33 2d 31 2e 31 32 20 7b  _test in3-1.12 {
0b90: 0a 20 20 65 78 65 63 5f 6e 65 70 68 20 7b 0a 20  .  exec_neph {. 
0ba0: 20 20 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d     SELECT a FROM
0bb0: 20 74 31 20 57 48 45 52 45 20 61 20 49 4e 20 28   t1 WHERE a IN (
0bc0: 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31  SELECT a FROM t1
0bd0: 20 4f 52 44 45 52 20 42 59 20 61 20 4c 49 4d 49   ORDER BY a LIMI
0be0: 54 20 31 20 4f 46 46 53 45 54 20 31 29 0a 20 20  T 1 OFFSET 1).  
0bf0: 7d 0a 7d 20 7b 31 20 33 7d 0a 0a 23 20 48 61 73  }.} {1 3}..# Has
0c00: 20 74 6f 20 75 73 65 20 61 20 74 65 6d 70 2d 74   to use a temp-t
0c10: 61 62 6c 65 20 62 65 63 61 75 73 65 20 6f 66 20  able because of 
0c20: 74 68 65 20 63 6f 6d 70 6f 75 6e 64 20 73 75 62  the compound sub
0c30: 2d 73 65 6c 65 63 74 2e 0a 23 0a 69 66 63 61 70  -select..#.ifcap
0c40: 61 62 6c 65 20 63 6f 6d 70 6f 75 6e 64 20 7b 0a  able compound {.
0c50: 20 20 64 6f 5f 74 65 73 74 20 69 6e 33 2d 31 2e    do_test in3-1.
0c60: 31 33 20 7b 0a 20 20 20 20 65 78 65 63 5f 6e 65  13 {.    exec_ne
0c70: 70 68 20 7b 0a 20 20 20 20 20 20 53 45 4c 45 43  ph {.      SELEC
0c80: 54 20 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52  T a FROM t1 WHER
0c90: 45 20 61 20 49 4e 20 28 0a 20 20 20 20 20 20 20  E a IN (.       
0ca0: 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74   SELECT a FROM t
0cb0: 31 20 55 4e 49 4f 4e 20 41 4c 4c 20 53 45 4c 45  1 UNION ALL SELE
0cc0: 43 54 20 61 20 46 52 4f 4d 20 74 31 0a 20 20 20  CT a FROM t1.   
0cd0: 20 20 20 29 0a 20 20 20 20 7d 0a 20 20 7d 20 7b     ).    }.  } {
0ce0: 31 20 31 20 33 20 35 7d 0a 7d 0a 0a 23 20 54 68  1 1 3 5}.}..# Th
0cf0: 65 20 66 69 72 73 74 20 6f 66 20 74 68 65 73 65  e first of these
0d00: 20 71 75 65 72 69 65 73 20 68 61 73 20 74 6f 20   queries has to 
0d10: 75 73 65 20 74 68 65 20 74 65 6d 70 2d 74 61 62  use the temp-tab
0d20: 6c 65 2c 20 62 65 63 61 75 73 65 20 74 68 65 20  le, because the 
0d30: 0a 23 20 63 6f 6c 6c 61 74 69 6f 6e 20 73 65 71  .# collation seq
0d40: 75 65 6e 63 65 20 75 73 65 64 20 66 6f 72 20 74  uence used for t
0d50: 68 65 20 69 6e 64 65 78 20 6f 6e 20 22 74 31 2e  he index on "t1.
0d60: 61 22 20 64 6f 65 73 20 6e 6f 74 20 6d 61 74 63  a" does not matc
0d70: 68 20 74 68 65 0a 23 20 63 6f 6c 6c 61 74 69 6f  h the.# collatio
0d80: 6e 20 73 65 71 75 65 6e 63 65 20 75 73 65 64 20  n sequence used 
0d90: 62 79 20 74 68 65 20 22 49 4e 22 20 63 6f 6d 70  by the "IN" comp
0da0: 61 72 69 73 6f 6e 2e 20 54 68 65 20 73 65 63 6f  arison. The seco
0db0: 6e 64 20 64 6f 65 73 20 6e 6f 74 0a 23 20 72 65  nd does not.# re
0dc0: 71 75 69 72 65 20 61 20 74 65 6d 70 2d 74 61 62  quire a temp-tab
0dd0: 6c 65 2c 20 62 65 63 61 75 73 65 20 74 68 65 20  le, because the 
0de0: 63 6f 6c 6c 61 74 69 6f 6e 20 73 65 71 75 65 6e  collation sequen
0df0: 63 65 73 20 6d 61 74 63 68 2e 0a 23 0a 64 6f 5f  ces match..#.do_
0e00: 74 65 73 74 20 69 6e 33 2d 31 2e 31 34 20 7b 0a  test in3-1.14 {.
0e10: 20 20 65 78 65 63 5f 6e 65 70 68 20 7b 20 53 45    exec_neph { SE
0e20: 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31 20 57  LECT a FROM t1 W
0e30: 48 45 52 45 20 61 20 43 4f 4c 4c 41 54 45 20 6e  HERE a COLLATE n
0e40: 6f 63 61 73 65 20 49 4e 20 28 53 45 4c 45 43 54  ocase IN (SELECT
0e50: 20 61 20 46 52 4f 4d 20 74 31 29 20 7d 0a 7d 20   a FROM t1) }.} 
0e60: 7b 31 20 31 20 33 20 35 7d 0a 64 6f 5f 74 65 73  {1 1 3 5}.do_tes
0e70: 74 20 69 6e 33 2d 31 2e 31 35 20 7b 0a 20 20 65  t in3-1.15 {.  e
0e80: 78 65 63 5f 6e 65 70 68 20 7b 20 53 45 4c 45 43  xec_neph { SELEC
0e90: 54 20 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52  T a FROM t1 WHER
0ea0: 45 20 61 20 43 4f 4c 4c 41 54 45 20 62 69 6e 61  E a COLLATE bina
0eb0: 72 79 20 49 4e 20 28 53 45 4c 45 43 54 20 61 20  ry IN (SELECT a 
0ec0: 46 52 4f 4d 20 74 31 29 20 7d 0a 7d 20 7b 30 20  FROM t1) }.} {0 
0ed0: 31 20 33 20 35 7d 0a 0a 23 20 4e 65 69 74 68 65  1 3 5}..# Neithe
0ee0: 72 20 6f 66 20 74 68 65 73 65 20 71 75 65 72 69  r of these queri
0ef0: 65 73 20 72 65 71 75 69 72 65 20 61 20 74 65 6d  es require a tem
0f00: 70 2d 74 61 62 6c 65 2e 20 54 68 65 20 63 6f 6c  p-table. The col
0f10: 6c 61 74 69 6f 6e 20 73 65 71 75 65 6e 63 65 0a  lation sequence.
0f20: 23 20 6d 61 6b 65 73 20 6e 6f 20 64 69 66 66 65  # makes no diffe
0f30: 72 65 6e 63 65 20 77 68 65 6e 20 75 73 69 6e 67  rence when using
0f40: 20 61 20 72 6f 77 69 64 2e 0a 23 0a 64 6f 5f 74   a rowid..#.do_t
0f50: 65 73 74 20 69 6e 33 2d 31 2e 31 36 20 7b 0a 20  est in3-1.16 {. 
0f60: 20 65 78 65 63 5f 6e 65 70 68 20 7b 53 45 4c 45   exec_neph {SELE
0f70: 43 54 20 61 20 46 52 4f 4d 20 74 31 20 57 48 45  CT a FROM t1 WHE
0f80: 52 45 20 61 20 43 4f 4c 4c 41 54 45 20 6e 6f 63  RE a COLLATE noc
0f90: 61 73 65 20 49 4e 20 28 53 45 4c 45 43 54 20 72  ase IN (SELECT r
0fa0: 6f 77 69 64 20 46 52 4f 4d 20 74 31 29 7d 0a 7d  owid FROM t1)}.}
0fb0: 20 7b 30 20 31 20 33 7d 0a 64 6f 5f 74 65 73 74   {0 1 3}.do_test
0fc0: 20 69 6e 33 2d 31 2e 31 37 20 7b 0a 20 20 65 78   in3-1.17 {.  ex
0fd0: 65 63 5f 6e 65 70 68 20 7b 53 45 4c 45 43 54 20  ec_neph {SELECT 
0fe0: 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  a FROM t1 WHERE 
0ff0: 61 20 43 4f 4c 4c 41 54 45 20 62 69 6e 61 72 79  a COLLATE binary
1000: 20 49 4e 20 28 53 45 4c 45 43 54 20 72 6f 77 69   IN (SELECT rowi
1010: 64 20 46 52 4f 4d 20 74 31 29 7d 0a 7d 20 7b 30  d FROM t1)}.} {0
1020: 20 31 20 33 7d 0a 0a 23 20 54 68 65 20 66 6f 6c   1 3}..# The fol
1030: 6c 6f 77 69 6e 67 20 74 65 73 74 73 20 2d 20 69  lowing tests - i
1040: 6e 33 2e 32 2e 2a 20 2d 20 74 65 73 74 20 61 20  n3.2.* - test a 
1050: 62 75 67 20 74 68 61 74 20 77 61 73 20 64 69 66  bug that was dif
1060: 66 69 63 75 6c 74 20 74 6f 20 74 72 61 63 6b 0a  ficult to track.
1070: 23 20 64 6f 77 6e 20 64 75 72 69 6e 67 20 64 65  # down during de
1080: 76 65 6c 6f 70 6d 65 6e 74 2e 20 54 68 65 79 20  velopment. They 
1090: 61 72 65 20 6e 6f 74 20 70 61 72 74 69 63 75 6c  are not particul
10a0: 61 72 6c 79 20 77 65 6c 6c 20 66 6f 63 75 73 65  arly well focuse
10b0: 64 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6e 33  d..#.do_test in3
10c0: 2d 32 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c  -2.1 {.  execsql
10d0: 20 7b 0a 20 20 20 20 44 52 4f 50 20 54 41 42 4c   {.    DROP TABL
10e0: 45 20 49 46 20 45 58 49 53 54 53 20 74 31 3b 0a  E IF EXISTS t1;.
10f0: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
1100: 20 74 31 28 77 20 69 6e 74 2c 20 78 20 69 6e 74   t1(w int, x int
1110: 2c 20 79 20 69 6e 74 29 3b 0a 20 20 20 20 43 52  , y int);.    CR
1120: 45 41 54 45 20 54 41 42 4c 45 20 74 32 28 70 20  EATE TABLE t2(p 
1130: 69 6e 74 2c 20 71 20 69 6e 74 2c 20 72 20 69 6e  int, q int, r in
1140: 74 2c 20 73 20 69 6e 74 29 3b 0a 20 20 7d 0a 20  t, s int);.  }. 
1150: 20 66 6f 72 20 7b 73 65 74 20 69 20 31 7d 20 7b   for {set i 1} {
1160: 24 69 3c 3d 31 30 30 7d 20 7b 69 6e 63 72 20 69  $i<=100} {incr i
1170: 7d 20 7b 0a 20 20 20 20 73 65 74 20 77 20 24 69  } {.    set w $i
1180: 0a 20 20 20 20 73 65 74 20 78 20 5b 65 78 70 72  .    set x [expr
1190: 20 7b 69 6e 74 28 6c 6f 67 28 24 69 29 2f 6c 6f   {int(log($i)/lo
11a0: 67 28 32 29 29 7d 5d 0a 20 20 20 20 73 65 74 20  g(2))}].    set 
11b0: 79 20 5b 65 78 70 72 20 7b 24 69 2a 24 69 20 2b  y [expr {$i*$i +
11c0: 20 32 2a 24 69 20 2b 20 31 7d 5d 0a 20 20 20 20   2*$i + 1}].    
11d0: 65 78 65 63 73 71 6c 20 22 49 4e 53 45 52 54 20  execsql "INSERT 
11e0: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 24  INTO t1 VALUES($
11f0: 77 2c 24 78 2c 24 79 29 22 0a 20 20 7d 0a 20 20  w,$x,$y)".  }.  
1200: 73 65 74 20 6d 61 78 79 20 5b 65 78 65 63 73 71  set maxy [execsq
1210: 6c 20 7b 73 65 6c 65 63 74 20 6d 61 78 28 79 29  l {select max(y)
1220: 20 66 72 6f 6d 20 74 31 7d 5d 0a 20 20 64 62 20   from t1}].  db 
1230: 65 76 61 6c 20 7b 20 49 4e 53 45 52 54 20 49 4e  eval { INSERT IN
1240: 54 4f 20 74 32 20 53 45 4c 45 43 54 20 31 30 31  TO t2 SELECT 101
1250: 2d 77 2c 20 78 2c 20 24 6d 61 78 79 2b 31 2d 79  -w, x, $maxy+1-y
1260: 2c 20 79 20 46 52 4f 4d 20 74 31 20 7d 0a 7d 20  , y FROM t1 }.} 
1270: 7b 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 33 2d 32  {}.do_test in3-2
1280: 2e 32 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .2 {.  execsql {
1290: 0a 20 20 20 20 53 45 4c 45 43 54 20 72 6f 77 69  .    SELECT rowi
12a0: 64 20 0a 20 20 20 20 46 52 4f 4d 20 74 31 20 0a  d .    FROM t1 .
12b0: 20 20 20 20 57 48 45 52 45 20 72 6f 77 69 64 20      WHERE rowid 
12c0: 49 4e 20 28 53 45 4c 45 43 54 20 72 6f 77 69 64  IN (SELECT rowid
12d0: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 72   FROM t1 WHERE r
12e0: 6f 77 69 64 20 49 4e 20 28 31 2c 20 32 29 29 3b  owid IN (1, 2));
12f0: 0a 20 20 7d 0a 7d 20 7b 31 20 32 7d 0a 64 6f 5f  .  }.} {1 2}.do_
1300: 74 65 73 74 20 69 6e 33 2d 32 2e 33 20 7b 0a 20  test in3-2.3 {. 
1310: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 73   execsql {.    s
1320: 65 6c 65 63 74 20 72 6f 77 69 64 20 66 72 6f 6d  elect rowid from
1330: 20 74 31 20 77 68 65 72 65 20 72 6f 77 69 64 20   t1 where rowid 
1340: 49 4e 20 28 2d 31 2c 32 2c 34 29 0a 20 20 7d 0a  IN (-1,2,4).  }.
1350: 7d 20 7b 32 20 34 7d 0a 64 6f 5f 74 65 73 74 20  } {2 4}.do_test 
1360: 69 6e 33 2d 32 2e 34 20 7b 0a 20 20 65 78 65 63  in3-2.4 {.  exec
1370: 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54  sql {.    SELECT
1380: 20 72 6f 77 69 64 20 46 52 4f 4d 20 74 31 20 57   rowid FROM t1 W
1390: 48 45 52 45 20 72 6f 77 69 64 20 49 4e 20 0a 20  HERE rowid IN . 
13a0: 20 20 20 20 20 20 28 73 65 6c 65 63 74 20 72 6f        (select ro
13b0: 77 69 64 20 66 72 6f 6d 20 74 31 20 77 68 65 72  wid from t1 wher
13c0: 65 20 72 6f 77 69 64 20 49 4e 20 28 2d 31 2c 32  e rowid IN (-1,2
13d0: 2c 34 29 29 0a 20 20 7d 0a 7d 20 7b 32 20 34 7d  ,4)).  }.} {2 4}
13e0: 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ..#-------------
13f0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1400: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1410: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1420: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54  ------------.# T
1430: 68 69 73 20 6e 65 78 74 20 62 6c 6f 63 6b 20 6f  his next block o
1440: 66 20 74 65 73 74 73 20 2d 20 69 6e 33 2d 33 2e  f tests - in3-3.
1450: 2a 20 2d 20 76 65 72 69 66 79 20 74 68 61 74 20  * - verify that 
1460: 63 6f 6c 75 6d 6e 20 61 66 66 69 6e 69 74 79 20  column affinity 
1470: 69 73 0a 23 20 63 6f 72 72 65 63 74 6c 79 20 68  is.# correctly h
1480: 61 6e 64 6c 65 64 20 69 6e 20 63 61 73 65 73 20  andled in cases 
1490: 77 68 65 72 65 20 61 6e 20 69 6e 64 65 78 20 6d  where an index m
14a0: 69 67 68 74 20 62 65 20 75 73 65 64 20 74 6f 20  ight be used to 
14b0: 6f 70 74 69 6d 69 73 65 0a 23 20 61 6e 20 49 4e  optimise.# an IN
14c0: 20 28 53 45 4c 45 43 54 29 20 65 78 70 72 65 73   (SELECT) expres
14d0: 73 69 6f 6e 2e 0a 23 0a 64 6f 5f 74 65 73 74 20  sion..#.do_test 
14e0: 69 6e 33 2d 33 2e 31 20 7b 0a 20 20 63 61 74 63  in3-3.1 {.  catc
14f0: 68 20 7b 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  h {execsql {.   
1500: 20 44 52 4f 50 20 54 41 42 4c 45 20 74 31 3b 0a   DROP TABLE t1;.
1510: 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45 20 74      DROP TABLE t
1520: 32 3b 0a 20 20 7d 7d 0a 0a 20 20 65 78 65 63 73  2;.  }}..  execs
1530: 71 6c 20 7b 0a 0a 20 20 20 20 43 52 45 41 54 45  ql {..    CREATE
1540: 20 54 41 42 4c 45 20 74 31 28 61 20 42 4c 4f 42   TABLE t1(a BLOB
1550: 2c 20 62 20 4e 55 4d 42 45 52 20 2c 63 20 54 45  , b NUMBER ,c TE
1560: 58 54 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20  XT);.    CREATE 
1570: 55 4e 49 51 55 45 20 49 4e 44 45 58 20 74 31 5f  UNIQUE INDEX t1_
1580: 69 31 20 4f 4e 20 74 31 28 61 29 3b 20 20 20 20  i1 ON t1(a);    
1590: 20 20 20 20 2f 2a 20 6e 6f 20 61 66 66 69 6e 69      /* no affini
15a0: 74 79 20 2a 2f 0a 20 20 20 20 43 52 45 41 54 45  ty */.    CREATE
15b0: 20 55 4e 49 51 55 45 20 49 4e 44 45 58 20 74 31   UNIQUE INDEX t1
15c0: 5f 69 32 20 4f 4e 20 74 31 28 62 29 3b 20 20 20  _i2 ON t1(b);   
15d0: 20 20 20 20 20 2f 2a 20 6e 75 6d 65 72 69 63 20       /* numeric 
15e0: 61 66 66 69 6e 69 74 79 20 2a 2f 0a 20 20 20 20  affinity */.    
15f0: 43 52 45 41 54 45 20 55 4e 49 51 55 45 20 49 4e  CREATE UNIQUE IN
1600: 44 45 58 20 74 31 5f 69 33 20 4f 4e 20 74 31 28  DEX t1_i3 ON t1(
1610: 63 29 3b 20 20 20 20 20 20 20 20 2f 2a 20 74 65  c);        /* te
1620: 78 74 20 61 66 66 69 6e 69 74 79 20 2a 2f 0a 0a  xt affinity */..
1630: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
1640: 20 74 32 28 78 20 42 4c 4f 42 2c 20 79 20 4e 55   t2(x BLOB, y NU
1650: 4d 42 45 52 2c 20 7a 20 54 45 58 54 29 3b 0a 20  MBER, z TEXT);. 
1660: 20 20 20 43 52 45 41 54 45 20 55 4e 49 51 55 45     CREATE UNIQUE
1670: 20 49 4e 44 45 58 20 74 32 5f 69 31 20 4f 4e 20   INDEX t2_i1 ON 
1680: 74 32 28 78 29 3b 20 20 20 20 20 20 20 20 2f 2a  t2(x);        /*
1690: 20 6e 6f 20 61 66 66 69 6e 69 74 79 20 2a 2f 0a   no affinity */.
16a0: 20 20 20 20 43 52 45 41 54 45 20 55 4e 49 51 55      CREATE UNIQU
16b0: 45 20 49 4e 44 45 58 20 74 32 5f 69 32 20 4f 4e  E INDEX t2_i2 ON
16c0: 20 74 32 28 79 29 3b 20 20 20 20 20 20 20 20 2f   t2(y);        /
16d0: 2a 20 6e 75 6d 65 72 69 63 20 61 66 66 69 6e 69  * numeric affini
16e0: 74 79 20 2a 2f 0a 20 20 20 20 43 52 45 41 54 45  ty */.    CREATE
16f0: 20 55 4e 49 51 55 45 20 49 4e 44 45 58 20 74 32   UNIQUE INDEX t2
1700: 5f 69 33 20 4f 4e 20 74 32 28 7a 29 3b 20 20 20  _i3 ON t2(z);   
1710: 20 20 20 20 20 2f 2a 20 74 65 78 74 20 61 66 66       /* text aff
1720: 69 6e 69 74 79 20 2a 2f 0a 0a 20 20 20 20 49 4e  inity */..    IN
1730: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c  SERT INTO t1 VAL
1740: 55 45 53 28 31 2c 20 31 2c 20 31 29 3b 0a 20 20  UES(1, 1, 1);.  
1750: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32    INSERT INTO t2
1760: 20 56 41 4c 55 45 53 28 27 31 27 2c 20 27 31 27   VALUES('1', '1'
1770: 2c 20 27 31 27 29 3b 0a 20 20 7d 0a 7d 20 7b 7d  , '1');.  }.} {}
1780: 0a 0a 64 6f 5f 74 65 73 74 20 69 6e 33 2d 33 2e  ..do_test in3-3.
1790: 32 20 7b 0a 20 20 23 20 4e 6f 20 61 66 66 69 6e  2 {.  # No affin
17a0: 69 74 79 20 69 73 20 61 70 70 6c 69 65 64 20 62  ity is applied b
17b0: 65 66 6f 72 65 20 63 6f 6d 70 61 72 69 6e 67 20  efore comparing 
17c0: 22 78 22 20 61 6e 64 20 22 61 22 2e 20 54 68 65  "x" and "a". The
17d0: 72 65 66 6f 72 65 0a 20 20 23 20 74 68 65 20 69  refore.  # the i
17e0: 6e 64 65 78 20 63 61 6e 20 62 65 20 75 73 65 64  ndex can be used
17f0: 20 28 74 68 65 20 63 6f 6d 70 61 72 69 73 6f 6e   (the comparison
1800: 20 69 73 20 66 61 6c 73 65 2c 20 74 65 78 74 21   is false, text!
1810: 3d 6e 75 6d 62 65 72 29 2e 0a 20 20 65 78 65 63  =number)..  exec
1820: 5f 6e 65 70 68 20 7b 20 53 45 4c 45 43 54 20 78  _neph { SELECT x
1830: 20 49 4e 20 28 53 45 4c 45 43 54 20 61 20 46 52   IN (SELECT a FR
1840: 4f 4d 20 74 31 29 20 46 52 4f 4d 20 74 32 20 7d  OM t1) FROM t2 }
1850: 0a 7d 20 7b 30 20 30 7d 0a 64 6f 5f 74 65 73 74  .} {0 0}.do_test
1860: 20 69 6e 33 2d 33 2e 33 20 7b 0a 20 20 23 20 4c   in3-3.3 {.  # L
1870: 6f 67 69 63 61 6c 6c 79 2c 20 6e 75 6d 65 72 69  ogically, numeri
1880: 63 20 61 66 66 69 6e 69 74 79 20 69 73 20 61 70  c affinity is ap
1890: 70 6c 69 65 64 20 74 6f 20 62 6f 74 68 20 73 69  plied to both si
18a0: 64 65 73 20 62 65 66 6f 72 65 20 0a 20 20 23 20  des before .  # 
18b0: 74 68 65 20 63 6f 6d 70 61 72 69 73 6f 6e 2e 20  the comparison. 
18c0: 20 54 68 65 72 65 66 6f 72 65 20 69 74 20 69 73   Therefore it is
18d0: 20 70 6f 73 73 69 62 6c 65 20 74 6f 20 75 73 65   possible to use
18e0: 20 69 6e 64 65 78 20 74 31 5f 69 32 2e 0a 20 20   index t1_i2..  
18f0: 65 78 65 63 5f 6e 65 70 68 20 7b 20 53 45 4c 45  exec_neph { SELE
1900: 43 54 20 78 20 49 4e 20 28 53 45 4c 45 43 54 20  CT x IN (SELECT 
1910: 62 20 46 52 4f 4d 20 74 31 29 20 46 52 4f 4d 20  b FROM t1) FROM 
1920: 74 32 20 7d 0a 7d 20 7b 30 20 31 7d 0a 64 6f 5f  t2 }.} {0 1}.do_
1930: 74 65 73 74 20 69 6e 33 2d 33 2e 34 20 7b 0a 20  test in3-3.4 {. 
1940: 20 23 20 4e 6f 20 61 66 66 69 6e 69 74 79 20 69   # No affinity i
1950: 73 20 61 70 70 6c 69 65 64 20 62 65 66 6f 72 65  s applied before
1960: 20 74 68 65 20 63 6f 6d 70 61 72 69 73 6f 6e 20   the comparison 
1970: 74 61 6b 65 73 20 70 6c 61 63 65 2e 20 4d 61 6b  takes place. Mak
1980: 69 6e 67 0a 20 20 23 20 69 74 20 70 6f 73 73 69  ing.  # it possi
1990: 62 6c 65 20 74 6f 20 75 73 65 20 69 6e 64 65 78  ble to use index
19a0: 20 74 31 5f 69 33 2e 0a 20 20 65 78 65 63 5f 6e   t1_i3..  exec_n
19b0: 65 70 68 20 7b 20 53 45 4c 45 43 54 20 78 20 49  eph { SELECT x I
19c0: 4e 20 28 53 45 4c 45 43 54 20 63 20 46 52 4f 4d  N (SELECT c FROM
19d0: 20 74 31 29 20 46 52 4f 4d 20 74 32 20 7d 0a 7d   t1) FROM t2 }.}
19e0: 20 7b 30 20 31 7d 0a 0a 64 6f 5f 74 65 73 74 20   {0 1}..do_test 
19f0: 69 6e 33 2d 33 2e 35 20 7b 0a 20 20 23 20 4e 75  in3-3.5 {.  # Nu
1a00: 6d 65 72 69 63 20 61 66 66 69 6e 69 74 79 20 73  meric affinity s
1a10: 68 6f 75 6c 64 20 62 65 20 61 70 70 6c 69 65 64  hould be applied
1a20: 20 74 6f 20 65 61 63 68 20 73 69 64 65 20 62 65   to each side be
1a30: 66 6f 72 65 20 74 68 65 20 63 6f 6d 70 61 72 69  fore the compari
1a40: 73 6f 6e 0a 20 20 23 20 74 61 6b 65 73 20 70 6c  son.  # takes pl
1a50: 61 63 65 2e 20 54 68 65 72 65 66 6f 72 65 20 77  ace. Therefore w
1a60: 65 20 63 61 6e 6e 6f 74 20 75 73 65 20 69 6e 64  e cannot use ind
1a70: 65 78 20 74 31 5f 69 31 2c 20 77 68 69 63 68 20  ex t1_i1, which 
1a80: 68 61 73 20 6e 6f 20 61 66 66 69 6e 69 74 79 2e  has no affinity.
1a90: 0a 20 20 65 78 65 63 5f 6e 65 70 68 20 7b 20 53  .  exec_neph { S
1aa0: 45 4c 45 43 54 20 79 20 49 4e 20 28 53 45 4c 45  ELECT y IN (SELE
1ab0: 43 54 20 61 20 46 52 4f 4d 20 74 31 29 20 46 52  CT a FROM t1) FR
1ac0: 4f 4d 20 74 32 20 7d 0a 7d 20 7b 31 20 31 7d 0a  OM t2 }.} {1 1}.
1ad0: 64 6f 5f 74 65 73 74 20 69 6e 33 2d 33 2e 36 20  do_test in3-3.6 
1ae0: 7b 0a 20 20 23 20 4e 75 6d 65 72 69 63 20 61 66  {.  # Numeric af
1af0: 66 69 6e 69 74 79 20 69 73 20 61 70 70 6c 69 65  finity is applie
1b00: 64 20 74 6f 20 62 6f 74 68 20 73 69 64 65 73 20  d to both sides 
1b10: 62 65 66 6f 72 65 20 0a 20 20 23 20 74 68 65 20  before .  # the 
1b20: 63 6f 6d 70 61 72 69 73 6f 6e 2e 20 20 54 68 65  comparison.  The
1b30: 72 65 66 6f 72 65 20 69 74 20 69 73 20 70 6f 73  refore it is pos
1b40: 73 69 62 6c 65 20 74 6f 20 75 73 65 20 69 6e 64  sible to use ind
1b50: 65 78 20 74 31 5f 69 32 2e 0a 20 20 65 78 65 63  ex t1_i2..  exec
1b60: 5f 6e 65 70 68 20 7b 20 53 45 4c 45 43 54 20 79  _neph { SELECT y
1b70: 20 49 4e 20 28 53 45 4c 45 43 54 20 62 20 46 52   IN (SELECT b FR
1b80: 4f 4d 20 74 31 29 20 46 52 4f 4d 20 74 32 20 7d  OM t1) FROM t2 }
1b90: 0a 7d 20 7b 30 20 31 7d 0a 64 6f 5f 74 65 73 74  .} {0 1}.do_test
1ba0: 20 69 6e 33 2d 33 2e 37 20 7b 0a 20 20 23 20 4e   in3-3.7 {.  # N
1bb0: 75 6d 65 72 69 63 20 61 66 66 69 6e 69 74 79 20  umeric affinity 
1bc0: 69 73 20 61 70 70 6c 69 65 64 20 62 65 66 6f 72  is applied befor
1bd0: 65 20 74 68 65 20 63 6f 6d 70 61 72 69 73 6f 6e  e the comparison
1be0: 20 74 61 6b 65 73 20 70 6c 61 63 65 2e 20 0a 20   takes place. . 
1bf0: 20 23 20 4d 61 6b 69 6e 67 20 69 74 20 69 6d 70   # Making it imp
1c00: 6f 73 73 69 62 6c 65 20 74 6f 20 75 73 65 20 69  ossible to use i
1c10: 6e 64 65 78 20 74 31 5f 69 33 2e 0a 20 20 65 78  ndex t1_i3..  ex
1c20: 65 63 5f 6e 65 70 68 20 7b 20 53 45 4c 45 43 54  ec_neph { SELECT
1c30: 20 79 20 49 4e 20 28 53 45 4c 45 43 54 20 63 20   y IN (SELECT c 
1c40: 46 52 4f 4d 20 74 31 29 20 46 52 4f 4d 20 74 32  FROM t1) FROM t2
1c50: 20 7d 0a 7d 20 7b 31 20 31 7d 0a 0a 23 2d 2d 2d   }.} {1 1}..#---
1c60: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1c70: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1c80: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1c90: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1ca0: 2d 2d 0a 23 0a 23 20 54 65 73 74 20 75 73 69 6e  --.#.# Test usin
1cb0: 67 20 61 20 6d 75 6c 74 69 2d 63 6f 6c 75 6d 6e  g a multi-column
1cc0: 20 69 6e 64 65 78 2e 0a 23 0a 64 6f 5f 74 65 73   index..#.do_tes
1cd0: 74 20 69 6e 33 2d 34 2e 31 20 7b 0a 20 20 65 78  t in3-4.1 {.  ex
1ce0: 65 63 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41  ecsql {.    CREA
1cf0: 54 45 20 54 41 42 4c 45 20 74 33 28 61 2c 20 62  TE TABLE t3(a, b
1d00: 2c 20 63 29 3b 0a 20 20 20 20 43 52 45 41 54 45  , c);.    CREATE
1d10: 20 55 4e 49 51 55 45 20 49 4e 44 45 58 20 74 33   UNIQUE INDEX t3
1d20: 5f 69 20 4f 4e 20 74 33 28 62 2c 20 61 29 3b 0a  _i ON t3(b, a);.
1d30: 20 20 7d 0a 0a 20 20 65 78 65 63 73 71 6c 20 7b    }..  execsql {
1d40: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
1d50: 20 74 33 20 56 41 4c 55 45 53 28 31 2c 20 27 6e   t3 VALUES(1, 'n
1d60: 75 6d 65 72 69 63 27 2c 20 32 29 3b 0a 20 20 20  umeric', 2);.   
1d70: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 33 20   INSERT INTO t3 
1d80: 56 41 4c 55 45 53 28 32 2c 20 27 74 65 78 74 27  VALUES(2, 'text'
1d90: 2c 20 32 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  , 2);.    INSERT
1da0: 20 49 4e 54 4f 20 74 33 20 56 41 4c 55 45 53 28   INTO t3 VALUES(
1db0: 33 2c 20 27 72 65 61 6c 27 2c 20 32 29 3b 0a 20  3, 'real', 2);. 
1dc0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
1dd0: 33 20 56 41 4c 55 45 53 28 34 2c 20 27 6e 6f 6e  3 VALUES(4, 'non
1de0: 65 27 2c 20 32 29 3b 0a 20 20 7d 0a 7d 20 7b 7d  e', 2);.  }.} {}
1df0: 0a 64 6f 5f 74 65 73 74 20 69 6e 33 2d 34 2e 32  .do_test in3-4.2
1e00: 20 7b 0a 20 20 65 78 65 63 5f 6e 65 70 68 20 7b   {.  exec_neph {
1e10: 20 53 45 4c 45 43 54 20 27 74 65 78 74 27 20 49   SELECT 'text' I
1e20: 4e 20 28 53 45 4c 45 43 54 20 62 20 46 52 4f 4d  N (SELECT b FROM
1e30: 20 74 33 29 20 7d 0a 7d 20 7b 30 20 31 7d 0a 64   t3) }.} {0 1}.d
1e40: 6f 5f 74 65 73 74 20 69 6e 33 2d 34 2e 33 20 7b  o_test in3-4.3 {
1e50: 0a 20 20 65 78 65 63 5f 6e 65 70 68 20 7b 20 53  .  exec_neph { S
1e60: 45 4c 45 43 54 20 27 54 45 58 54 27 20 43 4f 4c  ELECT 'TEXT' COL
1e70: 4c 41 54 45 20 6e 6f 63 61 73 65 20 49 4e 20 28  LATE nocase IN (
1e80: 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20 74 33  SELECT b FROM t3
1e90: 29 20 7d 0a 7d 20 7b 31 20 31 7d 0a 64 6f 5f 74  ) }.} {1 1}.do_t
1ea0: 65 73 74 20 69 6e 33 2d 34 2e 34 20 7b 0a 20 20  est in3-4.4 {.  
1eb0: 23 20 41 20 74 65 6d 70 20 74 61 62 6c 65 20 6d  # A temp table m
1ec0: 75 73 74 20 62 65 20 75 73 65 64 20 62 65 63 61  ust be used beca
1ed0: 75 73 65 20 74 33 5f 69 2e 62 20 69 73 20 6e 6f  use t3_i.b is no
1ee0: 74 20 67 75 61 72 61 6e 74 65 65 64 20 74 6f 20  t guaranteed to 
1ef0: 62 65 20 75 6e 69 71 75 65 2e 0a 20 20 65 78 65  be unique..  exe
1f00: 63 5f 6e 65 70 68 20 7b 20 53 45 4c 45 43 54 20  c_neph { SELECT 
1f10: 62 20 46 52 4f 4d 20 74 33 20 57 48 45 52 45 20  b FROM t3 WHERE 
1f20: 62 20 49 4e 20 28 53 45 4c 45 43 54 20 62 20 46  b IN (SELECT b F
1f30: 52 4f 4d 20 74 33 29 20 7d 0a 7d 20 7b 31 20 6e  ROM t3) }.} {1 n
1f40: 6f 6e 65 20 6e 75 6d 65 72 69 63 20 72 65 61 6c  one numeric real
1f50: 20 74 65 78 74 7d 0a 64 6f 5f 74 65 73 74 20 69   text}.do_test i
1f60: 6e 33 2d 34 2e 35 20 7b 0a 20 20 65 78 65 63 73  n3-4.5 {.  execs
1f70: 71 6c 20 7b 20 43 52 45 41 54 45 20 55 4e 49 51  ql { CREATE UNIQ
1f80: 55 45 20 49 4e 44 45 58 20 74 33 5f 69 32 20 4f  UE INDEX t3_i2 O
1f90: 4e 20 74 33 28 62 29 20 7d 0a 20 20 65 78 65 63  N t3(b) }.  exec
1fa0: 5f 6e 65 70 68 20 7b 20 53 45 4c 45 43 54 20 62  _neph { SELECT b
1fb0: 20 46 52 4f 4d 20 74 33 20 57 48 45 52 45 20 62   FROM t3 WHERE b
1fc0: 20 49 4e 20 28 53 45 4c 45 43 54 20 62 20 46 52   IN (SELECT b FR
1fd0: 4f 4d 20 74 33 29 20 7d 0a 7d 20 7b 30 20 6e 6f  OM t3) }.} {0 no
1fe0: 6e 65 20 6e 75 6d 65 72 69 63 20 72 65 61 6c 20  ne numeric real 
1ff0: 74 65 78 74 7d 0a 64 6f 5f 74 65 73 74 20 69 6e  text}.do_test in
2000: 33 2d 34 2e 36 20 7b 0a 20 20 65 78 65 63 73 71  3-4.6 {.  execsq
2010: 6c 20 7b 20 44 52 4f 50 20 49 4e 44 45 58 20 74  l { DROP INDEX t
2020: 33 5f 69 32 20 7d 0a 7d 20 7b 7d 0a 0a 23 20 54  3_i2 }.} {}..# T
2030: 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 74 77 6f  he following two
2040: 20 74 65 73 74 20 63 61 73 65 73 20 76 65 72 69   test cases veri
2050: 66 79 20 74 68 61 74 20 74 69 63 6b 65 74 20 23  fy that ticket #
2060: 32 39 39 31 20 68 61 73 20 62 65 65 6e 20 66 69  2991 has been fi
2070: 78 65 64 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 69  xed..#.do_test i
2080: 6e 33 2d 35 2e 31 20 7b 0a 20 20 65 78 65 63 73  n3-5.1 {.  execs
2090: 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20  ql {.    CREATE 
20a0: 54 41 42 4c 45 20 46 6f 6c 64 65 72 73 28 0a 20  TABLE Folders(. 
20b0: 20 20 20 20 20 66 6f 6c 64 65 72 69 64 20 49 4e       folderid IN
20c0: 54 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b 45  TEGER PRIMARY KE
20d0: 59 2c 20 0a 20 20 20 20 20 20 70 61 72 65 6e 74  Y, .      parent
20e0: 69 64 20 49 4e 54 45 47 45 52 2c 20 0a 20 20 20  id INTEGER, .   
20f0: 20 20 20 72 6f 6f 74 69 64 20 49 4e 54 45 47 45     rootid INTEGE
2100: 52 2c 20 0a 20 20 20 20 20 20 70 61 74 68 20 56  R, .      path V
2110: 41 52 43 48 41 52 28 32 35 35 29 0a 20 20 20 20  ARCHAR(255).    
2120: 29 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74  );.  }.} {}.do_t
2130: 65 73 74 20 69 6e 33 2d 35 2e 32 20 7b 0a 20 20  est in3-5.2 {.  
2140: 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 44  catchsql {.    D
2150: 45 4c 45 54 45 20 46 52 4f 4d 20 46 6f 6c 64 65  ELETE FROM Folde
2160: 72 73 20 57 48 45 52 45 20 66 6f 6c 64 65 72 69  rs WHERE folderi
2170: 64 20 49 4e 0a 20 20 20 20 28 53 45 4c 45 43 54  d IN.    (SELECT
2180: 20 66 6f 6c 64 65 72 69 64 20 46 52 4f 4d 20 46   folderid FROM F
2190: 6f 6c 64 65 72 20 57 48 45 52 45 20 70 61 74 68  older WHERE path
21a0: 20 4c 49 4b 45 20 27 43 3a 5c 4d 50 33 5c 41 6c   LIKE 'C:\MP3\Al
21b0: 62 75 6d 73 5c 27 20 7c 7c 20 27 25 27 29 3b 0a  bums\' || '%');.
21c0: 20 20 7d 0a 7d 20 7b 31 20 7b 6e 6f 20 73 75 63    }.} {1 {no suc
21d0: 68 20 74 61 62 6c 65 3a 20 46 6f 6c 64 65 72 7d  h table: Folder}
21e0: 7d 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a     }..finish_test.