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 32 20 32 30 30 37 2f 31 32 2f 31 30 v 1.2 2007/12/10
0220: 20 30 35 3a 30 33 3a 34 38 20 64 61 6e 69 65 6c 05:03:48 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 64 6f 5f 74 65 -select..#.do_te
0c40: 73 74 20 69 6e 33 2d 31 2e 31 33 20 7b 0a 20 20 st in3-1.13 {.
0c50: 65 78 65 63 5f 6e 65 70 68 20 7b 0a 20 20 20 20 exec_neph {.
0c60: 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31 SELECT a FROM t1
0c70: 20 57 48 45 52 45 20 61 20 49 4e 20 28 0a 20 20 WHERE a IN (.
0c80: 20 20 20 20 53 45 4c 45 43 54 20 61 20 46 52 4f SELECT a FRO
0c90: 4d 20 74 31 20 55 4e 49 4f 4e 20 41 4c 4c 20 53 M t1 UNION ALL S
0ca0: 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31 0a ELECT a FROM t1.
0cb0: 20 20 20 20 29 0a 20 20 7d 0a 7d 20 7b 31 20 31 ). }.} {1 1
0cc0: 20 33 20 35 7d 0a 0a 23 20 54 68 65 20 66 69 72 3 5}..# The fir
0cd0: 73 74 20 6f 66 20 74 68 65 73 65 20 71 75 65 72 st of these quer
0ce0: 69 65 73 20 68 61 73 20 74 6f 20 75 73 65 20 74 ies has to use t
0cf0: 68 65 20 74 65 6d 70 2d 74 61 62 6c 65 2c 20 62 he temp-table, b
0d00: 65 63 61 75 73 65 20 74 68 65 20 0a 23 20 63 6f ecause the .# co
0d10: 6c 6c 61 74 69 6f 6e 20 73 65 71 75 65 6e 63 65 llation sequence
0d20: 20 75 73 65 64 20 66 6f 72 20 74 68 65 20 69 6e used for the in
0d30: 64 65 78 20 6f 6e 20 22 74 31 2e 61 22 20 64 6f dex on "t1.a" do
0d40: 65 73 20 6e 6f 74 20 6d 61 74 63 68 20 74 68 65 es not match the
0d50: 0a 23 20 63 6f 6c 6c 61 74 69 6f 6e 20 73 65 71 .# collation seq
0d60: 75 65 6e 63 65 20 75 73 65 64 20 62 79 20 74 68 uence used by th
0d70: 65 20 22 49 4e 22 20 63 6f 6d 70 61 72 69 73 6f e "IN" compariso
0d80: 6e 2e 20 54 68 65 20 73 65 63 6f 6e 64 20 64 6f n. The second do
0d90: 65 73 20 6e 6f 74 0a 23 20 72 65 71 75 69 72 65 es not.# require
0da0: 20 61 20 74 65 6d 70 2d 74 61 62 6c 65 2c 20 62 a temp-table, b
0db0: 65 63 61 75 73 65 20 74 68 65 20 63 6f 6c 6c 61 ecause the colla
0dc0: 74 69 6f 6e 20 73 65 71 75 65 6e 63 65 73 20 6d tion sequences m
0dd0: 61 74 63 68 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 atch..#.do_test
0de0: 69 6e 33 2d 31 2e 31 34 20 7b 0a 20 20 65 78 65 in3-1.14 {. exe
0df0: 63 5f 6e 65 70 68 20 7b 20 53 45 4c 45 43 54 20 c_neph { SELECT
0e00: 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 a FROM t1 WHERE
0e10: 61 20 43 4f 4c 4c 41 54 45 20 6e 6f 63 61 73 65 a COLLATE nocase
0e20: 20 49 4e 20 28 53 45 4c 45 43 54 20 61 20 46 52 IN (SELECT a FR
0e30: 4f 4d 20 74 31 29 20 7d 0a 7d 20 7b 31 20 31 20 OM t1) }.} {1 1
0e40: 33 20 35 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 33 3 5}.do_test in3
0e50: 2d 31 2e 31 35 20 7b 0a 20 20 65 78 65 63 5f 6e -1.15 {. exec_n
0e60: 65 70 68 20 7b 20 53 45 4c 45 43 54 20 61 20 46 eph { SELECT a F
0e70: 52 4f 4d 20 74 31 20 57 48 45 52 45 20 61 20 43 ROM t1 WHERE a C
0e80: 4f 4c 4c 41 54 45 20 62 69 6e 61 72 79 20 49 4e OLLATE binary IN
0e90: 20 28 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 (SELECT a FROM
0ea0: 74 31 29 20 7d 0a 7d 20 7b 30 20 31 20 33 20 35 t1) }.} {0 1 3 5
0eb0: 7d 0a 0a 23 20 4e 65 69 74 68 65 72 20 6f 66 20 }..# Neither of
0ec0: 74 68 65 73 65 20 71 75 65 72 69 65 73 20 72 65 these queries re
0ed0: 71 75 69 72 65 20 61 20 74 65 6d 70 2d 74 61 62 quire a temp-tab
0ee0: 6c 65 2e 20 54 68 65 20 63 6f 6c 6c 61 74 69 6f le. The collatio
0ef0: 6e 20 73 65 71 75 65 6e 63 65 0a 23 20 6d 61 6b n sequence.# mak
0f00: 65 73 20 6e 6f 20 64 69 66 66 65 72 65 6e 63 65 es no difference
0f10: 20 77 68 65 6e 20 75 73 69 6e 67 20 61 20 72 6f when using a ro
0f20: 77 69 64 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 69 wid..#.do_test i
0f30: 6e 33 2d 31 2e 31 36 20 7b 0a 20 20 65 78 65 63 n3-1.16 {. exec
0f40: 5f 6e 65 70 68 20 7b 53 45 4c 45 43 54 20 61 20 _neph {SELECT a
0f50: 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 61 20 FROM t1 WHERE a
0f60: 43 4f 4c 4c 41 54 45 20 6e 6f 63 61 73 65 20 49 COLLATE nocase I
0f70: 4e 20 28 53 45 4c 45 43 54 20 72 6f 77 69 64 20 N (SELECT rowid
0f80: 46 52 4f 4d 20 74 31 29 7d 0a 7d 20 7b 30 20 31 FROM t1)}.} {0 1
0f90: 20 33 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 33 2d 3}.do_test in3-
0fa0: 31 2e 31 37 20 7b 0a 20 20 65 78 65 63 5f 6e 65 1.17 {. exec_ne
0fb0: 70 68 20 7b 53 45 4c 45 43 54 20 61 20 46 52 4f ph {SELECT a FRO
0fc0: 4d 20 74 31 20 57 48 45 52 45 20 61 20 43 4f 4c M t1 WHERE a COL
0fd0: 4c 41 54 45 20 62 69 6e 61 72 79 20 49 4e 20 28 LATE binary IN (
0fe0: 53 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52 4f SELECT rowid FRO
0ff0: 4d 20 74 31 29 7d 0a 7d 20 7b 30 20 31 20 33 7d M t1)}.} {0 1 3}
1000: 0a 0a 23 20 54 68 65 20 66 6f 6c 6c 6f 77 69 6e ..# The followin
1010: 67 20 74 65 73 74 73 20 2d 20 69 6e 33 2e 32 2e g tests - in3.2.
1020: 2a 20 2d 20 74 65 73 74 20 61 20 62 75 67 20 74 * - test a bug t
1030: 68 61 74 20 77 61 73 20 64 69 66 66 69 63 75 6c hat was difficul
1040: 74 20 74 6f 20 74 72 61 63 6b 0a 23 20 64 6f 77 t to track.# dow
1050: 6e 20 64 75 72 69 6e 67 20 64 65 76 65 6c 6f 70 n during develop
1060: 6d 65 6e 74 2e 20 54 68 65 79 20 61 72 65 20 6e ment. They are n
1070: 6f 74 20 70 61 72 74 69 63 75 6c 61 72 6c 79 20 ot particularly
1080: 77 65 6c 6c 20 66 6f 63 75 73 65 64 2e 0a 23 0a well focused..#.
1090: 64 6f 5f 74 65 73 74 20 69 6e 33 2d 32 2e 31 20 do_test in3-2.1
10a0: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 {. execsql {.
10b0: 20 20 44 52 4f 50 20 54 41 42 4c 45 20 49 46 20 DROP TABLE IF
10c0: 45 58 49 53 54 53 20 74 31 3b 0a 20 20 20 20 43 EXISTS t1;. C
10d0: 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 77 REATE TABLE t1(w
10e0: 20 69 6e 74 2c 20 78 20 69 6e 74 2c 20 79 20 69 int, x int, y i
10f0: 6e 74 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20 nt);. CREATE
1100: 54 41 42 4c 45 20 74 32 28 70 20 69 6e 74 2c 20 TABLE t2(p int,
1110: 71 20 69 6e 74 2c 20 72 20 69 6e 74 2c 20 73 20 q int, r int, s
1120: 69 6e 74 29 3b 0a 20 20 7d 0a 20 20 66 6f 72 20 int);. }. for
1130: 7b 73 65 74 20 69 20 31 7d 20 7b 24 69 3c 3d 31 {set i 1} {$i<=1
1140: 30 30 7d 20 7b 69 6e 63 72 20 69 7d 20 7b 0a 20 00} {incr i} {.
1150: 20 20 20 73 65 74 20 77 20 24 69 0a 20 20 20 20 set w $i.
1160: 73 65 74 20 78 20 5b 65 78 70 72 20 7b 69 6e 74 set x [expr {int
1170: 28 6c 6f 67 28 24 69 29 2f 6c 6f 67 28 32 29 29 (log($i)/log(2))
1180: 7d 5d 0a 20 20 20 20 73 65 74 20 79 20 5b 65 78 }]. set y [ex
1190: 70 72 20 7b 24 69 2a 24 69 20 2b 20 32 2a 24 69 pr {$i*$i + 2*$i
11a0: 20 2b 20 31 7d 5d 0a 20 20 20 20 65 78 65 63 73 + 1}]. execs
11b0: 71 6c 20 22 49 4e 53 45 52 54 20 49 4e 54 4f 20 ql "INSERT INTO
11c0: 74 31 20 56 41 4c 55 45 53 28 24 77 2c 24 78 2c t1 VALUES($w,$x,
11d0: 24 79 29 22 0a 20 20 7d 0a 20 20 73 65 74 20 6d $y)". }. set m
11e0: 61 78 79 20 5b 65 78 65 63 73 71 6c 20 7b 73 65 axy [execsql {se
11f0: 6c 65 63 74 20 6d 61 78 28 79 29 20 66 72 6f 6d lect max(y) from
1200: 20 74 31 7d 5d 0a 20 20 64 62 20 65 76 61 6c 20 t1}]. db eval
1210: 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 { INSERT INTO t2
1220: 20 53 45 4c 45 43 54 20 31 30 31 2d 77 2c 20 78 SELECT 101-w, x
1230: 2c 20 24 6d 61 78 79 2b 31 2d 79 2c 20 79 20 46 , $maxy+1-y, y F
1240: 52 4f 4d 20 74 31 20 7d 0a 7d 20 7b 7d 0a 64 6f ROM t1 }.} {}.do
1250: 5f 74 65 73 74 20 69 6e 33 2d 32 2e 32 20 7b 0a _test in3-2.2 {.
1260: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 execsql {.
1270: 53 45 4c 45 43 54 20 72 6f 77 69 64 20 0a 20 20 SELECT rowid .
1280: 20 20 46 52 4f 4d 20 74 31 20 0a 20 20 20 20 57 FROM t1 . W
1290: 48 45 52 45 20 72 6f 77 69 64 20 49 4e 20 28 53 HERE rowid IN (S
12a0: 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52 4f 4d ELECT rowid FROM
12b0: 20 74 31 20 57 48 45 52 45 20 72 6f 77 69 64 20 t1 WHERE rowid
12c0: 49 4e 20 28 31 2c 20 32 29 29 3b 0a 20 20 7d 0a IN (1, 2));. }.
12d0: 7d 20 7b 31 20 32 7d 0a 64 6f 5f 74 65 73 74 20 } {1 2}.do_test
12e0: 69 6e 33 2d 32 2e 33 20 7b 0a 20 20 65 78 65 63 in3-2.3 {. exec
12f0: 73 71 6c 20 7b 0a 20 20 20 20 73 65 6c 65 63 74 sql {. select
1300: 20 72 6f 77 69 64 20 66 72 6f 6d 20 74 31 20 77 rowid from t1 w
1310: 68 65 72 65 20 72 6f 77 69 64 20 49 4e 20 28 2d here rowid IN (-
1320: 31 2c 32 2c 34 29 0a 20 20 7d 0a 7d 20 7b 32 20 1,2,4). }.} {2
1330: 34 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 33 2d 32 4}.do_test in3-2
1340: 2e 34 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b .4 {. execsql {
1350: 0a 20 20 20 20 53 45 4c 45 43 54 20 72 6f 77 69 . SELECT rowi
1360: 64 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 d FROM t1 WHERE
1370: 72 6f 77 69 64 20 49 4e 20 0a 20 20 20 20 20 20 rowid IN .
1380: 20 28 73 65 6c 65 63 74 20 72 6f 77 69 64 20 66 (select rowid f
1390: 72 6f 6d 20 74 31 20 77 68 65 72 65 20 72 6f 77 rom t1 where row
13a0: 69 64 20 49 4e 20 28 2d 31 2c 32 2c 34 29 29 0a id IN (-1,2,4)).
13b0: 20 20 7d 0a 7d 20 7b 32 20 34 7d 0a 0a 23 2d 2d }.} {2 4}..#--
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 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
13e0: 2d 2d 2d 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 0a 23 20 54 68 69 73 20 6e -------.# This n
1410: 65 78 74 20 62 6c 6f 63 6b 20 6f 66 20 74 65 73 ext block of tes
1420: 74 73 20 2d 20 69 6e 33 2d 33 2e 2a 20 2d 20 76 ts - in3-3.* - v
1430: 65 72 69 66 79 20 74 68 61 74 20 63 6f 6c 75 6d erify that colum
1440: 6e 20 61 66 66 69 6e 69 74 79 20 69 73 0a 23 20 n affinity is.#
1450: 63 6f 72 72 65 63 74 6c 79 20 68 61 6e 64 6c 65 correctly handle
1460: 64 20 69 6e 20 63 61 73 65 73 20 77 68 65 72 65 d in cases where
1470: 20 61 6e 20 69 6e 64 65 78 20 6d 69 67 68 74 20 an index might
1480: 62 65 20 75 73 65 64 20 74 6f 20 6f 70 74 69 6d be used to optim
1490: 69 73 65 0a 23 20 61 6e 20 49 4e 20 28 53 45 4c ise.# an IN (SEL
14a0: 45 43 54 29 20 65 78 70 72 65 73 73 69 6f 6e 2e ECT) expression.
14b0: 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6e 33 2d 33 .#.do_test in3-3
14c0: 2e 31 20 7b 0a 20 20 63 61 74 63 68 20 7b 65 78 .1 {. catch {ex
14d0: 65 63 73 71 6c 20 7b 0a 20 20 20 20 44 52 4f 50 ecsql {. DROP
14e0: 20 54 41 42 4c 45 20 74 31 3b 0a 20 20 20 20 44 TABLE t1;. D
14f0: 52 4f 50 20 54 41 42 4c 45 20 74 32 3b 0a 20 20 ROP TABLE t2;.
1500: 7d 7d 0a 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a }}.. execsql {.
1510: 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c . CREATE TABL
1520: 45 20 74 31 28 61 20 42 4c 4f 42 2c 20 62 20 4e E t1(a BLOB, b N
1530: 55 4d 42 45 52 20 2c 63 20 54 45 58 54 29 3b 0a UMBER ,c TEXT);.
1540: 20 20 20 20 43 52 45 41 54 45 20 55 4e 49 51 55 CREATE UNIQU
1550: 45 20 49 4e 44 45 58 20 74 31 5f 69 31 20 4f 4e E INDEX t1_i1 ON
1560: 20 74 31 28 61 29 3b 20 20 20 20 20 20 20 20 2f t1(a); /
1570: 2a 20 6e 6f 20 61 66 66 69 6e 69 74 79 20 2a 2f * no affinity */
1580: 0a 20 20 20 20 43 52 45 41 54 45 20 55 4e 49 51 . CREATE UNIQ
1590: 55 45 20 49 4e 44 45 58 20 74 31 5f 69 32 20 4f UE INDEX t1_i2 O
15a0: 4e 20 74 31 28 62 29 3b 20 20 20 20 20 20 20 20 N t1(b);
15b0: 2f 2a 20 6e 75 6d 65 72 69 63 20 61 66 66 69 6e /* numeric affin
15c0: 69 74 79 20 2a 2f 0a 20 20 20 20 43 52 45 41 54 ity */. CREAT
15d0: 45 20 55 4e 49 51 55 45 20 49 4e 44 45 58 20 74 E UNIQUE INDEX t
15e0: 31 5f 69 33 20 4f 4e 20 74 31 28 63 29 3b 20 20 1_i3 ON t1(c);
15f0: 20 20 20 20 20 20 2f 2a 20 74 65 78 74 20 61 66 /* text af
1600: 66 69 6e 69 74 79 20 2a 2f 0a 0a 20 20 20 20 43 finity */.. C
1610: 52 45 41 54 45 20 54 41 42 4c 45 20 74 32 28 78 REATE TABLE t2(x
1620: 20 42 4c 4f 42 2c 20 79 20 4e 55 4d 42 45 52 2c BLOB, y NUMBER,
1630: 20 7a 20 54 45 58 54 29 3b 0a 20 20 20 20 43 52 z TEXT);. CR
1640: 45 41 54 45 20 55 4e 49 51 55 45 20 49 4e 44 45 EATE UNIQUE INDE
1650: 58 20 74 32 5f 69 31 20 4f 4e 20 74 32 28 78 29 X t2_i1 ON t2(x)
1660: 3b 20 20 20 20 20 20 20 20 2f 2a 20 6e 6f 20 61 ; /* no a
1670: 66 66 69 6e 69 74 79 20 2a 2f 0a 20 20 20 20 43 ffinity */. C
1680: 52 45 41 54 45 20 55 4e 49 51 55 45 20 49 4e 44 REATE UNIQUE IND
1690: 45 58 20 74 32 5f 69 32 20 4f 4e 20 74 32 28 79 EX t2_i2 ON t2(y
16a0: 29 3b 20 20 20 20 20 20 20 20 2f 2a 20 6e 75 6d ); /* num
16b0: 65 72 69 63 20 61 66 66 69 6e 69 74 79 20 2a 2f eric affinity */
16c0: 0a 20 20 20 20 43 52 45 41 54 45 20 55 4e 49 51 . CREATE UNIQ
16d0: 55 45 20 49 4e 44 45 58 20 74 32 5f 69 33 20 4f UE INDEX t2_i3 O
16e0: 4e 20 74 32 28 7a 29 3b 20 20 20 20 20 20 20 20 N t2(z);
16f0: 2f 2a 20 74 65 78 74 20 61 66 66 69 6e 69 74 79 /* text affinity
1700: 20 2a 2f 0a 0a 20 20 20 20 49 4e 53 45 52 54 20 */.. INSERT
1710: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 31 INTO t1 VALUES(1
1720: 2c 20 31 2c 20 31 29 3b 0a 20 20 20 20 49 4e 53 , 1, 1);. INS
1730: 45 52 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 ERT INTO t2 VALU
1740: 45 53 28 27 31 27 2c 20 27 31 27 2c 20 27 31 27 ES('1', '1', '1'
1750: 29 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 0a 64 6f 5f );. }.} {}..do_
1760: 74 65 73 74 20 69 6e 33 2d 33 2e 32 20 7b 0a 20 test in3-3.2 {.
1770: 20 23 20 4e 6f 20 61 66 66 69 6e 69 74 79 20 69 # No affinity i
1780: 73 20 61 70 70 6c 69 65 64 20 62 65 66 6f 72 65 s applied before
1790: 20 63 6f 6d 70 61 72 69 6e 67 20 22 78 22 20 61 comparing "x" a
17a0: 6e 64 20 22 61 22 2e 20 54 68 65 72 65 66 6f 72 nd "a". Therefor
17b0: 65 0a 20 20 23 20 74 68 65 20 69 6e 64 65 78 20 e. # the index
17c0: 63 61 6e 20 62 65 20 75 73 65 64 20 28 74 68 65 can be used (the
17d0: 20 63 6f 6d 70 61 72 69 73 6f 6e 20 69 73 20 66 comparison is f
17e0: 61 6c 73 65 2c 20 74 65 78 74 21 3d 6e 75 6d 62 alse, text!=numb
17f0: 65 72 29 2e 0a 20 20 65 78 65 63 5f 6e 65 70 68 er).. exec_neph
1800: 20 7b 20 53 45 4c 45 43 54 20 78 20 49 4e 20 28 { SELECT x IN (
1810: 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31 SELECT a FROM t1
1820: 29 20 46 52 4f 4d 20 74 32 20 7d 0a 7d 20 7b 30 ) FROM t2 }.} {0
1830: 20 30 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 33 2d 0}.do_test in3-
1840: 33 2e 33 20 7b 0a 20 20 23 20 4c 6f 67 69 63 61 3.3 {. # Logica
1850: 6c 6c 79 2c 20 6e 75 6d 65 72 69 63 20 61 66 66 lly, numeric aff
1860: 69 6e 69 74 79 20 69 73 20 61 70 70 6c 69 65 64 inity is applied
1870: 20 74 6f 20 62 6f 74 68 20 73 69 64 65 73 20 62 to both sides b
1880: 65 66 6f 72 65 20 0a 20 20 23 20 74 68 65 20 63 efore . # the c
1890: 6f 6d 70 61 72 69 73 6f 6e 2e 20 20 54 68 65 72 omparison. Ther
18a0: 65 66 6f 72 65 20 69 74 20 69 73 20 70 6f 73 73 efore it is poss
18b0: 69 62 6c 65 20 74 6f 20 75 73 65 20 69 6e 64 65 ible to use inde
18c0: 78 20 74 31 5f 69 32 2e 0a 20 20 65 78 65 63 5f x t1_i2.. exec_
18d0: 6e 65 70 68 20 7b 20 53 45 4c 45 43 54 20 78 20 neph { SELECT x
18e0: 49 4e 20 28 53 45 4c 45 43 54 20 62 20 46 52 4f IN (SELECT b FRO
18f0: 4d 20 74 31 29 20 46 52 4f 4d 20 74 32 20 7d 0a M t1) FROM t2 }.
1900: 7d 20 7b 30 20 31 7d 0a 64 6f 5f 74 65 73 74 20 } {0 1}.do_test
1910: 69 6e 33 2d 33 2e 34 20 7b 0a 20 20 23 20 4e 6f in3-3.4 {. # No
1920: 20 61 66 66 69 6e 69 74 79 20 69 73 20 61 70 70 affinity is app
1930: 6c 69 65 64 20 62 65 66 6f 72 65 20 74 68 65 20 lied before the
1940: 63 6f 6d 70 61 72 69 73 6f 6e 20 74 61 6b 65 73 comparison takes
1950: 20 70 6c 61 63 65 2e 20 4d 61 6b 69 6e 67 0a 20 place. Making.
1960: 20 23 20 69 74 20 70 6f 73 73 69 62 6c 65 20 74 # it possible t
1970: 6f 20 75 73 65 20 69 6e 64 65 78 20 74 31 5f 69 o use index t1_i
1980: 33 2e 0a 20 20 65 78 65 63 5f 6e 65 70 68 20 7b 3.. exec_neph {
1990: 20 53 45 4c 45 43 54 20 78 20 49 4e 20 28 53 45 SELECT x IN (SE
19a0: 4c 45 43 54 20 63 20 46 52 4f 4d 20 74 31 29 20 LECT c FROM t1)
19b0: 46 52 4f 4d 20 74 32 20 7d 0a 7d 20 7b 30 20 31 FROM t2 }.} {0 1
19c0: 7d 0a 0a 64 6f 5f 74 65 73 74 20 69 6e 33 2d 33 }..do_test in3-3
19d0: 2e 35 20 7b 0a 20 20 23 20 4e 75 6d 65 72 69 63 .5 {. # Numeric
19e0: 20 61 66 66 69 6e 69 74 79 20 73 68 6f 75 6c 64 affinity should
19f0: 20 62 65 20 61 70 70 6c 69 65 64 20 74 6f 20 65 be applied to e
1a00: 61 63 68 20 73 69 64 65 20 62 65 66 6f 72 65 20 ach side before
1a10: 74 68 65 20 63 6f 6d 70 61 72 69 73 6f 6e 0a 20 the comparison.
1a20: 20 23 20 74 61 6b 65 73 20 70 6c 61 63 65 2e 20 # takes place.
1a30: 54 68 65 72 65 66 6f 72 65 20 77 65 20 63 61 6e Therefore we can
1a40: 6e 6f 74 20 75 73 65 20 69 6e 64 65 78 20 74 31 not use index t1
1a50: 5f 69 31 2c 20 77 68 69 63 68 20 68 61 73 20 6e _i1, which has n
1a60: 6f 20 61 66 66 69 6e 69 74 79 2e 0a 20 20 65 78 o affinity.. ex
1a70: 65 63 5f 6e 65 70 68 20 7b 20 53 45 4c 45 43 54 ec_neph { SELECT
1a80: 20 79 20 49 4e 20 28 53 45 4c 45 43 54 20 61 20 y IN (SELECT a
1a90: 46 52 4f 4d 20 74 31 29 20 46 52 4f 4d 20 74 32 FROM t1) FROM t2
1aa0: 20 7d 0a 7d 20 7b 31 20 31 7d 0a 64 6f 5f 74 65 }.} {1 1}.do_te
1ab0: 73 74 20 69 6e 33 2d 33 2e 36 20 7b 0a 20 20 23 st in3-3.6 {. #
1ac0: 20 4e 75 6d 65 72 69 63 20 61 66 66 69 6e 69 74 Numeric affinit
1ad0: 79 20 69 73 20 61 70 70 6c 69 65 64 20 74 6f 20 y is applied to
1ae0: 62 6f 74 68 20 73 69 64 65 73 20 62 65 66 6f 72 both sides befor
1af0: 65 20 0a 20 20 23 20 74 68 65 20 63 6f 6d 70 61 e . # the compa
1b00: 72 69 73 6f 6e 2e 20 20 54 68 65 72 65 66 6f 72 rison. Therefor
1b10: 65 20 69 74 20 69 73 20 70 6f 73 73 69 62 6c 65 e it is possible
1b20: 20 74 6f 20 75 73 65 20 69 6e 64 65 78 20 74 31 to use index t1
1b30: 5f 69 32 2e 0a 20 20 65 78 65 63 5f 6e 65 70 68 _i2.. exec_neph
1b40: 20 7b 20 53 45 4c 45 43 54 20 79 20 49 4e 20 28 { SELECT y IN (
1b50: 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20 74 31 SELECT b FROM t1
1b60: 29 20 46 52 4f 4d 20 74 32 20 7d 0a 7d 20 7b 30 ) FROM t2 }.} {0
1b70: 20 31 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 33 2d 1}.do_test in3-
1b80: 33 2e 37 20 7b 0a 20 20 23 20 4e 75 6d 65 72 69 3.7 {. # Numeri
1b90: 63 20 61 66 66 69 6e 69 74 79 20 69 73 20 61 70 c affinity is ap
1ba0: 70 6c 69 65 64 20 62 65 66 6f 72 65 20 74 68 65 plied before the
1bb0: 20 63 6f 6d 70 61 72 69 73 6f 6e 20 74 61 6b 65 comparison take
1bc0: 73 20 70 6c 61 63 65 2e 20 0a 20 20 23 20 4d 61 s place. . # Ma
1bd0: 6b 69 6e 67 20 69 74 20 69 6d 70 6f 73 73 69 62 king it impossib
1be0: 6c 65 20 74 6f 20 75 73 65 20 69 6e 64 65 78 20 le to use index
1bf0: 74 31 5f 69 33 2e 0a 20 20 65 78 65 63 5f 6e 65 t1_i3.. exec_ne
1c00: 70 68 20 7b 20 53 45 4c 45 43 54 20 79 20 49 4e ph { SELECT y IN
1c10: 20 28 53 45 4c 45 43 54 20 63 20 46 52 4f 4d 20 (SELECT c FROM
1c20: 74 31 29 20 46 52 4f 4d 20 74 32 20 7d 0a 7d 20 t1) FROM t2 }.}
1c30: 7b 31 20 31 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d {1 1}..#--------
1c40: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1c50: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
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 0a 23 0a -------------.#.
1c80: 23 20 54 65 73 74 20 75 73 69 6e 67 20 61 20 6d # Test using a m
1c90: 75 6c 74 69 2d 63 6f 6c 75 6d 6e 20 69 6e 64 65 ulti-column inde
1ca0: 78 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6e 33 x..#.do_test in3
1cb0: 2d 34 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c -4.1 {. execsql
1cc0: 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 {. CREATE TA
1cd0: 42 4c 45 20 74 33 28 61 2c 20 62 2c 20 63 29 3b BLE t3(a, b, c);
1ce0: 0a 20 20 20 20 43 52 45 41 54 45 20 55 4e 49 51 . CREATE UNIQ
1cf0: 55 45 20 49 4e 44 45 58 20 74 33 5f 69 20 4f 4e UE INDEX t3_i ON
1d00: 20 74 33 28 62 2c 20 61 29 3b 0a 20 20 7d 0a 0a t3(b, a);. }..
1d10: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 execsql {.
1d20: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 33 20 56 INSERT INTO t3 V
1d30: 41 4c 55 45 53 28 31 2c 20 27 6e 75 6d 65 72 69 ALUES(1, 'numeri
1d40: 63 27 2c 20 32 29 3b 0a 20 20 20 20 49 4e 53 45 c', 2);. INSE
1d50: 52 54 20 49 4e 54 4f 20 74 33 20 56 41 4c 55 45 RT INTO t3 VALUE
1d60: 53 28 32 2c 20 27 74 65 78 74 27 2c 20 32 29 3b S(2, 'text', 2);
1d70: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f . INSERT INTO
1d80: 20 74 33 20 56 41 4c 55 45 53 28 33 2c 20 27 72 t3 VALUES(3, 'r
1d90: 65 61 6c 27 2c 20 32 29 3b 0a 20 20 20 20 49 4e eal', 2);. IN
1da0: 53 45 52 54 20 49 4e 54 4f 20 74 33 20 56 41 4c SERT INTO t3 VAL
1db0: 55 45 53 28 34 2c 20 27 6e 6f 6e 65 27 2c 20 32 UES(4, 'none', 2
1dc0: 29 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 );. }.} {}.do_t
1dd0: 65 73 74 20 69 6e 33 2d 34 2e 32 20 7b 0a 20 20 est in3-4.2 {.
1de0: 65 78 65 63 5f 6e 65 70 68 20 7b 20 53 45 4c 45 exec_neph { SELE
1df0: 43 54 20 27 74 65 78 74 27 20 49 4e 20 28 53 45 CT 'text' IN (SE
1e00: 4c 45 43 54 20 62 20 46 52 4f 4d 20 74 33 29 20 LECT b FROM t3)
1e10: 7d 0a 7d 20 7b 30 20 31 7d 0a 64 6f 5f 74 65 73 }.} {0 1}.do_tes
1e20: 74 20 69 6e 33 2d 34 2e 33 20 7b 0a 20 20 65 78 t in3-4.3 {. ex
1e30: 65 63 5f 6e 65 70 68 20 7b 20 53 45 4c 45 43 54 ec_neph { SELECT
1e40: 20 27 54 45 58 54 27 20 43 4f 4c 4c 41 54 45 20 'TEXT' COLLATE
1e50: 6e 6f 63 61 73 65 20 49 4e 20 28 53 45 4c 45 43 nocase IN (SELEC
1e60: 54 20 62 20 46 52 4f 4d 20 74 33 29 20 7d 0a 7d T b FROM t3) }.}
1e70: 20 7b 31 20 31 7d 0a 64 6f 5f 74 65 73 74 20 69 {1 1}.do_test i
1e80: 6e 33 2d 34 2e 34 20 7b 0a 20 20 23 20 41 20 74 n3-4.4 {. # A t
1e90: 65 6d 70 20 74 61 62 6c 65 20 6d 75 73 74 20 62 emp table must b
1ea0: 65 20 75 73 65 64 20 62 65 63 61 75 73 65 20 74 e used because t
1eb0: 33 5f 69 2e 62 20 69 73 20 6e 6f 74 20 67 75 61 3_i.b is not gua
1ec0: 72 61 6e 74 65 65 64 20 74 6f 20 62 65 20 75 6e ranteed to be un
1ed0: 69 71 75 65 2e 0a 20 20 65 78 65 63 5f 6e 65 70 ique.. exec_nep
1ee0: 68 20 7b 20 53 45 4c 45 43 54 20 62 20 46 52 4f h { SELECT b FRO
1ef0: 4d 20 74 33 20 57 48 45 52 45 20 62 20 49 4e 20 M t3 WHERE b IN
1f00: 28 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20 74 (SELECT b FROM t
1f10: 33 29 20 7d 0a 7d 20 7b 31 20 6e 6f 6e 65 20 6e 3) }.} {1 none n
1f20: 75 6d 65 72 69 63 20 72 65 61 6c 20 74 65 78 74 umeric real text
1f30: 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 33 2d 34 2e }.do_test in3-4.
1f40: 35 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 5 {. execsql {
1f50: 43 52 45 41 54 45 20 55 4e 49 51 55 45 20 49 4e CREATE UNIQUE IN
1f60: 44 45 58 20 74 33 5f 69 32 20 4f 4e 20 74 33 28 DEX t3_i2 ON t3(
1f70: 62 29 20 7d 0a 20 20 65 78 65 63 5f 6e 65 70 68 b) }. exec_neph
1f80: 20 7b 20 53 45 4c 45 43 54 20 62 20 46 52 4f 4d { SELECT b FROM
1f90: 20 74 33 20 57 48 45 52 45 20 62 20 49 4e 20 28 t3 WHERE b IN (
1fa0: 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20 74 33 SELECT b FROM t3
1fb0: 29 20 7d 0a 7d 20 7b 30 20 6e 6f 6e 65 20 6e 75 ) }.} {0 none nu
1fc0: 6d 65 72 69 63 20 72 65 61 6c 20 74 65 78 74 7d meric real text}
1fd0: 0a 64 6f 5f 74 65 73 74 20 69 6e 33 2d 34 2e 36 .do_test in3-4.6
1fe0: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 44 {. execsql { D
1ff0: 52 4f 50 20 49 4e 44 45 58 20 74 33 5f 69 32 20 ROP INDEX t3_i2
2000: 7d 0a 7d 20 7b 7d 0a 0a 66 69 6e 69 73 68 5f 74 }.} {}..finish_t
2010: 65 73 74 0a 0a est..