/ Hex Artifact Content
Login

Artifact ec1b3a9f478835954a0ecab1facd9198c62459bf:


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 31 20 32 30 30 37 2f 31 31 2f 32 39  v 1.1 2007/11/29
0220: 20 31 37 3a 30 35 3a 31 38 20 64 61 6e 69 65 6c   17:05:18 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 23 20 52 65 74  ester.tcl..# Ret
0280: 75 72 6e 20 74 68 65 20 6e 75 6d 62 65 72 20 6f  urn the number o
0290: 66 20 4f 70 65 6e 45 70 68 65 6d 65 72 61 6c 20  f OpenEphemeral 
02a0: 69 6e 73 74 72 75 63 74 69 6f 6e 73 20 75 73 65  instructions use
02b0: 64 20 69 6e 20 74 68 65 0a 23 20 69 6d 70 6c 65  d in the.# imple
02c0: 6d 65 6e 74 61 74 69 6f 6e 20 6f 66 20 74 68 65  mentation of the
02d0: 20 73 71 6c 20 73 74 61 74 65 6d 65 6e 74 20 70   sql statement p
02e0: 61 73 73 65 64 20 61 73 20 61 20 61 6e 20 61 72  assed as a an ar
02f0: 67 75 6d 65 6e 74 2e 0a 23 0a 70 72 6f 63 20 6e  gument..#.proc n
0300: 45 70 68 65 6d 65 72 61 6c 20 7b 73 71 6c 7d 20  Ephemeral {sql} 
0310: 7b 0a 20 20 73 65 74 20 6e 45 70 68 20 30 0a 20  {.  set nEph 0. 
0320: 20 66 6f 72 65 61 63 68 20 6f 70 20 5b 65 78 65   foreach op [exe
0330: 63 73 71 6c 20 22 45 58 50 4c 41 49 4e 20 24 73  csql "EXPLAIN $s
0340: 71 6c 22 5d 20 7b 0a 20 20 20 20 69 66 20 7b 24  ql"] {.    if {$
0350: 6f 70 20 65 71 20 22 4f 70 65 6e 45 70 68 65 6d  op eq "OpenEphem
0360: 65 72 61 6c 22 7d 20 7b 69 6e 63 72 20 6e 45 70  eral"} {incr nEp
0370: 68 7d 0a 20 20 7d 0a 20 20 73 65 74 20 6e 45 70  h}.  }.  set nEp
0380: 68 0a 7d 0a 0a 23 20 54 68 69 73 20 70 72 6f 63  h.}..# This proc
0390: 20 77 6f 72 6b 73 20 74 68 65 20 73 61 6d 65 20   works the same 
03a0: 77 61 79 20 61 73 20 65 78 65 63 73 71 6c 2c 20  way as execsql, 
03b0: 65 78 63 65 70 74 20 74 68 61 74 20 74 68 65 20  except that the 
03c0: 6e 75 6d 62 65 72 0a 23 20 6f 66 20 4f 70 65 6e  number.# of Open
03d0: 45 70 68 65 6d 65 72 61 6c 20 69 6e 73 74 72 75  Ephemeral instru
03e0: 63 74 69 6f 6e 73 20 75 73 65 64 20 69 6e 20 74  ctions used in t
03f0: 68 65 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f  he implementatio
0400: 6e 20 6f 66 20 74 68 65 0a 23 20 73 74 61 74 65  n of the.# state
0410: 6d 65 6e 74 20 69 73 20 69 6e 73 65 72 74 65 64  ment is inserted
0420: 20 69 6e 74 6f 20 74 68 65 20 73 74 61 72 74 20   into the start 
0430: 6f 66 20 74 68 65 20 72 65 74 75 72 6e 65 64 20  of the returned 
0440: 6c 69 73 74 2e 0a 23 0a 70 72 6f 63 20 65 78 65  list..#.proc exe
0450: 63 5f 6e 65 70 68 20 7b 73 71 6c 7d 20 7b 0a 20  c_neph {sql} {. 
0460: 20 72 65 74 75 72 6e 20 5b 63 6f 6e 63 61 74 20   return [concat 
0470: 5b 6e 45 70 68 65 6d 65 72 61 6c 20 24 73 71 6c  [nEphemeral $sql
0480: 5d 20 5b 65 78 65 63 73 71 6c 20 24 73 71 6c 5d  ] [execsql $sql]
0490: 5d 0a 7d 0a 0a 64 6f 5f 74 65 73 74 20 69 6e 33  ].}..do_test in3
04a0: 2d 31 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c  -1.1 {.  execsql
04b0: 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41   {.    CREATE TA
04c0: 42 4c 45 20 74 31 28 61 20 50 52 49 4d 41 52 59  BLE t1(a PRIMARY
04d0: 20 4b 45 59 2c 20 62 29 3b 0a 20 20 20 20 49 4e   KEY, b);.    IN
04e0: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c  SERT INTO t1 VAL
04f0: 55 45 53 28 31 2c 20 32 29 3b 0a 20 20 20 20 49  UES(1, 2);.    I
0500: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41  NSERT INTO t1 VA
0510: 4c 55 45 53 28 33 2c 20 34 29 3b 0a 20 20 20 20  LUES(3, 4);.    
0520: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
0530: 41 4c 55 45 53 28 35 2c 20 36 29 3b 0a 20 20 7d  ALUES(5, 6);.  }
0540: 0a 7d 20 7b 7d 0a 0a 23 20 41 6c 6c 20 6f 66 20  .} {}..# All of 
0550: 74 68 65 73 65 20 71 75 65 72 69 65 73 20 73 68  these queries sh
0560: 6f 75 6c 64 20 61 76 6f 69 64 20 75 73 69 6e 67  ould avoid using
0570: 20 61 20 74 65 6d 70 2d 74 61 62 6c 65 3a 0a 23   a temp-table:.#
0580: 0a 64 6f 5f 74 65 73 74 20 69 6e 33 2d 31 2e 32  .do_test in3-1.2
0590: 20 7b 0a 20 20 65 78 65 63 5f 6e 65 70 68 20 7b   {.  exec_neph {
05a0: 20 53 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52   SELECT rowid FR
05b0: 4f 4d 20 74 31 20 57 48 45 52 45 20 72 6f 77 69  OM t1 WHERE rowi
05c0: 64 20 49 4e 20 28 53 45 4c 45 43 54 20 72 6f 77  d IN (SELECT row
05d0: 69 64 20 46 52 4f 4d 20 74 31 29 3b 20 7d 0a 7d  id FROM t1); }.}
05e0: 20 7b 30 20 31 20 32 20 33 7d 0a 64 6f 5f 74 65   {0 1 2 3}.do_te
05f0: 73 74 20 69 6e 33 2d 31 2e 33 20 7b 0a 20 20 65  st in3-1.3 {.  e
0600: 78 65 63 5f 6e 65 70 68 20 7b 20 53 45 4c 45 43  xec_neph { SELEC
0610: 54 20 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52  T a FROM t1 WHER
0620: 45 20 61 20 49 4e 20 28 53 45 4c 45 43 54 20 61  E a IN (SELECT a
0630: 20 46 52 4f 4d 20 74 31 29 3b 20 7d 0a 7d 20 7b   FROM t1); }.} {
0640: 30 20 31 20 33 20 35 7d 0a 64 6f 5f 74 65 73 74  0 1 3 5}.do_test
0650: 20 69 6e 33 2d 31 2e 34 20 7b 0a 20 20 65 78 65   in3-1.4 {.  exe
0660: 63 5f 6e 65 70 68 20 7b 20 53 45 4c 45 43 54 20  c_neph { SELECT 
0670: 72 6f 77 69 64 20 46 52 4f 4d 20 74 31 20 57 48  rowid FROM t1 WH
0680: 45 52 45 20 72 6f 77 69 64 2b 30 20 49 4e 20 28  ERE rowid+0 IN (
0690: 53 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52 4f  SELECT rowid FRO
06a0: 4d 20 74 31 29 3b 20 7d 0a 7d 20 7b 30 20 31 20  M t1); }.} {0 1 
06b0: 32 20 33 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 33  2 3}.do_test in3
06c0: 2d 31 2e 35 20 7b 0a 20 20 65 78 65 63 5f 6e 65  -1.5 {.  exec_ne
06d0: 70 68 20 7b 20 53 45 4c 45 43 54 20 61 20 46 52  ph { SELECT a FR
06e0: 4f 4d 20 74 31 20 57 48 45 52 45 20 61 2b 30 20  OM t1 WHERE a+0 
06f0: 49 4e 20 28 53 45 4c 45 43 54 20 61 20 46 52 4f  IN (SELECT a FRO
0700: 4d 20 74 31 29 3b 20 7d 0a 7d 20 7b 30 20 31 20  M t1); }.} {0 1 
0710: 33 20 35 7d 0a 0a 23 20 42 65 63 61 75 73 65 20  3 5}..# Because 
0720: 6e 6f 6e 65 20 6f 66 20 74 68 65 20 73 75 62 2d  none of the sub-
0730: 73 65 6c 65 63 74 20 71 75 65 72 69 65 73 20 69  select queries i
0740: 6e 20 74 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20  n the following 
0750: 73 74 61 74 65 6d 65 6e 74 73 0a 23 20 6d 61 74  statements.# mat
0760: 63 68 20 74 68 65 20 70 61 74 74 65 72 6e 20 28  ch the pattern (
0770: 22 53 45 4c 45 43 54 20 3c 63 6f 6c 75 6d 6e 3e  "SELECT <column>
0780: 20 46 52 4f 4d 20 3c 74 61 62 6c 65 3e 22 29 2c   FROM <table>"),
0790: 20 74 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 64   the following d
07a0: 6f 20 0a 23 20 72 65 71 75 69 72 65 20 61 20 74  o .# require a t
07b0: 65 6d 70 20 74 61 62 6c 65 2e 0a 23 0a 64 6f 5f  emp table..#.do_
07c0: 74 65 73 74 20 69 6e 33 2d 31 2e 36 20 7b 0a 20  test in3-1.6 {. 
07d0: 20 65 78 65 63 5f 6e 65 70 68 20 7b 20 53 45 4c   exec_neph { SEL
07e0: 45 43 54 20 72 6f 77 69 64 20 46 52 4f 4d 20 74  ECT rowid FROM t
07f0: 31 20 57 48 45 52 45 20 72 6f 77 69 64 20 49 4e  1 WHERE rowid IN
0800: 20 28 53 45 4c 45 43 54 20 72 6f 77 69 64 2b 30   (SELECT rowid+0
0810: 20 46 52 4f 4d 20 74 31 29 3b 20 7d 0a 7d 20 7b   FROM t1); }.} {
0820: 31 20 31 20 32 20 33 7d 0a 64 6f 5f 74 65 73 74  1 1 2 3}.do_test
0830: 20 69 6e 33 2d 31 2e 37 20 7b 0a 20 20 65 78 65   in3-1.7 {.  exe
0840: 63 5f 6e 65 70 68 20 7b 20 53 45 4c 45 43 54 20  c_neph { SELECT 
0850: 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  a FROM t1 WHERE 
0860: 61 20 49 4e 20 28 53 45 4c 45 43 54 20 61 2b 30  a IN (SELECT a+0
0870: 20 46 52 4f 4d 20 74 31 29 3b 20 7d 0a 7d 20 7b   FROM t1); }.} {
0880: 31 20 31 20 33 20 35 7d 0a 64 6f 5f 74 65 73 74  1 1 3 5}.do_test
0890: 20 69 6e 33 2d 31 2e 38 20 7b 0a 20 20 65 78 65   in3-1.8 {.  exe
08a0: 63 5f 6e 65 70 68 20 7b 20 53 45 4c 45 43 54 20  c_neph { SELECT 
08b0: 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  a FROM t1 WHERE 
08c0: 61 20 49 4e 20 28 53 45 4c 45 43 54 20 61 20 46  a IN (SELECT a F
08d0: 52 4f 4d 20 74 31 20 57 48 45 52 45 20 31 29 3b  ROM t1 WHERE 1);
08e0: 20 7d 0a 7d 20 7b 31 20 31 20 33 20 35 7d 0a 64   }.} {1 1 3 5}.d
08f0: 6f 5f 74 65 73 74 20 69 6e 33 2d 31 2e 39 20 7b  o_test in3-1.9 {
0900: 0a 20 20 65 78 65 63 5f 6e 65 70 68 20 7b 20 53  .  exec_neph { S
0910: 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31 20  ELECT a FROM t1 
0920: 57 48 45 52 45 20 61 20 49 4e 20 28 53 45 4c 45  WHERE a IN (SELE
0930: 43 54 20 61 20 46 52 4f 4d 20 74 31 20 47 52 4f  CT a FROM t1 GRO
0940: 55 50 20 42 59 20 61 29 3b 20 7d 0a 7d 20 7b 31  UP BY a); }.} {1
0950: 20 31 20 33 20 35 7d 0a 0a 23 20 54 68 69 73 20   1 3 5}..# This 
0960: 73 68 6f 75 6c 64 20 6e 6f 74 20 75 73 65 20 61  should not use a
0970: 20 74 65 6d 70 2d 74 61 62 6c 65 2e 20 45 76 65   temp-table. Eve
0980: 6e 20 74 68 6f 75 67 68 20 74 68 65 20 73 75 62  n though the sub
0990: 2d 73 65 6c 65 63 74 20 64 6f 65 73 0a 23 20 6e  -select does.# n
09a0: 6f 74 20 65 78 61 63 74 6c 79 20 6d 61 74 63 68  ot exactly match
09b0: 20 74 68 65 20 70 61 74 74 65 72 6e 20 22 53 45   the pattern "SE
09c0: 4c 45 43 54 20 3c 63 6f 6c 75 6d 6e 3e 20 46 52  LECT <column> FR
09d0: 4f 4d 20 3c 74 61 62 6c 65 3e 22 2c 20 69 6e 0a  OM <table>", in.
09e0: 23 20 74 68 69 73 20 63 61 73 65 20 74 68 65 20  # this case the 
09f0: 4f 52 44 45 52 20 42 59 20 69 73 20 61 20 6e 6f  ORDER BY is a no
0a00: 2d 6f 70 20 61 6e 64 20 63 61 6e 20 62 65 20 69  -op and can be i
0a10: 67 6e 6f 72 65 64 2e 0a 64 6f 5f 74 65 73 74 20  gnored..do_test 
0a20: 69 6e 33 2d 31 2e 31 30 20 7b 0a 20 20 65 78 65  in3-1.10 {.  exe
0a30: 63 5f 6e 65 70 68 20 7b 20 53 45 4c 45 43 54 20  c_neph { SELECT 
0a40: 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  a FROM t1 WHERE 
0a50: 61 20 49 4e 20 28 53 45 4c 45 43 54 20 61 20 46  a IN (SELECT a F
0a60: 52 4f 4d 20 74 31 20 4f 52 44 45 52 20 42 59 20  ROM t1 ORDER BY 
0a70: 61 29 3b 20 7d 0a 7d 20 7b 30 20 31 20 33 20 35  a); }.} {0 1 3 5
0a80: 7d 0a 0a 23 20 54 68 65 73 65 20 64 6f 20 75 73  }..# These do us
0a90: 65 20 74 68 65 20 74 65 6d 70 2d 74 61 62 6c 65  e the temp-table
0aa0: 2e 20 41 64 64 69 6e 67 20 74 68 65 20 4c 49 4d  . Adding the LIM
0ab0: 49 54 20 63 6c 61 75 73 65 20 6d 65 61 6e 73 20  IT clause means 
0ac0: 74 68 65 20 0a 23 20 4f 52 44 45 52 20 42 59 20  the .# ORDER BY 
0ad0: 63 61 6e 6e 6f 74 20 62 65 20 69 67 6e 6f 72 65  cannot be ignore
0ae0: 64 2e 0a 64 6f 5f 74 65 73 74 20 69 6e 33 2d 31  d..do_test in3-1
0af0: 2e 31 31 20 7b 0a 20 20 65 78 65 63 5f 6e 65 70  .11 {.  exec_nep
0b00: 68 20 7b 53 45 4c 45 43 54 20 61 20 46 52 4f 4d  h {SELECT a FROM
0b10: 20 74 31 20 57 48 45 52 45 20 61 20 49 4e 20 28   t1 WHERE a IN (
0b20: 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31  SELECT a FROM t1
0b30: 20 4f 52 44 45 52 20 42 59 20 61 20 4c 49 4d 49   ORDER BY a LIMI
0b40: 54 20 31 29 7d 0a 7d 20 7b 31 20 31 7d 0a 64 6f  T 1)}.} {1 1}.do
0b50: 5f 74 65 73 74 20 69 6e 33 2d 31 2e 31 32 20 7b  _test in3-1.12 {
0b60: 0a 20 20 65 78 65 63 5f 6e 65 70 68 20 7b 0a 20  .  exec_neph {. 
0b70: 20 20 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d     SELECT a FROM
0b80: 20 74 31 20 57 48 45 52 45 20 61 20 49 4e 20 28   t1 WHERE a IN (
0b90: 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31  SELECT a FROM t1
0ba0: 20 4f 52 44 45 52 20 42 59 20 61 20 4c 49 4d 49   ORDER BY a LIMI
0bb0: 54 20 31 20 4f 46 46 53 45 54 20 31 29 0a 20 20  T 1 OFFSET 1).  
0bc0: 7d 0a 7d 20 7b 31 20 33 7d 0a 0a 23 20 48 61 73  }.} {1 3}..# Has
0bd0: 20 74 6f 20 75 73 65 20 61 20 74 65 6d 70 2d 74   to use a temp-t
0be0: 61 62 6c 65 20 62 65 63 61 75 73 65 20 6f 66 20  able because of 
0bf0: 74 68 65 20 63 6f 6d 70 6f 75 6e 64 20 73 75 62  the compound sub
0c00: 2d 73 65 6c 65 63 74 2e 0a 23 0a 64 6f 5f 74 65  -select..#.do_te
0c10: 73 74 20 69 6e 33 2d 31 2e 31 33 20 7b 0a 20 20  st in3-1.13 {.  
0c20: 65 78 65 63 5f 6e 65 70 68 20 7b 0a 20 20 20 20  exec_neph {.    
0c30: 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31  SELECT a FROM t1
0c40: 20 57 48 45 52 45 20 61 20 49 4e 20 28 0a 20 20   WHERE a IN (.  
0c50: 20 20 20 20 53 45 4c 45 43 54 20 61 20 46 52 4f      SELECT a FRO
0c60: 4d 20 74 31 20 55 4e 49 4f 4e 20 41 4c 4c 20 53  M t1 UNION ALL S
0c70: 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31 0a  ELECT a FROM t1.
0c80: 20 20 20 20 29 0a 20 20 7d 0a 7d 20 7b 31 20 31      ).  }.} {1 1
0c90: 20 33 20 35 7d 0a 0a 23 20 54 68 65 20 66 69 72   3 5}..# The fir
0ca0: 73 74 20 6f 66 20 74 68 65 73 65 20 71 75 65 72  st of these quer
0cb0: 69 65 73 20 68 61 73 20 74 6f 20 75 73 65 20 74  ies has to use t
0cc0: 68 65 20 74 65 6d 70 2d 74 61 62 6c 65 2c 20 62  he temp-table, b
0cd0: 65 63 61 75 73 65 20 74 68 65 20 0a 23 20 63 6f  ecause the .# co
0ce0: 6c 6c 61 74 69 6f 6e 20 73 65 71 75 65 6e 63 65  llation sequence
0cf0: 20 75 73 65 64 20 66 6f 72 20 74 68 65 20 69 6e   used for the in
0d00: 64 65 78 20 6f 6e 20 22 74 31 2e 61 22 20 64 6f  dex on "t1.a" do
0d10: 65 73 20 6e 6f 74 20 6d 61 74 63 68 20 74 68 65  es not match the
0d20: 0a 23 20 63 6f 6c 6c 61 74 69 6f 6e 20 73 65 71  .# collation seq
0d30: 75 65 6e 63 65 20 75 73 65 64 20 62 79 20 74 68  uence used by th
0d40: 65 20 22 49 4e 22 20 63 6f 6d 70 61 72 69 73 6f  e "IN" compariso
0d50: 6e 2e 20 54 68 65 20 73 65 63 6f 6e 64 20 64 6f  n. The second do
0d60: 65 73 20 6e 6f 74 0a 23 20 72 65 71 75 69 72 65  es not.# require
0d70: 20 61 20 74 65 6d 70 2d 74 61 62 6c 65 2c 20 62   a temp-table, b
0d80: 65 63 61 75 73 65 20 74 68 65 20 63 6f 6c 6c 61  ecause the colla
0d90: 74 69 6f 6e 20 73 65 71 75 65 6e 63 65 73 20 6d  tion sequences m
0da0: 61 74 63 68 2e 0a 23 0a 64 6f 5f 74 65 73 74 20  atch..#.do_test 
0db0: 69 6e 33 2d 31 2e 31 34 20 7b 0a 20 20 65 78 65  in3-1.14 {.  exe
0dc0: 63 5f 6e 65 70 68 20 7b 20 53 45 4c 45 43 54 20  c_neph { SELECT 
0dd0: 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  a FROM t1 WHERE 
0de0: 61 20 43 4f 4c 4c 41 54 45 20 6e 6f 63 61 73 65  a COLLATE nocase
0df0: 20 49 4e 20 28 53 45 4c 45 43 54 20 61 20 46 52   IN (SELECT a FR
0e00: 4f 4d 20 74 31 29 20 7d 0a 7d 20 7b 31 20 31 20  OM t1) }.} {1 1 
0e10: 33 20 35 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 33  3 5}.do_test in3
0e20: 2d 31 2e 31 35 20 7b 0a 20 20 65 78 65 63 5f 6e  -1.15 {.  exec_n
0e30: 65 70 68 20 7b 20 53 45 4c 45 43 54 20 61 20 46  eph { SELECT a F
0e40: 52 4f 4d 20 74 31 20 57 48 45 52 45 20 61 20 43  ROM t1 WHERE a C
0e50: 4f 4c 4c 41 54 45 20 62 69 6e 61 72 79 20 49 4e  OLLATE binary IN
0e60: 20 28 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20   (SELECT a FROM 
0e70: 74 31 29 20 7d 0a 7d 20 7b 30 20 31 20 33 20 35  t1) }.} {0 1 3 5
0e80: 7d 0a 0a 23 20 4e 65 69 74 68 65 72 20 6f 66 20  }..# Neither of 
0e90: 74 68 65 73 65 20 71 75 65 72 69 65 73 20 72 65  these queries re
0ea0: 71 75 69 72 65 20 61 20 74 65 6d 70 2d 74 61 62  quire a temp-tab
0eb0: 6c 65 2e 20 54 68 65 20 63 6f 6c 6c 61 74 69 6f  le. The collatio
0ec0: 6e 20 73 65 71 75 65 6e 63 65 0a 23 20 6d 61 6b  n sequence.# mak
0ed0: 65 73 20 6e 6f 20 64 69 66 66 65 72 65 6e 63 65  es no difference
0ee0: 20 77 68 65 6e 20 75 73 69 6e 67 20 61 20 72 6f   when using a ro
0ef0: 77 69 64 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 69  wid..#.do_test i
0f00: 6e 33 2d 31 2e 31 36 20 7b 0a 20 20 65 78 65 63  n3-1.16 {.  exec
0f10: 5f 6e 65 70 68 20 7b 53 45 4c 45 43 54 20 61 20  _neph {SELECT a 
0f20: 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 61 20  FROM t1 WHERE a 
0f30: 43 4f 4c 4c 41 54 45 20 6e 6f 63 61 73 65 20 49  COLLATE nocase I
0f40: 4e 20 28 53 45 4c 45 43 54 20 72 6f 77 69 64 20  N (SELECT rowid 
0f50: 46 52 4f 4d 20 74 31 29 7d 0a 7d 20 7b 30 20 31  FROM t1)}.} {0 1
0f60: 20 33 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 33 2d   3}.do_test in3-
0f70: 31 2e 31 37 20 7b 0a 20 20 65 78 65 63 5f 6e 65  1.17 {.  exec_ne
0f80: 70 68 20 7b 53 45 4c 45 43 54 20 61 20 46 52 4f  ph {SELECT a FRO
0f90: 4d 20 74 31 20 57 48 45 52 45 20 61 20 43 4f 4c  M t1 WHERE a COL
0fa0: 4c 41 54 45 20 62 69 6e 61 72 79 20 49 4e 20 28  LATE binary IN (
0fb0: 53 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52 4f  SELECT rowid FRO
0fc0: 4d 20 74 31 29 7d 0a 7d 20 7b 30 20 31 20 33 7d  M t1)}.} {0 1 3}
0fd0: 0a 0a 23 20 54 68 65 20 66 6f 6c 6c 6f 77 69 6e  ..# The followin
0fe0: 67 20 74 65 73 74 73 20 2d 20 69 6e 33 2e 32 2e  g tests - in3.2.
0ff0: 2a 20 2d 20 74 65 73 74 20 61 20 62 75 67 20 74  * - test a bug t
1000: 68 61 74 20 77 61 73 20 64 69 66 66 69 63 75 6c  hat was difficul
1010: 74 20 74 6f 20 74 72 61 63 6b 0a 23 20 64 6f 77  t to track.# dow
1020: 6e 20 64 75 72 69 6e 67 20 64 65 76 65 6c 6f 70  n during develop
1030: 6d 65 6e 74 2e 20 54 68 65 79 20 61 72 65 20 6e  ment. They are n
1040: 6f 74 20 70 61 72 74 69 63 75 6c 61 72 6c 79 20  ot particularly 
1050: 77 65 6c 6c 20 66 6f 63 75 73 65 64 2e 0a 23 0a  well focused..#.
1060: 64 6f 5f 74 65 73 74 20 69 6e 33 2d 32 2e 31 20  do_test in3-2.1 
1070: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  {.  execsql {.  
1080: 20 20 44 52 4f 50 20 54 41 42 4c 45 20 49 46 20    DROP TABLE IF 
1090: 45 58 49 53 54 53 20 74 31 3b 0a 20 20 20 20 43  EXISTS t1;.    C
10a0: 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 77  REATE TABLE t1(w
10b0: 20 69 6e 74 2c 20 78 20 69 6e 74 2c 20 79 20 69   int, x int, y i
10c0: 6e 74 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20  nt);.    CREATE 
10d0: 54 41 42 4c 45 20 74 32 28 70 20 69 6e 74 2c 20  TABLE t2(p int, 
10e0: 71 20 69 6e 74 2c 20 72 20 69 6e 74 2c 20 73 20  q int, r int, s 
10f0: 69 6e 74 29 3b 0a 20 20 7d 0a 20 20 66 6f 72 20  int);.  }.  for 
1100: 7b 73 65 74 20 69 20 31 7d 20 7b 24 69 3c 3d 31  {set i 1} {$i<=1
1110: 30 30 7d 20 7b 69 6e 63 72 20 69 7d 20 7b 0a 20  00} {incr i} {. 
1120: 20 20 20 73 65 74 20 77 20 24 69 0a 20 20 20 20     set w $i.    
1130: 73 65 74 20 78 20 5b 65 78 70 72 20 7b 69 6e 74  set x [expr {int
1140: 28 6c 6f 67 28 24 69 29 2f 6c 6f 67 28 32 29 29  (log($i)/log(2))
1150: 7d 5d 0a 20 20 20 20 73 65 74 20 79 20 5b 65 78  }].    set y [ex
1160: 70 72 20 7b 24 69 2a 24 69 20 2b 20 32 2a 24 69  pr {$i*$i + 2*$i
1170: 20 2b 20 31 7d 5d 0a 20 20 20 20 65 78 65 63 73   + 1}].    execs
1180: 71 6c 20 22 49 4e 53 45 52 54 20 49 4e 54 4f 20  ql "INSERT INTO 
1190: 74 31 20 56 41 4c 55 45 53 28 24 77 2c 24 78 2c  t1 VALUES($w,$x,
11a0: 24 79 29 22 0a 20 20 7d 0a 20 20 73 65 74 20 6d  $y)".  }.  set m
11b0: 61 78 79 20 5b 65 78 65 63 73 71 6c 20 7b 73 65  axy [execsql {se
11c0: 6c 65 63 74 20 6d 61 78 28 79 29 20 66 72 6f 6d  lect max(y) from
11d0: 20 74 31 7d 5d 0a 20 20 64 62 20 65 76 61 6c 20   t1}].  db eval 
11e0: 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32  { INSERT INTO t2
11f0: 20 53 45 4c 45 43 54 20 31 30 31 2d 77 2c 20 78   SELECT 101-w, x
1200: 2c 20 24 6d 61 78 79 2b 31 2d 79 2c 20 79 20 46  , $maxy+1-y, y F
1210: 52 4f 4d 20 74 31 20 7d 0a 7d 20 7b 7d 0a 64 6f  ROM t1 }.} {}.do
1220: 5f 74 65 73 74 20 69 6e 33 2d 32 2e 32 20 7b 0a  _test in3-2.2 {.
1230: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
1240: 53 45 4c 45 43 54 20 72 6f 77 69 64 20 0a 20 20  SELECT rowid .  
1250: 20 20 46 52 4f 4d 20 74 31 20 0a 20 20 20 20 57    FROM t1 .    W
1260: 48 45 52 45 20 72 6f 77 69 64 20 49 4e 20 28 53  HERE rowid IN (S
1270: 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52 4f 4d  ELECT rowid FROM
1280: 20 74 31 20 57 48 45 52 45 20 72 6f 77 69 64 20   t1 WHERE rowid 
1290: 49 4e 20 28 31 2c 20 32 29 29 3b 0a 20 20 7d 0a  IN (1, 2));.  }.
12a0: 7d 20 7b 31 20 32 7d 0a 64 6f 5f 74 65 73 74 20  } {1 2}.do_test 
12b0: 69 6e 33 2d 32 2e 33 20 7b 0a 20 20 65 78 65 63  in3-2.3 {.  exec
12c0: 73 71 6c 20 7b 0a 20 20 20 20 73 65 6c 65 63 74  sql {.    select
12d0: 20 72 6f 77 69 64 20 66 72 6f 6d 20 74 31 20 77   rowid from t1 w
12e0: 68 65 72 65 20 72 6f 77 69 64 20 49 4e 20 28 2d  here rowid IN (-
12f0: 31 2c 32 2c 34 29 0a 20 20 7d 0a 7d 20 7b 32 20  1,2,4).  }.} {2 
1300: 34 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 33 2d 32  4}.do_test in3-2
1310: 2e 34 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .4 {.  execsql {
1320: 0a 20 20 20 20 53 45 4c 45 43 54 20 72 6f 77 69  .    SELECT rowi
1330: 64 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  d FROM t1 WHERE 
1340: 72 6f 77 69 64 20 49 4e 20 0a 20 20 20 20 20 20  rowid IN .      
1350: 20 28 73 65 6c 65 63 74 20 72 6f 77 69 64 20 66   (select rowid f
1360: 72 6f 6d 20 74 31 20 77 68 65 72 65 20 72 6f 77  rom t1 where row
1370: 69 64 20 49 4e 20 28 2d 31 2c 32 2c 34 29 29 0a  id IN (-1,2,4)).
1380: 20 20 7d 0a 7d 20 7b 32 20 34 7d 0a 0a 23 2d 2d    }.} {2 4}..#--
1390: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
13a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
13b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
13c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
13d0: 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 68 69 73 20 6e  -------.# This n
13e0: 65 78 74 20 62 6c 6f 63 6b 20 6f 66 20 74 65 73  ext block of tes
13f0: 74 73 20 2d 20 69 6e 33 2d 33 2e 2a 20 2d 20 76  ts - in3-3.* - v
1400: 65 72 69 66 79 20 74 68 61 74 20 63 6f 6c 75 6d  erify that colum
1410: 6e 20 61 66 66 69 6e 69 74 79 20 69 73 0a 23 20  n affinity is.# 
1420: 63 6f 72 72 65 63 74 6c 79 20 68 61 6e 64 6c 65  correctly handle
1430: 64 20 69 6e 20 63 61 73 65 73 20 77 68 65 72 65  d in cases where
1440: 20 61 6e 20 69 6e 64 65 78 20 6d 69 67 68 74 20   an index might 
1450: 62 65 20 75 73 65 64 20 74 6f 20 6f 70 74 69 6d  be used to optim
1460: 69 73 65 0a 23 20 61 6e 20 49 4e 20 28 53 45 4c  ise.# an IN (SEL
1470: 45 43 54 29 20 65 78 70 72 65 73 73 69 6f 6e 2e  ECT) expression.
1480: 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6e 33 2d 33  .#.do_test in3-3
1490: 2e 31 20 7b 0a 20 20 63 61 74 63 68 20 7b 65 78  .1 {.  catch {ex
14a0: 65 63 73 71 6c 20 7b 0a 20 20 20 20 44 52 4f 50  ecsql {.    DROP
14b0: 20 54 41 42 4c 45 20 74 31 3b 0a 20 20 20 20 44   TABLE t1;.    D
14c0: 52 4f 50 20 54 41 42 4c 45 20 74 32 3b 0a 20 20  ROP TABLE t2;.  
14d0: 7d 7d 0a 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  }}..  execsql {.
14e0: 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c  .    CREATE TABL
14f0: 45 20 74 31 28 61 20 42 4c 4f 42 2c 20 62 20 4e  E t1(a BLOB, b N
1500: 55 4d 42 45 52 20 2c 63 20 54 45 58 54 29 3b 0a  UMBER ,c TEXT);.
1510: 20 20 20 20 43 52 45 41 54 45 20 55 4e 49 51 55      CREATE UNIQU
1520: 45 20 49 4e 44 45 58 20 74 31 5f 69 31 20 4f 4e  E INDEX t1_i1 ON
1530: 20 74 31 28 61 29 3b 20 20 20 20 20 20 20 20 2f   t1(a);        /
1540: 2a 20 6e 6f 20 61 66 66 69 6e 69 74 79 20 2a 2f  * no affinity */
1550: 0a 20 20 20 20 43 52 45 41 54 45 20 55 4e 49 51  .    CREATE UNIQ
1560: 55 45 20 49 4e 44 45 58 20 74 31 5f 69 32 20 4f  UE INDEX t1_i2 O
1570: 4e 20 74 31 28 62 29 3b 20 20 20 20 20 20 20 20  N t1(b);        
1580: 2f 2a 20 6e 75 6d 65 72 69 63 20 61 66 66 69 6e  /* numeric affin
1590: 69 74 79 20 2a 2f 0a 20 20 20 20 43 52 45 41 54  ity */.    CREAT
15a0: 45 20 55 4e 49 51 55 45 20 49 4e 44 45 58 20 74  E UNIQUE INDEX t
15b0: 31 5f 69 33 20 4f 4e 20 74 31 28 63 29 3b 20 20  1_i3 ON t1(c);  
15c0: 20 20 20 20 20 20 2f 2a 20 74 65 78 74 20 61 66        /* text af
15d0: 66 69 6e 69 74 79 20 2a 2f 0a 0a 20 20 20 20 43  finity */..    C
15e0: 52 45 41 54 45 20 54 41 42 4c 45 20 74 32 28 78  REATE TABLE t2(x
15f0: 20 42 4c 4f 42 2c 20 79 20 4e 55 4d 42 45 52 2c   BLOB, y NUMBER,
1600: 20 7a 20 54 45 58 54 29 3b 0a 20 20 20 20 43 52   z TEXT);.    CR
1610: 45 41 54 45 20 55 4e 49 51 55 45 20 49 4e 44 45  EATE UNIQUE INDE
1620: 58 20 74 32 5f 69 31 20 4f 4e 20 74 32 28 78 29  X t2_i1 ON t2(x)
1630: 3b 20 20 20 20 20 20 20 20 2f 2a 20 6e 6f 20 61  ;        /* no a
1640: 66 66 69 6e 69 74 79 20 2a 2f 0a 20 20 20 20 43  ffinity */.    C
1650: 52 45 41 54 45 20 55 4e 49 51 55 45 20 49 4e 44  REATE UNIQUE IND
1660: 45 58 20 74 32 5f 69 32 20 4f 4e 20 74 32 28 79  EX t2_i2 ON t2(y
1670: 29 3b 20 20 20 20 20 20 20 20 2f 2a 20 6e 75 6d  );        /* num
1680: 65 72 69 63 20 61 66 66 69 6e 69 74 79 20 2a 2f  eric affinity */
1690: 0a 20 20 20 20 43 52 45 41 54 45 20 55 4e 49 51  .    CREATE UNIQ
16a0: 55 45 20 49 4e 44 45 58 20 74 32 5f 69 33 20 4f  UE INDEX t2_i3 O
16b0: 4e 20 74 32 28 7a 29 3b 20 20 20 20 20 20 20 20  N t2(z);        
16c0: 2f 2a 20 74 65 78 74 20 61 66 66 69 6e 69 74 79  /* text affinity
16d0: 20 2a 2f 0a 0a 20 20 20 20 49 4e 53 45 52 54 20   */..    INSERT 
16e0: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 31  INTO t1 VALUES(1
16f0: 2c 20 31 2c 20 31 29 3b 0a 20 20 20 20 49 4e 53  , 1, 1);.    INS
1700: 45 52 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55  ERT INTO t2 VALU
1710: 45 53 28 27 31 27 2c 20 27 31 27 2c 20 27 31 27  ES('1', '1', '1'
1720: 29 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 0a 64 6f 5f  );.  }.} {}..do_
1730: 74 65 73 74 20 69 6e 33 2d 33 2e 32 20 7b 0a 20  test in3-3.2 {. 
1740: 20 23 20 4e 6f 20 61 66 66 69 6e 69 74 79 20 69   # No affinity i
1750: 73 20 61 70 70 6c 69 65 64 20 62 65 66 6f 72 65  s applied before
1760: 20 63 6f 6d 70 61 72 69 6e 67 20 22 78 22 20 61   comparing "x" a
1770: 6e 64 20 22 61 22 2e 20 54 68 65 72 65 66 6f 72  nd "a". Therefor
1780: 65 0a 20 20 23 20 74 68 65 20 69 6e 64 65 78 20  e.  # the index 
1790: 63 61 6e 20 62 65 20 75 73 65 64 20 28 74 68 65  can be used (the
17a0: 20 63 6f 6d 70 61 72 69 73 6f 6e 20 69 73 20 66   comparison is f
17b0: 61 6c 73 65 2c 20 74 65 78 74 21 3d 6e 75 6d 62  alse, text!=numb
17c0: 65 72 29 2e 0a 20 20 65 78 65 63 5f 6e 65 70 68  er)..  exec_neph
17d0: 20 7b 20 53 45 4c 45 43 54 20 78 20 49 4e 20 28   { SELECT x IN (
17e0: 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31  SELECT a FROM t1
17f0: 29 20 46 52 4f 4d 20 74 32 20 7d 0a 7d 20 7b 30  ) FROM t2 }.} {0
1800: 20 30 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 33 2d   0}.do_test in3-
1810: 33 2e 33 20 7b 0a 20 20 23 20 4c 6f 67 69 63 61  3.3 {.  # Logica
1820: 6c 6c 79 2c 20 6e 75 6d 65 72 69 63 20 61 66 66  lly, numeric aff
1830: 69 6e 69 74 79 20 69 73 20 61 70 70 6c 69 65 64  inity is applied
1840: 20 74 6f 20 62 6f 74 68 20 73 69 64 65 73 20 62   to both sides b
1850: 65 66 6f 72 65 20 0a 20 20 23 20 74 68 65 20 63  efore .  # the c
1860: 6f 6d 70 61 72 69 73 6f 6e 2e 20 20 54 68 65 72  omparison.  Ther
1870: 65 66 6f 72 65 20 69 74 20 69 73 20 70 6f 73 73  efore it is poss
1880: 69 62 6c 65 20 74 6f 20 75 73 65 20 69 6e 64 65  ible to use inde
1890: 78 20 74 31 5f 69 32 2e 0a 20 20 65 78 65 63 5f  x t1_i2..  exec_
18a0: 6e 65 70 68 20 7b 20 53 45 4c 45 43 54 20 78 20  neph { SELECT x 
18b0: 49 4e 20 28 53 45 4c 45 43 54 20 62 20 46 52 4f  IN (SELECT b FRO
18c0: 4d 20 74 31 29 20 46 52 4f 4d 20 74 32 20 7d 0a  M t1) FROM t2 }.
18d0: 7d 20 7b 30 20 31 7d 0a 64 6f 5f 74 65 73 74 20  } {0 1}.do_test 
18e0: 69 6e 33 2d 33 2e 34 20 7b 0a 20 20 23 20 4e 6f  in3-3.4 {.  # No
18f0: 20 61 66 66 69 6e 69 74 79 20 69 73 20 61 70 70   affinity is app
1900: 6c 69 65 64 20 62 65 66 6f 72 65 20 74 68 65 20  lied before the 
1910: 63 6f 6d 70 61 72 69 73 6f 6e 20 74 61 6b 65 73  comparison takes
1920: 20 70 6c 61 63 65 2e 20 4d 61 6b 69 6e 67 0a 20   place. Making. 
1930: 20 23 20 69 74 20 70 6f 73 73 69 62 6c 65 20 74   # it possible t
1940: 6f 20 75 73 65 20 69 6e 64 65 78 20 74 31 5f 69  o use index t1_i
1950: 33 2e 0a 20 20 65 78 65 63 5f 6e 65 70 68 20 7b  3..  exec_neph {
1960: 20 53 45 4c 45 43 54 20 78 20 49 4e 20 28 53 45   SELECT x IN (SE
1970: 4c 45 43 54 20 63 20 46 52 4f 4d 20 74 31 29 20  LECT c FROM t1) 
1980: 46 52 4f 4d 20 74 32 20 7d 0a 7d 20 7b 30 20 31  FROM t2 }.} {0 1
1990: 7d 0a 0a 64 6f 5f 74 65 73 74 20 69 6e 33 2d 33  }..do_test in3-3
19a0: 2e 35 20 7b 0a 20 20 23 20 4e 75 6d 65 72 69 63  .5 {.  # Numeric
19b0: 20 61 66 66 69 6e 69 74 79 20 73 68 6f 75 6c 64   affinity should
19c0: 20 62 65 20 61 70 70 6c 69 65 64 20 74 6f 20 65   be applied to e
19d0: 61 63 68 20 73 69 64 65 20 62 65 66 6f 72 65 20  ach side before 
19e0: 74 68 65 20 63 6f 6d 70 61 72 69 73 6f 6e 0a 20  the comparison. 
19f0: 20 23 20 74 61 6b 65 73 20 70 6c 61 63 65 2e 20   # takes place. 
1a00: 54 68 65 72 65 66 6f 72 65 20 77 65 20 63 61 6e  Therefore we can
1a10: 6e 6f 74 20 75 73 65 20 69 6e 64 65 78 20 74 31  not use index t1
1a20: 5f 69 31 2c 20 77 68 69 63 68 20 68 61 73 20 6e  _i1, which has n
1a30: 6f 20 61 66 66 69 6e 69 74 79 2e 0a 20 20 65 78  o affinity..  ex
1a40: 65 63 5f 6e 65 70 68 20 7b 20 53 45 4c 45 43 54  ec_neph { SELECT
1a50: 20 79 20 49 4e 20 28 53 45 4c 45 43 54 20 61 20   y IN (SELECT a 
1a60: 46 52 4f 4d 20 74 31 29 20 46 52 4f 4d 20 74 32  FROM t1) FROM t2
1a70: 20 7d 0a 7d 20 7b 31 20 31 7d 0a 64 6f 5f 74 65   }.} {1 1}.do_te
1a80: 73 74 20 69 6e 33 2d 33 2e 36 20 7b 0a 20 20 23  st in3-3.6 {.  #
1a90: 20 4e 75 6d 65 72 69 63 20 61 66 66 69 6e 69 74   Numeric affinit
1aa0: 79 20 69 73 20 61 70 70 6c 69 65 64 20 74 6f 20  y is applied to 
1ab0: 62 6f 74 68 20 73 69 64 65 73 20 62 65 66 6f 72  both sides befor
1ac0: 65 20 0a 20 20 23 20 74 68 65 20 63 6f 6d 70 61  e .  # the compa
1ad0: 72 69 73 6f 6e 2e 20 20 54 68 65 72 65 66 6f 72  rison.  Therefor
1ae0: 65 20 69 74 20 69 73 20 70 6f 73 73 69 62 6c 65  e it is possible
1af0: 20 74 6f 20 75 73 65 20 69 6e 64 65 78 20 74 31   to use index t1
1b00: 5f 69 32 2e 0a 20 20 65 78 65 63 5f 6e 65 70 68  _i2..  exec_neph
1b10: 20 7b 20 53 45 4c 45 43 54 20 79 20 49 4e 20 28   { SELECT y IN (
1b20: 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20 74 31  SELECT b FROM t1
1b30: 29 20 46 52 4f 4d 20 74 32 20 7d 0a 7d 20 7b 30  ) FROM t2 }.} {0
1b40: 20 31 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 33 2d   1}.do_test in3-
1b50: 33 2e 37 20 7b 0a 20 20 23 20 4e 75 6d 65 72 69  3.7 {.  # Numeri
1b60: 63 20 61 66 66 69 6e 69 74 79 20 69 73 20 61 70  c affinity is ap
1b70: 70 6c 69 65 64 20 62 65 66 6f 72 65 20 74 68 65  plied before the
1b80: 20 63 6f 6d 70 61 72 69 73 6f 6e 20 74 61 6b 65   comparison take
1b90: 73 20 70 6c 61 63 65 2e 20 0a 20 20 23 20 4d 61  s place. .  # Ma
1ba0: 6b 69 6e 67 20 69 74 20 69 6d 70 6f 73 73 69 62  king it impossib
1bb0: 6c 65 20 74 6f 20 75 73 65 20 69 6e 64 65 78 20  le to use index 
1bc0: 74 31 5f 69 33 2e 0a 20 20 65 78 65 63 5f 6e 65  t1_i3..  exec_ne
1bd0: 70 68 20 7b 20 53 45 4c 45 43 54 20 79 20 49 4e  ph { SELECT y IN
1be0: 20 28 53 45 4c 45 43 54 20 63 20 46 52 4f 4d 20   (SELECT c FROM 
1bf0: 74 31 29 20 46 52 4f 4d 20 74 32 20 7d 0a 7d 20  t1) FROM t2 }.} 
1c00: 7b 31 20 31 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d  {1 1}..#--------
1c10: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1c20: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1c30: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1c40: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 0a  -------------.#.
1c50: 23 20 54 65 73 74 20 75 73 69 6e 67 20 61 20 6d  # Test using a m
1c60: 75 6c 74 69 2d 63 6f 6c 75 6d 6e 20 69 6e 64 65  ulti-column inde
1c70: 78 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6e 33  x..#.do_test in3
1c80: 2d 34 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c  -4.1 {.  execsql
1c90: 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41   {.    CREATE TA
1ca0: 42 4c 45 20 74 33 28 61 2c 20 62 2c 20 63 29 3b  BLE t3(a, b, c);
1cb0: 0a 20 20 20 20 43 52 45 41 54 45 20 55 4e 49 51  .    CREATE UNIQ
1cc0: 55 45 20 49 4e 44 45 58 20 74 33 5f 69 20 4f 4e  UE INDEX t3_i ON
1cd0: 20 74 33 28 62 2c 20 61 29 3b 0a 20 20 7d 0a 0a   t3(b, a);.  }..
1ce0: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
1cf0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 33 20 56  INSERT INTO t3 V
1d00: 41 4c 55 45 53 28 31 2c 20 27 6e 75 6d 65 72 69  ALUES(1, 'numeri
1d10: 63 27 2c 20 32 29 3b 0a 20 20 20 20 49 4e 53 45  c', 2);.    INSE
1d20: 52 54 20 49 4e 54 4f 20 74 33 20 56 41 4c 55 45  RT INTO t3 VALUE
1d30: 53 28 32 2c 20 27 74 65 78 74 27 2c 20 32 29 3b  S(2, 'text', 2);
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 33 2c 20 27 72   t3 VALUES(3, 'r
1d60: 65 61 6c 27 2c 20 32 29 3b 0a 20 20 20 20 49 4e  eal', 2);.    IN
1d70: 53 45 52 54 20 49 4e 54 4f 20 74 33 20 56 41 4c  SERT INTO t3 VAL
1d80: 55 45 53 28 34 2c 20 27 6e 6f 6e 65 27 2c 20 32  UES(4, 'none', 2
1d90: 29 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74  );.  }.} {}.do_t
1da0: 65 73 74 20 69 6e 33 2d 34 2e 32 20 7b 0a 20 20  est in3-4.2 {.  
1db0: 65 78 65 63 5f 6e 65 70 68 20 7b 20 53 45 4c 45  exec_neph { SELE
1dc0: 43 54 20 27 74 65 78 74 27 20 49 4e 20 28 53 45  CT 'text' IN (SE
1dd0: 4c 45 43 54 20 62 20 46 52 4f 4d 20 74 33 29 20  LECT b FROM t3) 
1de0: 7d 0a 7d 20 7b 30 20 31 7d 0a 64 6f 5f 74 65 73  }.} {0 1}.do_tes
1df0: 74 20 69 6e 33 2d 34 2e 33 20 7b 0a 20 20 65 78  t in3-4.3 {.  ex
1e00: 65 63 5f 6e 65 70 68 20 7b 20 53 45 4c 45 43 54  ec_neph { SELECT
1e10: 20 27 54 45 58 54 27 20 43 4f 4c 4c 41 54 45 20   'TEXT' COLLATE 
1e20: 6e 6f 63 61 73 65 20 49 4e 20 28 53 45 4c 45 43  nocase IN (SELEC
1e30: 54 20 62 20 46 52 4f 4d 20 74 33 29 20 7d 0a 7d  T b FROM t3) }.}
1e40: 20 7b 31 20 31 7d 0a 64 6f 5f 74 65 73 74 20 69   {1 1}.do_test i
1e50: 6e 33 2d 34 2e 34 20 7b 0a 20 20 23 20 41 20 74  n3-4.4 {.  # A t
1e60: 65 6d 70 20 74 61 62 6c 65 20 6d 75 73 74 20 62  emp table must b
1e70: 65 20 75 73 65 64 20 62 65 63 61 75 73 65 20 74  e used because t
1e80: 33 5f 69 2e 62 20 69 73 20 6e 6f 74 20 67 75 61  3_i.b is not gua
1e90: 72 61 6e 74 65 65 64 20 74 6f 20 62 65 20 75 6e  ranteed to be un
1ea0: 69 71 75 65 2e 0a 20 20 65 78 65 63 5f 6e 65 70  ique..  exec_nep
1eb0: 68 20 7b 20 53 45 4c 45 43 54 20 62 20 46 52 4f  h { SELECT b FRO
1ec0: 4d 20 74 33 20 57 48 45 52 45 20 62 20 49 4e 20  M t3 WHERE b IN 
1ed0: 28 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20 74  (SELECT b FROM t
1ee0: 33 29 20 7d 0a 7d 20 7b 31 20 6e 6f 6e 65 20 6e  3) }.} {1 none n
1ef0: 75 6d 65 72 69 63 20 72 65 61 6c 20 74 65 78 74  umeric real text
1f00: 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 33 2d 34 2e  }.do_test in3-4.
1f10: 35 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20  5 {.  execsql { 
1f20: 43 52 45 41 54 45 20 55 4e 49 51 55 45 20 49 4e  CREATE UNIQUE IN
1f30: 44 45 58 20 74 33 5f 69 32 20 4f 4e 20 74 33 28  DEX t3_i2 ON t3(
1f40: 62 29 20 7d 0a 20 20 65 78 65 63 5f 6e 65 70 68  b) }.  exec_neph
1f50: 20 7b 20 53 45 4c 45 43 54 20 62 20 46 52 4f 4d   { SELECT b FROM
1f60: 20 74 33 20 57 48 45 52 45 20 62 20 49 4e 20 28   t3 WHERE b IN (
1f70: 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20 74 33  SELECT b FROM t3
1f80: 29 20 7d 0a 7d 20 7b 30 20 6e 6f 6e 65 20 6e 75  ) }.} {0 none nu
1f90: 6d 65 72 69 63 20 72 65 61 6c 20 74 65 78 74 7d  meric real text}
1fa0: 0a 64 6f 5f 74 65 73 74 20 69 6e 33 2d 34 2e 36  .do_test in3-4.6
1fb0: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 44   {.  execsql { D
1fc0: 52 4f 50 20 49 4e 44 45 58 20 74 33 5f 69 32 20  ROP INDEX t3_i2 
1fd0: 7d 0a 7d 20 7b 7d 0a 0a 66 69 6e 69 73 68 5f 74  }.} {}..finish_t
1fe0: 65 73 74 0a 0a                                   est..