0000: 23 20 32 30 30 32 2d 30 35 2d 32 34 0a 23 0a 23 # 2002-05-24.#.#
0010: 20 54 68 65 20 61 75 74 68 6f 72 20 64 69 73 63 The author disc
0020: 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68 74 20 laims copyright
0030: 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65 20 63 to this source c
0040: 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65 20 6f ode. In place o
0050: 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f 74 69 f.# a legal noti
0060: 63 65 2c 20 68 65 72 65 20 69 73 20 61 20 62 6c ce, here is a bl
0070: 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20 20 4d essing:.#.# M
0080: 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20 61 ay you do good a
0090: 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23 20 20 nd not evil..#
00a0: 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20 66 May you find f
00b0: 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20 79 orgiveness for y
00c0: 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72 67 ourself and forg
00d0: 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20 20 20 ive others..#
00e0: 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20 66 May you share f
00f0: 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61 6b reely, never tak
0100: 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79 6f ing more than yo
0110: 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a 2a 2a u give..#.#*****
0120: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
0160: 2a 2a 0a 23 20 54 68 69 73 20 66 69 6c 65 20 69 **.# This file i
0170: 6d 70 6c 65 6d 65 6e 74 73 20 72 65 67 72 65 73 mplements regres
0180: 73 69 6f 6e 20 74 65 73 74 73 20 66 6f 72 20 53 sion tests for S
0190: 51 4c 69 74 65 20 6c 69 62 72 61 72 79 2e 0a 23 QLite library..#
01a0: 0a 23 20 54 68 69 73 20 66 69 6c 65 20 69 6d 70 .# This file imp
01b0: 6c 65 6d 65 6e 74 73 20 74 65 73 74 73 20 66 6f lements tests fo
01c0: 72 20 6a 6f 69 6e 73 2c 20 69 6e 63 6c 75 64 69 r joins, includi
01d0: 6e 67 20 6f 75 74 65 72 20 6a 6f 69 6e 73 2e 0a ng outer joins..
01e0: 23 0a 0a 73 65 74 20 74 65 73 74 64 69 72 20 5b #..set testdir [
01f0: 66 69 6c 65 20 64 69 72 6e 61 6d 65 20 24 61 72 file dirname $ar
0200: 67 76 30 5d 0a 73 6f 75 72 63 65 20 24 74 65 73 gv0].source $tes
0210: 74 64 69 72 2f 74 65 73 74 65 72 2e 74 63 6c 0a tdir/tester.tcl.
0220: 0a 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 2d 31 2e .do_test join-1.
0230: 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 1 {. execsql {.
0240: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 CREATE TABLE
0250: 20 74 31 28 61 2c 62 2c 63 29 3b 0a 20 20 20 20 t1(a,b,c);.
0260: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 INSERT INTO t1 V
0270: 41 4c 55 45 53 28 31 2c 32 2c 33 29 3b 0a 20 20 ALUES(1,2,3);.
0280: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 INSERT INTO t1
0290: 20 56 41 4c 55 45 53 28 32 2c 33 2c 34 29 3b 0a VALUES(2,3,4);.
02a0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 INSERT INTO
02b0: 74 31 20 56 41 4c 55 45 53 28 33 2c 34 2c 35 29 t1 VALUES(3,4,5)
02c0: 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 ;. SELECT * F
02d0: 52 4f 4d 20 74 31 3b 0a 20 20 7d 20 20 0a 7d 20 ROM t1;. } .}
02e0: 7b 31 20 32 20 33 20 32 20 33 20 34 20 33 20 34 {1 2 3 2 3 4 3 4
02f0: 20 35 7d 0a 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 5}.do_test join
0300: 2d 31 2e 32 20 7b 0a 20 20 65 78 65 63 73 71 6c -1.2 {. execsql
0310: 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 {. CREATE TA
0320: 42 4c 45 20 74 32 28 62 2c 63 2c 64 29 3b 0a 20 BLE t2(b,c,d);.
0330: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 INSERT INTO t
0340: 32 20 56 41 4c 55 45 53 28 31 2c 32 2c 33 29 3b 2 VALUES(1,2,3);
0350: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f . INSERT INTO
0360: 20 74 32 20 56 41 4c 55 45 53 28 32 2c 33 2c 34 t2 VALUES(2,3,4
0370: 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e );. INSERT IN
0380: 54 4f 20 74 32 20 56 41 4c 55 45 53 28 33 2c 34 TO t2 VALUES(3,4
0390: 2c 35 29 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 ,5);. SELECT
03a0: 2a 20 46 52 4f 4d 20 74 32 3b 0a 20 20 7d 20 20 * FROM t2;. }
03b0: 0a 7d 20 7b 31 20 32 20 33 20 32 20 33 20 34 20 .} {1 2 3 2 3 4
03c0: 33 20 34 20 35 7d 0a 0a 23 20 41 20 46 52 4f 4d 3 4 5}..# A FROM
03d0: 20 63 6c 61 75 73 65 20 6f 66 20 74 68 65 20 66 clause of the f
03e0: 6f 72 6d 3a 20 20 22 3c 74 61 62 6c 65 3e 2c 20 orm: "<table>,
03f0: 3c 74 61 62 6c 65 3e 20 4f 4e 20 3c 65 78 70 72 <table> ON <expr
0400: 3e 22 20 69 73 20 6e 6f 74 0a 23 20 61 6c 6c 6f >" is not.# allo
0410: 77 65 64 20 62 79 20 74 68 65 20 53 51 4c 69 74 wed by the SQLit
0420: 65 20 73 79 6e 74 61 78 20 64 69 61 67 72 61 6d e syntax diagram
0430: 2c 20 6e 6f 72 20 62 79 20 61 6e 79 20 6f 74 68 , nor by any oth
0440: 65 72 20 53 51 4c 20 64 61 74 61 62 61 73 65 0a er SQL database.
0450: 23 20 65 6e 67 69 6e 65 20 74 68 61 74 20 77 65 # engine that we
0460: 20 61 72 65 20 61 77 61 72 65 20 6f 66 2e 20 20 are aware of.
0470: 4e 65 76 65 72 74 68 65 6c 65 73 73 2c 20 68 69 Nevertheless, hi
0480: 73 74 6f 72 69 63 20 76 65 72 73 69 6f 6e 73 20 storic versions
0490: 6f 66 0a 23 20 53 51 4c 69 74 65 20 68 61 76 65 of.# SQLite have
04a0: 20 61 6c 6c 6f 77 65 64 20 69 74 2e 20 20 57 65 allowed it. We
04b0: 20 6e 65 65 64 20 74 6f 20 63 6f 6e 74 69 6e 75 need to continu
04c0: 65 20 74 6f 20 73 75 70 70 6f 72 74 20 69 74 20 e to support it
04d0: 6d 6f 76 69 6e 67 0a 23 20 66 6f 72 77 61 72 64 moving.# forward
04e0: 20 74 6f 20 70 72 65 76 65 6e 74 20 62 72 65 61 to prevent brea
04f0: 6b 61 67 65 20 6f 66 20 6c 65 67 61 63 79 20 61 kage of legacy a
0500: 70 70 6c 69 63 61 74 69 6f 6e 73 2e 20 20 54 68 pplications. Th
0510: 6f 75 67 68 2c 20 77 65 20 77 69 6c 6c 0a 23 20 ough, we will.#
0520: 6e 6f 74 20 61 64 76 65 72 74 69 73 65 20 69 74 not advertise it
0530: 20 61 73 20 62 65 69 6e 67 20 73 75 70 70 6f 72 as being suppor
0540: 74 65 64 2e 0a 23 0a 64 6f 5f 65 78 65 63 73 71 ted..#.do_execsq
0550: 6c 5f 74 65 73 74 20 6a 6f 69 6e 2d 31 2e 32 2e l_test join-1.2.
0560: 31 20 7b 0a 20 20 53 45 4c 45 43 54 20 74 31 2e 1 {. SELECT t1.
0570: 72 6f 77 69 64 2c 20 74 32 2e 72 6f 77 69 64 2c rowid, t2.rowid,
0580: 20 27 7c 27 20 46 52 4f 4d 20 74 31 2c 20 74 32 '|' FROM t1, t2
0590: 20 4f 4e 20 74 31 2e 61 3d 74 32 2e 62 3b 0a 7d ON t1.a=t2.b;.}
05a0: 20 7b 31 20 31 20 7c 20 32 20 32 20 7c 20 33 20 {1 1 | 2 2 | 3
05b0: 33 20 7c 7d 0a 0a 64 6f 5f 74 65 73 74 20 6a 6f 3 |}..do_test jo
05c0: 69 6e 2d 31 2e 33 20 7b 0a 20 20 65 78 65 63 73 in-1.3 {. execs
05d0: 71 6c 32 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 ql2 {. SELECT
05e0: 20 2a 20 46 52 4f 4d 20 74 31 20 4e 41 54 55 52 * FROM t1 NATUR
05f0: 41 4c 20 4a 4f 49 4e 20 74 32 3b 0a 20 20 7d 0a AL JOIN t2;. }.
0600: 7d 20 7b 61 20 31 20 62 20 32 20 63 20 33 20 64 } {a 1 b 2 c 3 d
0610: 20 34 20 61 20 32 20 62 20 33 20 63 20 34 20 64 4 a 2 b 3 c 4 d
0620: 20 35 7d 0a 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 5}.do_test join
0630: 2d 31 2e 33 2e 31 20 7b 0a 20 20 65 78 65 63 73 -1.3.1 {. execs
0640: 71 6c 32 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 ql2 {. SELECT
0650: 20 2a 20 46 52 4f 4d 20 74 32 20 4e 41 54 55 52 * FROM t2 NATUR
0660: 41 4c 20 4a 4f 49 4e 20 74 31 3b 0a 20 20 7d 0a AL JOIN t1;. }.
0670: 7d 20 7b 62 20 32 20 63 20 33 20 64 20 34 20 61 } {b 2 c 3 d 4 a
0680: 20 31 20 62 20 33 20 63 20 34 20 64 20 35 20 61 1 b 3 c 4 d 5 a
0690: 20 32 7d 0a 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 2}.do_test join
06a0: 2d 31 2e 33 2e 32 20 7b 0a 20 20 65 78 65 63 73 -1.3.2 {. execs
06b0: 71 6c 32 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 ql2 {. SELECT
06c0: 20 2a 20 46 52 4f 4d 20 74 32 20 41 53 20 78 20 * FROM t2 AS x
06d0: 4e 41 54 55 52 41 4c 20 4a 4f 49 4e 20 74 31 3b NATURAL JOIN t1;
06e0: 0a 20 20 7d 0a 7d 20 7b 62 20 32 20 63 20 33 20 . }.} {b 2 c 3
06f0: 64 20 34 20 61 20 31 20 62 20 33 20 63 20 34 20 d 4 a 1 b 3 c 4
0700: 64 20 35 20 61 20 32 7d 0a 64 6f 5f 74 65 73 74 d 5 a 2}.do_test
0710: 20 6a 6f 69 6e 2d 31 2e 33 2e 33 20 7b 0a 20 20 join-1.3.3 {.
0720: 65 78 65 63 73 71 6c 32 20 7b 0a 20 20 20 20 53 execsql2 {. S
0730: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 20 ELECT * FROM t2
0740: 4e 41 54 55 52 41 4c 20 4a 4f 49 4e 20 74 31 20 NATURAL JOIN t1
0750: 41 53 20 79 3b 0a 20 20 7d 0a 7d 20 7b 62 20 32 AS y;. }.} {b 2
0760: 20 63 20 33 20 64 20 34 20 61 20 31 20 62 20 33 c 3 d 4 a 1 b 3
0770: 20 63 20 34 20 64 20 35 20 61 20 32 7d 0a 64 6f c 4 d 5 a 2}.do
0780: 5f 74 65 73 74 20 6a 6f 69 6e 2d 31 2e 33 2e 34 _test join-1.3.4
0790: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 {. execsql {.
07a0: 20 20 20 53 45 4c 45 43 54 20 62 20 46 52 4f 4d SELECT b FROM
07b0: 20 74 31 20 4e 41 54 55 52 41 4c 20 4a 4f 49 4e t1 NATURAL JOIN
07c0: 20 74 32 3b 0a 20 20 7d 0a 7d 20 7b 32 20 33 7d t2;. }.} {2 3}
07d0: 0a 0a 23 20 74 69 63 6b 65 74 20 23 33 35 32 32 ..# ticket #3522
07e0: 0a 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 2d 31 2e .do_test join-1.
07f0: 33 2e 35 20 7b 0a 20 20 65 78 65 63 73 71 6c 32 3.5 {. execsql2
0800: 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 74 32 {. SELECT t2
0810: 2e 2a 20 46 52 4f 4d 20 74 32 20 4e 41 54 55 52 .* FROM t2 NATUR
0820: 41 4c 20 4a 4f 49 4e 20 74 31 0a 20 20 7d 0a 7d AL JOIN t1. }.}
0830: 20 7b 62 20 32 20 63 20 33 20 64 20 34 20 62 20 {b 2 c 3 d 4 b
0840: 33 20 63 20 34 20 64 20 35 7d 0a 64 6f 5f 74 65 3 c 4 d 5}.do_te
0850: 73 74 20 6a 6f 69 6e 2d 31 2e 33 2e 36 20 7b 0a st join-1.3.6 {.
0860: 20 20 65 78 65 63 73 71 6c 32 20 7b 0a 20 20 20 execsql2 {.
0870: 20 53 45 4c 45 43 54 20 78 79 7a 7a 79 2e 2a 20 SELECT xyzzy.*
0880: 46 52 4f 4d 20 74 32 20 41 53 20 78 79 7a 7a 79 FROM t2 AS xyzzy
0890: 20 4e 41 54 55 52 41 4c 20 4a 4f 49 4e 20 74 31 NATURAL JOIN t1
08a0: 0a 20 20 7d 0a 7d 20 7b 62 20 32 20 63 20 33 20 . }.} {b 2 c 3
08b0: 64 20 34 20 62 20 33 20 63 20 34 20 64 20 35 7d d 4 b 3 c 4 d 5}
08c0: 0a 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 2d 31 2e .do_test join-1.
08d0: 33 2e 37 20 7b 0a 20 20 65 78 65 63 73 71 6c 32 3.7 {. execsql2
08e0: 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 74 31 {. SELECT t1
08f0: 2e 2a 20 46 52 4f 4d 20 74 32 20 4e 41 54 55 52 .* FROM t2 NATUR
0900: 41 4c 20 4a 4f 49 4e 20 74 31 0a 20 20 7d 0a 7d AL JOIN t1. }.}
0910: 20 7b 61 20 31 20 62 20 32 20 63 20 33 20 61 20 {a 1 b 2 c 3 a
0920: 32 20 62 20 33 20 63 20 34 7d 0a 64 6f 5f 74 65 2 b 3 c 4}.do_te
0930: 73 74 20 6a 6f 69 6e 2d 31 2e 33 2e 38 20 7b 0a st join-1.3.8 {.
0940: 20 20 65 78 65 63 73 71 6c 32 20 7b 0a 20 20 20 execsql2 {.
0950: 20 53 45 4c 45 43 54 20 78 79 7a 7a 79 2e 2a 20 SELECT xyzzy.*
0960: 46 52 4f 4d 20 74 32 20 4e 41 54 55 52 41 4c 20 FROM t2 NATURAL
0970: 4a 4f 49 4e 20 74 31 20 41 53 20 78 79 7a 7a 79 JOIN t1 AS xyzzy
0980: 0a 20 20 7d 0a 7d 20 7b 61 20 31 20 62 20 32 20 . }.} {a 1 b 2
0990: 63 20 33 20 61 20 32 20 62 20 33 20 63 20 34 7d c 3 a 2 b 3 c 4}
09a0: 0a 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 2d 31 2e .do_test join-1.
09b0: 33 2e 39 20 7b 0a 20 20 65 78 65 63 73 71 6c 32 3.9 {. execsql2
09c0: 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 61 61 {. SELECT aa
09d0: 61 2e 2a 2c 20 62 62 62 2e 2a 20 46 52 4f 4d 20 a.*, bbb.* FROM
09e0: 74 32 20 41 53 20 61 61 61 20 4e 41 54 55 52 41 t2 AS aaa NATURA
09f0: 4c 20 4a 4f 49 4e 20 74 31 20 41 53 20 62 62 62 L JOIN t1 AS bbb
0a00: 0a 20 20 7d 0a 7d 20 7b 62 20 32 20 63 20 33 20 . }.} {b 2 c 3
0a10: 64 20 34 20 61 20 31 20 62 20 32 20 63 20 33 20 d 4 a 1 b 2 c 3
0a20: 62 20 33 20 63 20 34 20 64 20 35 20 61 20 32 20 b 3 c 4 d 5 a 2
0a30: 62 20 33 20 63 20 34 7d 0a 64 6f 5f 74 65 73 74 b 3 c 4}.do_test
0a40: 20 6a 6f 69 6e 2d 31 2e 33 2e 31 30 20 7b 0a 20 join-1.3.10 {.
0a50: 20 65 78 65 63 73 71 6c 32 20 7b 0a 20 20 20 20 execsql2 {.
0a60: 53 45 4c 45 43 54 20 74 31 2e 2a 2c 20 74 32 2e SELECT t1.*, t2.
0a70: 2a 20 46 52 4f 4d 20 74 32 20 4e 41 54 55 52 41 * FROM t2 NATURA
0a80: 4c 20 4a 4f 49 4e 20 74 31 0a 20 20 7d 0a 7d 20 L JOIN t1. }.}
0a90: 7b 61 20 31 20 62 20 32 20 63 20 33 20 62 20 32 {a 1 b 2 c 3 b 2
0aa0: 20 63 20 33 20 64 20 34 20 61 20 32 20 62 20 33 c 3 d 4 a 2 b 3
0ab0: 20 63 20 34 20 62 20 33 20 63 20 34 20 64 20 35 c 4 b 3 c 4 d 5
0ac0: 7d 0a 0a 0a 64 6f 5f 74 65 73 74 20 6a 6f 69 6e }...do_test join
0ad0: 2d 31 2e 34 2e 31 20 7b 0a 20 20 65 78 65 63 73 -1.4.1 {. execs
0ae0: 71 6c 32 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 ql2 {. SELECT
0af0: 20 2a 20 46 52 4f 4d 20 74 31 20 49 4e 4e 45 52 * FROM t1 INNER
0b00: 20 4a 4f 49 4e 20 74 32 20 55 53 49 4e 47 28 62 JOIN t2 USING(b
0b10: 2c 63 29 3b 0a 20 20 7d 0a 7d 20 7b 61 20 31 20 ,c);. }.} {a 1
0b20: 62 20 32 20 63 20 33 20 64 20 34 20 61 20 32 20 b 2 c 3 d 4 a 2
0b30: 62 20 33 20 63 20 34 20 64 20 35 7d 0a 64 6f 5f b 3 c 4 d 5}.do_
0b40: 74 65 73 74 20 6a 6f 69 6e 2d 31 2e 34 2e 32 20 test join-1.4.2
0b50: 7b 0a 20 20 65 78 65 63 73 71 6c 32 20 7b 0a 20 {. execsql2 {.
0b60: 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d SELECT * FROM
0b70: 20 74 31 20 41 53 20 78 20 49 4e 4e 45 52 20 4a t1 AS x INNER J
0b80: 4f 49 4e 20 74 32 20 55 53 49 4e 47 28 62 2c 63 OIN t2 USING(b,c
0b90: 29 3b 0a 20 20 7d 0a 7d 20 7b 61 20 31 20 62 20 );. }.} {a 1 b
0ba0: 32 20 63 20 33 20 64 20 34 20 61 20 32 20 62 20 2 c 3 d 4 a 2 b
0bb0: 33 20 63 20 34 20 64 20 35 7d 0a 64 6f 5f 74 65 3 c 4 d 5}.do_te
0bc0: 73 74 20 6a 6f 69 6e 2d 31 2e 34 2e 33 20 7b 0a st join-1.4.3 {.
0bd0: 20 20 65 78 65 63 73 71 6c 32 20 7b 0a 20 20 20 execsql2 {.
0be0: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 SELECT * FROM t
0bf0: 31 20 49 4e 4e 45 52 20 4a 4f 49 4e 20 74 32 20 1 INNER JOIN t2
0c00: 41 53 20 79 20 55 53 49 4e 47 28 62 2c 63 29 3b AS y USING(b,c);
0c10: 0a 20 20 7d 0a 7d 20 7b 61 20 31 20 62 20 32 20 . }.} {a 1 b 2
0c20: 63 20 33 20 64 20 34 20 61 20 32 20 62 20 33 20 c 3 d 4 a 2 b 3
0c30: 63 20 34 20 64 20 35 7d 0a 64 6f 5f 74 65 73 74 c 4 d 5}.do_test
0c40: 20 6a 6f 69 6e 2d 31 2e 34 2e 34 20 7b 0a 20 20 join-1.4.4 {.
0c50: 65 78 65 63 73 71 6c 32 20 7b 0a 20 20 20 20 53 execsql2 {. S
0c60: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 ELECT * FROM t1
0c70: 41 53 20 78 20 49 4e 4e 45 52 20 4a 4f 49 4e 20 AS x INNER JOIN
0c80: 74 32 20 41 53 20 79 20 55 53 49 4e 47 28 62 2c t2 AS y USING(b,
0c90: 63 29 3b 0a 20 20 7d 0a 7d 20 7b 61 20 31 20 62 c);. }.} {a 1 b
0ca0: 20 32 20 63 20 33 20 64 20 34 20 61 20 32 20 62 2 c 3 d 4 a 2 b
0cb0: 20 33 20 63 20 34 20 64 20 35 7d 0a 64 6f 5f 74 3 c 4 d 5}.do_t
0cc0: 65 73 74 20 6a 6f 69 6e 2d 31 2e 34 2e 35 20 7b est join-1.4.5 {
0cd0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 . execsql {.
0ce0: 20 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20 74 SELECT b FROM t
0cf0: 31 20 4a 4f 49 4e 20 74 32 20 55 53 49 4e 47 28 1 JOIN t2 USING(
0d00: 62 29 3b 0a 20 20 7d 0a 7d 20 7b 32 20 33 7d 0a b);. }.} {2 3}.
0d10: 0a 23 20 54 69 63 6b 65 74 20 23 33 35 32 32 0a .# Ticket #3522.
0d20: 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 2d 31 2e 34 do_test join-1.4
0d30: 2e 36 20 7b 0a 20 20 65 78 65 63 73 71 6c 32 20 .6 {. execsql2
0d40: 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 74 31 2e {. SELECT t1.
0d50: 2a 20 46 52 4f 4d 20 74 31 20 4a 4f 49 4e 20 74 * FROM t1 JOIN t
0d60: 32 20 55 53 49 4e 47 28 62 29 3b 0a 20 20 7d 0a 2 USING(b);. }.
0d70: 7d 20 7b 61 20 31 20 62 20 32 20 63 20 33 20 61 } {a 1 b 2 c 3 a
0d80: 20 32 20 62 20 33 20 63 20 34 7d 0a 64 6f 5f 74 2 b 3 c 4}.do_t
0d90: 65 73 74 20 6a 6f 69 6e 2d 31 2e 34 2e 37 20 7b est join-1.4.7 {
0da0: 0a 20 20 65 78 65 63 73 71 6c 32 20 7b 0a 20 20 . execsql2 {.
0db0: 20 20 53 45 4c 45 43 54 20 74 32 2e 2a 20 46 52 SELECT t2.* FR
0dc0: 4f 4d 20 74 31 20 4a 4f 49 4e 20 74 32 20 55 53 OM t1 JOIN t2 US
0dd0: 49 4e 47 28 62 29 3b 0a 20 20 7d 0a 7d 20 7b 62 ING(b);. }.} {b
0de0: 20 32 20 63 20 33 20 64 20 34 20 62 20 33 20 63 2 c 3 d 4 b 3 c
0df0: 20 34 20 64 20 35 7d 0a 0a 64 6f 5f 74 65 73 74 4 d 5}..do_test
0e00: 20 6a 6f 69 6e 2d 31 2e 35 20 7b 0a 20 20 65 78 join-1.5 {. ex
0e10: 65 63 73 71 6c 32 20 7b 0a 20 20 20 20 53 45 4c ecsql2 {. SEL
0e20: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 49 4e ECT * FROM t1 IN
0e30: 4e 45 52 20 4a 4f 49 4e 20 74 32 20 55 53 49 4e NER JOIN t2 USIN
0e40: 47 28 62 29 3b 0a 20 20 7d 0a 7d 20 7b 61 20 31 G(b);. }.} {a 1
0e50: 20 62 20 32 20 63 20 33 20 63 20 33 20 64 20 34 b 2 c 3 c 3 d 4
0e60: 20 61 20 32 20 62 20 33 20 63 20 34 20 63 20 34 a 2 b 3 c 4 c 4
0e70: 20 64 20 35 7d 0a 64 6f 5f 74 65 73 74 20 6a 6f d 5}.do_test jo
0e80: 69 6e 2d 31 2e 36 20 7b 0a 20 20 65 78 65 63 73 in-1.6 {. execs
0e90: 71 6c 32 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 ql2 {. SELECT
0ea0: 20 2a 20 46 52 4f 4d 20 74 31 20 49 4e 4e 45 52 * FROM t1 INNER
0eb0: 20 4a 4f 49 4e 20 74 32 20 55 53 49 4e 47 28 63 JOIN t2 USING(c
0ec0: 29 3b 0a 20 20 7d 0a 7d 20 7b 61 20 31 20 62 20 );. }.} {a 1 b
0ed0: 32 20 63 20 33 20 62 20 32 20 64 20 34 20 61 20 2 c 3 b 2 d 4 a
0ee0: 32 20 62 20 33 20 63 20 34 20 62 20 33 20 64 20 2 b 3 c 4 b 3 d
0ef0: 35 7d 0a 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 2d 5}.do_test join-
0f00: 31 2e 37 20 7b 0a 20 20 65 78 65 63 73 71 6c 32 1.7 {. execsql2
0f10: 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 {. SELECT *
0f20: 46 52 4f 4d 20 74 31 20 49 4e 4e 45 52 20 4a 4f FROM t1 INNER JO
0f30: 49 4e 20 74 32 20 55 53 49 4e 47 28 63 2c 62 29 IN t2 USING(c,b)
0f40: 3b 0a 20 20 7d 0a 7d 20 7b 61 20 31 20 62 20 32 ;. }.} {a 1 b 2
0f50: 20 63 20 33 20 64 20 34 20 61 20 32 20 62 20 33 c 3 d 4 a 2 b 3
0f60: 20 63 20 34 20 64 20 35 7d 0a 0a 64 6f 5f 74 65 c 4 d 5}..do_te
0f70: 73 74 20 6a 6f 69 6e 2d 31 2e 38 20 7b 0a 20 20 st join-1.8 {.
0f80: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 execsql {. SE
0f90: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 4e LECT * FROM t1 N
0fa0: 41 54 55 52 41 4c 20 43 52 4f 53 53 20 4a 4f 49 ATURAL CROSS JOI
0fb0: 4e 20 74 32 3b 0a 20 20 7d 0a 7d 20 7b 31 20 32 N t2;. }.} {1 2
0fc0: 20 33 20 34 20 32 20 33 20 34 20 35 7d 0a 64 6f 3 4 2 3 4 5}.do
0fd0: 5f 74 65 73 74 20 6a 6f 69 6e 2d 31 2e 39 20 7b _test join-1.9 {
0fe0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 . execsql {.
0ff0: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 SELECT * FROM t
1000: 31 20 43 52 4f 53 53 20 4a 4f 49 4e 20 74 32 20 1 CROSS JOIN t2
1010: 55 53 49 4e 47 28 62 2c 63 29 3b 0a 20 20 7d 0a USING(b,c);. }.
1020: 7d 20 7b 31 20 32 20 33 20 34 20 32 20 33 20 34 } {1 2 3 4 2 3 4
1030: 20 35 7d 0a 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 5}.do_test join
1040: 2d 31 2e 31 30 20 7b 0a 20 20 65 78 65 63 73 71 -1.10 {. execsq
1050: 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a l {. SELECT *
1060: 20 46 52 4f 4d 20 74 31 20 4e 41 54 55 52 41 4c FROM t1 NATURAL
1070: 20 49 4e 4e 45 52 20 4a 4f 49 4e 20 74 32 3b 0a INNER JOIN t2;.
1080: 20 20 7d 0a 7d 20 7b 31 20 32 20 33 20 34 20 32 }.} {1 2 3 4 2
1090: 20 33 20 34 20 35 7d 0a 64 6f 5f 74 65 73 74 20 3 4 5}.do_test
10a0: 6a 6f 69 6e 2d 31 2e 31 31 20 7b 0a 20 20 65 78 join-1.11 {. ex
10b0: 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 ecsql {. SELE
10c0: 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 49 4e 4e CT * FROM t1 INN
10d0: 45 52 20 4a 4f 49 4e 20 74 32 20 55 53 49 4e 47 ER JOIN t2 USING
10e0: 28 62 2c 63 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 (b,c);. }.} {1
10f0: 32 20 33 20 34 20 32 20 33 20 34 20 35 7d 0a 64 2 3 4 2 3 4 5}.d
1100: 6f 5f 74 65 73 74 20 6a 6f 69 6e 2d 31 2e 31 32 o_test join-1.12
1110: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 {. execsql {.
1120: 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d SELECT * FROM
1130: 20 74 31 20 6e 61 74 75 72 61 6c 20 69 6e 6e 65 t1 natural inne
1140: 72 20 6a 6f 69 6e 20 74 32 3b 0a 20 20 7d 0a 7d r join t2;. }.}
1150: 20 7b 31 20 32 20 33 20 34 20 32 20 33 20 34 20 {1 2 3 4 2 3 4
1160: 35 7d 0a 0a 69 66 63 61 70 61 62 6c 65 20 73 75 5}..ifcapable su
1170: 62 71 75 65 72 79 20 7b 0a 20 20 64 6f 5f 74 65 bquery {. do_te
1180: 73 74 20 6a 6f 69 6e 2d 31 2e 31 33 20 7b 0a 20 st join-1.13 {.
1190: 20 20 20 65 78 65 63 73 71 6c 32 20 7b 0a 20 20 execsql2 {.
11a0: 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f SELECT * FRO
11b0: 4d 20 74 31 20 4e 41 54 55 52 41 4c 20 4a 4f 49 M t1 NATURAL JOI
11c0: 4e 20 0a 20 20 20 20 20 20 20 20 28 53 45 4c 45 N . (SELE
11d0: 43 54 20 62 20 61 73 20 27 63 27 2c 20 63 20 61 CT b as 'c', c a
11e0: 73 20 27 64 27 2c 20 64 20 61 73 20 27 65 27 20 s 'd', d as 'e'
11f0: 46 52 4f 4d 20 74 32 29 20 61 73 20 74 33 0a 20 FROM t2) as t3.
1200: 20 20 20 7d 0a 20 20 7d 20 7b 61 20 31 20 62 20 }. } {a 1 b
1210: 32 20 63 20 33 20 64 20 34 20 65 20 35 7d 0a 20 2 c 3 d 4 e 5}.
1220: 20 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 2d 31 2e do_test join-1.
1230: 31 34 20 7b 0a 20 20 20 20 65 78 65 63 73 71 6c 14 {. execsql
1240: 32 20 7b 0a 20 20 20 20 20 20 53 45 4c 45 43 54 2 {. SELECT
1250: 20 2a 20 46 52 4f 4d 20 28 53 45 4c 45 43 54 20 * FROM (SELECT
1260: 62 20 61 73 20 27 63 27 2c 20 63 20 61 73 20 27 b as 'c', c as '
1270: 64 27 2c 20 64 20 61 73 20 27 65 27 20 46 52 4f d', d as 'e' FRO
1280: 4d 20 74 32 29 20 61 73 20 27 74 78 27 0a 20 20 M t2) as 'tx'.
1290: 20 20 20 20 20 20 20 20 4e 41 54 55 52 41 4c 20 NATURAL
12a0: 4a 4f 49 4e 20 74 31 0a 20 20 20 20 7d 0a 20 20 JOIN t1. }.
12b0: 7d 20 7b 63 20 33 20 64 20 34 20 65 20 35 20 61 } {c 3 d 4 e 5 a
12c0: 20 31 20 62 20 32 7d 0a 7d 0a 0a 64 6f 5f 74 65 1 b 2}.}..do_te
12d0: 73 74 20 6a 6f 69 6e 2d 31 2e 31 35 20 7b 0a 20 st join-1.15 {.
12e0: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 43 execsql {. C
12f0: 52 45 41 54 45 20 54 41 42 4c 45 20 74 33 28 63 REATE TABLE t3(c
1300: 2c 64 2c 65 29 3b 0a 20 20 20 20 49 4e 53 45 52 ,d,e);. INSER
1310: 54 20 49 4e 54 4f 20 74 33 20 56 41 4c 55 45 53 T INTO t3 VALUES
1320: 28 32 2c 33 2c 34 29 3b 0a 20 20 20 20 49 4e 53 (2,3,4);. INS
1330: 45 52 54 20 49 4e 54 4f 20 74 33 20 56 41 4c 55 ERT INTO t3 VALU
1340: 45 53 28 33 2c 34 2c 35 29 3b 0a 20 20 20 20 49 ES(3,4,5);. I
1350: 4e 53 45 52 54 20 49 4e 54 4f 20 74 33 20 56 41 NSERT INTO t3 VA
1360: 4c 55 45 53 28 34 2c 35 2c 36 29 3b 0a 20 20 20 LUES(4,5,6);.
1370: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 SELECT * FROM t
1380: 33 3b 0a 20 20 7d 20 20 0a 7d 20 7b 32 20 33 20 3;. } .} {2 3
1390: 34 20 33 20 34 20 35 20 34 20 35 20 36 7d 0a 64 4 3 4 5 4 5 6}.d
13a0: 6f 5f 74 65 73 74 20 6a 6f 69 6e 2d 31 2e 31 36 o_test join-1.16
13b0: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 {. execsql {.
13c0: 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d SELECT * FROM
13d0: 20 74 31 20 6e 61 74 75 72 61 6c 20 6a 6f 69 6e t1 natural join
13e0: 20 74 32 20 6e 61 74 75 72 61 6c 20 6a 6f 69 6e t2 natural join
13f0: 20 74 33 3b 0a 20 20 7d 0a 7d 20 7b 31 20 32 20 t3;. }.} {1 2
1400: 33 20 34 20 35 20 32 20 33 20 34 20 35 20 36 7d 3 4 5 2 3 4 5 6}
1410: 0a 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 2d 31 2e .do_test join-1.
1420: 31 37 20 7b 0a 20 20 65 78 65 63 73 71 6c 32 20 17 {. execsql2
1430: 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 {. SELECT * F
1440: 52 4f 4d 20 74 31 20 6e 61 74 75 72 61 6c 20 6a ROM t1 natural j
1450: 6f 69 6e 20 74 32 20 6e 61 74 75 72 61 6c 20 6a oin t2 natural j
1460: 6f 69 6e 20 74 33 3b 0a 20 20 7d 0a 7d 20 7b 61 oin t3;. }.} {a
1470: 20 31 20 62 20 32 20 63 20 33 20 64 20 34 20 65 1 b 2 c 3 d 4 e
1480: 20 35 20 61 20 32 20 62 20 33 20 63 20 34 20 64 5 a 2 b 3 c 4 d
1490: 20 35 20 65 20 36 7d 0a 64 6f 5f 74 65 73 74 20 5 e 6}.do_test
14a0: 6a 6f 69 6e 2d 31 2e 31 38 20 7b 0a 20 20 65 78 join-1.18 {. ex
14b0: 65 63 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 ecsql {. CREA
14c0: 54 45 20 54 41 42 4c 45 20 74 34 28 64 2c 65 2c TE TABLE t4(d,e,
14d0: 66 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 f);. INSERT I
14e0: 4e 54 4f 20 74 34 20 56 41 4c 55 45 53 28 32 2c NTO t4 VALUES(2,
14f0: 33 2c 34 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 3,4);. INSERT
1500: 20 49 4e 54 4f 20 74 34 20 56 41 4c 55 45 53 28 INTO t4 VALUES(
1510: 33 2c 34 2c 35 29 3b 0a 20 20 20 20 49 4e 53 45 3,4,5);. INSE
1520: 52 54 20 49 4e 54 4f 20 74 34 20 56 41 4c 55 45 RT INTO t4 VALUE
1530: 53 28 34 2c 35 2c 36 29 3b 0a 20 20 20 20 53 45 S(4,5,6);. SE
1540: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 34 3b 0a LECT * FROM t4;.
1550: 20 20 7d 20 20 0a 7d 20 7b 32 20 33 20 34 20 33 } .} {2 3 4 3
1560: 20 34 20 35 20 34 20 35 20 36 7d 0a 64 6f 5f 74 4 5 4 5 6}.do_t
1570: 65 73 74 20 6a 6f 69 6e 2d 31 2e 31 39 2e 31 20 est join-1.19.1
1580: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 {. execsql {.
1590: 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 SELECT * FROM
15a0: 74 31 20 6e 61 74 75 72 61 6c 20 6a 6f 69 6e 20 t1 natural join
15b0: 74 32 20 6e 61 74 75 72 61 6c 20 6a 6f 69 6e 20 t2 natural join
15c0: 74 34 3b 0a 20 20 7d 0a 7d 20 7b 31 20 32 20 33 t4;. }.} {1 2 3
15d0: 20 34 20 35 20 36 7d 0a 64 6f 5f 74 65 73 74 20 4 5 6}.do_test
15e0: 6a 6f 69 6e 2d 31 2e 31 39 2e 32 20 7b 0a 20 20 join-1.19.2 {.
15f0: 65 78 65 63 73 71 6c 32 20 7b 0a 20 20 20 20 53 execsql2 {. S
1600: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 ELECT * FROM t1
1610: 6e 61 74 75 72 61 6c 20 6a 6f 69 6e 20 74 32 20 natural join t2
1620: 6e 61 74 75 72 61 6c 20 6a 6f 69 6e 20 74 34 3b natural join t4;
1630: 0a 20 20 7d 0a 7d 20 7b 61 20 31 20 62 20 32 20 . }.} {a 1 b 2
1640: 63 20 33 20 64 20 34 20 65 20 35 20 66 20 36 7d c 3 d 4 e 5 f 6}
1650: 0a 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 2d 31 2e .do_test join-1.
1660: 32 30 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 {. execsql {
1670: 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 . SELECT * FR
1680: 4f 4d 20 74 31 20 6e 61 74 75 72 61 6c 20 6a 6f OM t1 natural jo
1690: 69 6e 20 74 32 20 6e 61 74 75 72 61 6c 20 6a 6f in t2 natural jo
16a0: 69 6e 20 74 33 20 57 48 45 52 45 20 74 31 2e 61 in t3 WHERE t1.a
16b0: 3d 31 0a 20 20 7d 0a 7d 20 7b 31 20 32 20 33 20 =1. }.} {1 2 3
16c0: 34 20 35 7d 0a 0a 64 6f 5f 74 65 73 74 20 6a 6f 4 5}..do_test jo
16d0: 69 6e 2d 32 2e 31 20 7b 0a 20 20 65 78 65 63 73 in-2.1 {. execs
16e0: 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 ql {. SELECT
16f0: 2a 20 46 52 4f 4d 20 74 31 20 4e 41 54 55 52 41 * FROM t1 NATURA
1700: 4c 20 4c 45 46 54 20 4a 4f 49 4e 20 74 32 3b 0a L LEFT JOIN t2;.
1710: 20 20 7d 0a 7d 20 7b 31 20 32 20 33 20 34 20 32 }.} {1 2 3 4 2
1720: 20 33 20 34 20 35 20 33 20 34 20 35 20 7b 7d 7d 3 4 5 3 4 5 {}}
1730: 0a 0a 23 20 74 69 63 6b 65 74 20 23 33 35 32 32 ..# ticket #3522
1740: 0a 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 2d 32 2e .do_test join-2.
1750: 31 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 32 1.1 {. execsql2
1760: 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 {. SELECT *
1770: 46 52 4f 4d 20 74 31 20 4e 41 54 55 52 41 4c 20 FROM t1 NATURAL
1780: 4c 45 46 54 20 4a 4f 49 4e 20 74 32 3b 0a 20 20 LEFT JOIN t2;.
1790: 7d 0a 7d 20 7b 61 20 31 20 62 20 32 20 63 20 33 }.} {a 1 b 2 c 3
17a0: 20 64 20 34 20 61 20 32 20 62 20 33 20 63 20 34 d 4 a 2 b 3 c 4
17b0: 20 64 20 35 20 61 20 33 20 62 20 34 20 63 20 35 d 5 a 3 b 4 c 5
17c0: 20 64 20 7b 7d 7d 0a 64 6f 5f 74 65 73 74 20 6a d {}}.do_test j
17d0: 6f 69 6e 2d 32 2e 31 2e 32 20 7b 0a 20 20 65 78 oin-2.1.2 {. ex
17e0: 65 63 73 71 6c 32 20 7b 0a 20 20 20 20 53 45 4c ecsql2 {. SEL
17f0: 45 43 54 20 74 31 2e 2a 20 46 52 4f 4d 20 74 31 ECT t1.* FROM t1
1800: 20 4e 41 54 55 52 41 4c 20 4c 45 46 54 20 4a 4f NATURAL LEFT JO
1810: 49 4e 20 74 32 3b 0a 20 20 7d 0a 7d 20 7b 61 20 IN t2;. }.} {a
1820: 31 20 62 20 32 20 63 20 33 20 61 20 32 20 62 20 1 b 2 c 3 a 2 b
1830: 33 20 63 20 34 20 61 20 33 20 62 20 34 20 63 20 3 c 4 a 3 b 4 c
1840: 35 7d 0a 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 2d 5}.do_test join-
1850: 32 2e 31 2e 33 20 7b 0a 20 20 65 78 65 63 73 71 2.1.3 {. execsq
1860: 6c 32 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 l2 {. SELECT
1870: 74 32 2e 2a 20 46 52 4f 4d 20 74 31 20 4e 41 54 t2.* FROM t1 NAT
1880: 55 52 41 4c 20 4c 45 46 54 20 4a 4f 49 4e 20 74 URAL LEFT JOIN t
1890: 32 3b 0a 20 20 7d 0a 7d 20 7b 62 20 32 20 63 20 2;. }.} {b 2 c
18a0: 33 20 64 20 34 20 62 20 33 20 63 20 34 20 64 20 3 d 4 b 3 c 4 d
18b0: 35 20 62 20 7b 7d 20 63 20 7b 7d 20 64 20 7b 7d 5 b {} c {} d {}
18c0: 7d 0a 0a 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 2d }..do_test join-
18d0: 32 2e 32 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 2.2 {. execsql
18e0: 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 {. SELECT * F
18f0: 52 4f 4d 20 74 32 20 4e 41 54 55 52 41 4c 20 4c ROM t2 NATURAL L
1900: 45 46 54 20 4f 55 54 45 52 20 4a 4f 49 4e 20 74 EFT OUTER JOIN t
1910: 31 3b 0a 20 20 7d 0a 7d 20 7b 31 20 32 20 33 20 1;. }.} {1 2 3
1920: 7b 7d 20 32 20 33 20 34 20 31 20 33 20 34 20 35 {} 2 3 4 1 3 4 5
1930: 20 32 7d 0a 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 2}.do_test join
1940: 2d 32 2e 33 20 7b 0a 20 20 63 61 74 63 68 73 71 -2.3 {. catchsq
1950: 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a l {. SELECT *
1960: 20 46 52 4f 4d 20 74 31 20 4e 41 54 55 52 41 4c FROM t1 NATURAL
1970: 20 52 49 47 48 54 20 4f 55 54 45 52 20 4a 4f 49 RIGHT OUTER JOI
1980: 4e 20 74 32 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b N t2;. }.} {1 {
1990: 52 49 47 48 54 20 61 6e 64 20 46 55 4c 4c 20 4f RIGHT and FULL O
19a0: 55 54 45 52 20 4a 4f 49 4e 73 20 61 72 65 20 6e UTER JOINs are n
19b0: 6f 74 20 63 75 72 72 65 6e 74 6c 79 20 73 75 70 ot currently sup
19c0: 70 6f 72 74 65 64 7d 7d 0a 64 6f 5f 74 65 73 74 ported}}.do_test
19d0: 20 6a 6f 69 6e 2d 32 2e 34 20 7b 0a 20 20 65 78 join-2.4 {. ex
19e0: 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 ecsql {. SELE
19f0: 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 4c 45 46 CT * FROM t1 LEF
1a00: 54 20 4a 4f 49 4e 20 74 32 20 4f 4e 20 74 31 2e T JOIN t2 ON t1.
1a10: 61 3d 74 32 2e 64 0a 20 20 7d 0a 7d 20 7b 31 20 a=t2.d. }.} {1
1a20: 32 20 33 20 7b 7d 20 7b 7d 20 7b 7d 20 32 20 33 2 3 {} {} {} 2 3
1a30: 20 34 20 7b 7d 20 7b 7d 20 7b 7d 20 33 20 34 20 4 {} {} {} 3 4
1a40: 35 20 31 20 32 20 33 7d 0a 64 6f 5f 74 65 73 74 5 1 2 3}.do_test
1a50: 20 6a 6f 69 6e 2d 32 2e 35 20 7b 0a 20 20 65 78 join-2.5 {. ex
1a60: 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 ecsql {. SELE
1a70: 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 4c 45 46 CT * FROM t1 LEF
1a80: 54 20 4a 4f 49 4e 20 74 32 20 4f 4e 20 74 31 2e T JOIN t2 ON t1.
1a90: 61 3d 74 32 2e 64 20 57 48 45 52 45 20 74 31 2e a=t2.d WHERE t1.
1aa0: 61 3e 31 0a 20 20 7d 0a 7d 20 7b 32 20 33 20 34 a>1. }.} {2 3 4
1ab0: 20 7b 7d 20 7b 7d 20 7b 7d 20 33 20 34 20 35 20 {} {} {} 3 4 5
1ac0: 31 20 32 20 33 7d 0a 64 6f 5f 74 65 73 74 20 6a 1 2 3}.do_test j
1ad0: 6f 69 6e 2d 32 2e 36 20 7b 0a 20 20 65 78 65 63 oin-2.6 {. exec
1ae0: 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 sql {. SELECT
1af0: 20 2a 20 46 52 4f 4d 20 74 31 20 4c 45 46 54 20 * FROM t1 LEFT
1b00: 4a 4f 49 4e 20 74 32 20 4f 4e 20 74 31 2e 61 3d JOIN t2 ON t1.a=
1b10: 74 32 2e 64 20 57 48 45 52 45 20 74 32 2e 62 20 t2.d WHERE t2.b
1b20: 49 53 20 4e 55 4c 4c 20 4f 52 20 74 32 2e 62 3e IS NULL OR t2.b>
1b30: 31 0a 20 20 7d 0a 7d 20 7b 31 20 32 20 33 20 7b 1. }.} {1 2 3 {
1b40: 7d 20 7b 7d 20 7b 7d 20 32 20 33 20 34 20 7b 7d } {} {} 2 3 4 {}
1b50: 20 7b 7d 20 7b 7d 7d 0a 0a 64 6f 5f 74 65 73 74 {} {}}..do_test
1b60: 20 6a 6f 69 6e 2d 33 2e 31 20 7b 0a 20 20 63 61 join-3.1 {. ca
1b70: 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c tchsql {. SEL
1b80: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 4e 41 ECT * FROM t1 NA
1b90: 54 55 52 41 4c 20 4a 4f 49 4e 20 74 32 20 4f 4e TURAL JOIN t2 ON
1ba0: 20 74 31 2e 61 3d 74 32 2e 62 3b 0a 20 20 7d 0a t1.a=t2.b;. }.
1bb0: 7d 20 7b 31 20 7b 61 20 4e 41 54 55 52 41 4c 20 } {1 {a NATURAL
1bc0: 6a 6f 69 6e 20 6d 61 79 20 6e 6f 74 20 68 61 76 join may not hav
1bd0: 65 20 61 6e 20 4f 4e 20 6f 72 20 55 53 49 4e 47 e an ON or USING
1be0: 20 63 6c 61 75 73 65 7d 7d 0a 64 6f 5f 74 65 73 clause}}.do_tes
1bf0: 74 20 6a 6f 69 6e 2d 33 2e 32 20 7b 0a 20 20 63 t join-3.2 {. c
1c00: 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 53 45 atchsql {. SE
1c10: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 4e LECT * FROM t1 N
1c20: 41 54 55 52 41 4c 20 4a 4f 49 4e 20 74 32 20 55 ATURAL JOIN t2 U
1c30: 53 49 4e 47 28 62 29 3b 0a 20 20 7d 0a 7d 20 7b SING(b);. }.} {
1c40: 31 20 7b 61 20 4e 41 54 55 52 41 4c 20 6a 6f 69 1 {a NATURAL joi
1c50: 6e 20 6d 61 79 20 6e 6f 74 20 68 61 76 65 20 61 n may not have a
1c60: 6e 20 4f 4e 20 6f 72 20 55 53 49 4e 47 20 63 6c n ON or USING cl
1c70: 61 75 73 65 7d 7d 0a 64 6f 5f 74 65 73 74 20 6a ause}}.do_test j
1c80: 6f 69 6e 2d 33 2e 33 20 7b 0a 20 20 63 61 74 63 oin-3.3 {. catc
1c90: 68 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 hsql {. SELEC
1ca0: 54 20 2a 20 46 52 4f 4d 20 74 31 20 4a 4f 49 4e T * FROM t1 JOIN
1cb0: 20 74 32 20 4f 4e 20 74 31 2e 61 3d 74 32 2e 62 t2 ON t1.a=t2.b
1cc0: 20 55 53 49 4e 47 28 62 29 3b 0a 20 20 7d 0a 7d USING(b);. }.}
1cd0: 20 7b 31 20 7b 63 61 6e 6e 6f 74 20 68 61 76 65 {1 {cannot have
1ce0: 20 62 6f 74 68 20 4f 4e 20 61 6e 64 20 55 53 49 both ON and USI
1cf0: 4e 47 20 63 6c 61 75 73 65 73 20 69 6e 20 74 68 NG clauses in th
1d00: 65 20 73 61 6d 65 20 6a 6f 69 6e 7d 7d 0a 64 6f e same join}}.do
1d10: 5f 74 65 73 74 20 6a 6f 69 6e 2d 33 2e 34 2e 31 _test join-3.4.1
1d20: 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a {. catchsql {.
1d30: 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f SELECT * FRO
1d40: 4d 20 74 31 20 4a 4f 49 4e 20 74 32 20 55 53 49 M t1 JOIN t2 USI
1d50: 4e 47 28 61 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 NG(a);. }.} {1
1d60: 7b 63 61 6e 6e 6f 74 20 6a 6f 69 6e 20 75 73 69 {cannot join usi
1d70: 6e 67 20 63 6f 6c 75 6d 6e 20 61 20 2d 20 63 6f ng column a - co
1d80: 6c 75 6d 6e 20 6e 6f 74 20 70 72 65 73 65 6e 74 lumn not present
1d90: 20 69 6e 20 62 6f 74 68 20 74 61 62 6c 65 73 7d in both tables}
1da0: 7d 0a 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 2d 33 }.do_test join-3
1db0: 2e 34 2e 32 20 7b 0a 20 20 63 61 74 63 68 73 71 .4.2 {. catchsq
1dc0: 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a l {. SELECT *
1dd0: 20 46 52 4f 4d 20 74 31 20 4a 4f 49 4e 20 74 32 FROM t1 JOIN t2
1de0: 20 55 53 49 4e 47 28 64 29 3b 0a 20 20 7d 0a 7d USING(d);. }.}
1df0: 20 7b 31 20 7b 63 61 6e 6e 6f 74 20 6a 6f 69 6e {1 {cannot join
1e00: 20 75 73 69 6e 67 20 63 6f 6c 75 6d 6e 20 64 20 using column d
1e10: 2d 20 63 6f 6c 75 6d 6e 20 6e 6f 74 20 70 72 65 - column not pre
1e20: 73 65 6e 74 20 69 6e 20 62 6f 74 68 20 74 61 62 sent in both tab
1e30: 6c 65 73 7d 7d 0a 64 6f 5f 74 65 73 74 20 6a 6f les}}.do_test jo
1e40: 69 6e 2d 33 2e 35 20 7b 0a 20 20 63 61 74 63 68 in-3.5 {. catch
1e50: 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 sql { SELECT * F
1e60: 52 4f 4d 20 74 31 20 55 53 49 4e 47 28 61 29 20 ROM t1 USING(a)
1e70: 7d 0a 7d 20 7b 31 20 7b 61 20 4a 4f 49 4e 20 63 }.} {1 {a JOIN c
1e80: 6c 61 75 73 65 20 69 73 20 72 65 71 75 69 72 65 lause is require
1e90: 64 20 62 65 66 6f 72 65 20 55 53 49 4e 47 7d 7d d before USING}}
1ea0: 0a 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 2d 33 2e .do_test join-3.
1eb0: 36 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 6 {. catchsql {
1ec0: 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 . SELECT * FR
1ed0: 4f 4d 20 74 31 20 4a 4f 49 4e 20 74 32 20 4f 4e OM t1 JOIN t2 ON
1ee0: 20 74 33 2e 61 3d 74 32 2e 62 3b 0a 20 20 7d 0a t3.a=t2.b;. }.
1ef0: 7d 20 7b 31 20 7b 6e 6f 20 73 75 63 68 20 63 6f } {1 {no such co
1f00: 6c 75 6d 6e 3a 20 74 33 2e 61 7d 7d 0a 64 6f 5f lumn: t3.a}}.do_
1f10: 74 65 73 74 20 6a 6f 69 6e 2d 33 2e 37 20 7b 0a test join-3.7 {.
1f20: 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 catchsql {.
1f30: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 SELECT * FROM t
1f40: 31 20 49 4e 4e 45 52 20 4f 55 54 45 52 20 4a 4f 1 INNER OUTER JO
1f50: 49 4e 20 74 32 3b 0a 20 20 7d 0a 7d 20 7b 31 20 IN t2;. }.} {1
1f60: 7b 75 6e 6b 6e 6f 77 6e 20 6f 72 20 75 6e 73 75 {unknown or unsu
1f70: 70 70 6f 72 74 65 64 20 6a 6f 69 6e 20 74 79 70 pported join typ
1f80: 65 3a 20 49 4e 4e 45 52 20 4f 55 54 45 52 7d 7d e: INNER OUTER}}
1f90: 0a 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 2d 33 2e .do_test join-3.
1fa0: 38 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 8 {. catchsql {
1fb0: 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 . SELECT * FR
1fc0: 4f 4d 20 74 31 20 49 4e 4e 45 52 20 4f 55 54 45 OM t1 INNER OUTE
1fd0: 52 20 43 52 4f 53 53 20 4a 4f 49 4e 20 74 32 3b R CROSS JOIN t2;
1fe0: 0a 20 20 7d 0a 7d 20 7b 31 20 7b 75 6e 6b 6e 6f . }.} {1 {unkno
1ff0: 77 6e 20 6f 72 20 75 6e 73 75 70 70 6f 72 74 65 wn or unsupporte
2000: 64 20 6a 6f 69 6e 20 74 79 70 65 3a 20 49 4e 4e d join type: INN
2010: 45 52 20 4f 55 54 45 52 20 43 52 4f 53 53 7d 7d ER OUTER CROSS}}
2020: 0a 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 2d 33 2e .do_test join-3.
2030: 39 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 9 {. catchsql {
2040: 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 . SELECT * FR
2050: 4f 4d 20 74 31 20 4f 55 54 45 52 20 4e 41 54 55 OM t1 OUTER NATU
2060: 52 41 4c 20 49 4e 4e 45 52 20 4a 4f 49 4e 20 74 RAL INNER JOIN t
2070: 32 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 75 6e 6b 2;. }.} {1 {unk
2080: 6e 6f 77 6e 20 6f 72 20 75 6e 73 75 70 70 6f 72 nown or unsuppor
2090: 74 65 64 20 6a 6f 69 6e 20 74 79 70 65 3a 20 4f ted join type: O
20a0: 55 54 45 52 20 4e 41 54 55 52 41 4c 20 49 4e 4e UTER NATURAL INN
20b0: 45 52 7d 7d 0a 64 6f 5f 74 65 73 74 20 6a 6f 69 ER}}.do_test joi
20c0: 6e 2d 33 2e 31 30 20 7b 0a 20 20 63 61 74 63 68 n-3.10 {. catch
20d0: 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 sql {. SELECT
20e0: 20 2a 20 46 52 4f 4d 20 74 31 20 4c 45 46 54 20 * FROM t1 LEFT
20f0: 42 4f 47 55 53 20 4a 4f 49 4e 20 74 32 3b 0a 20 BOGUS JOIN t2;.
2100: 20 7d 0a 7d 20 7b 31 20 7b 75 6e 6b 6e 6f 77 6e }.} {1 {unknown
2110: 20 6f 72 20 75 6e 73 75 70 70 6f 72 74 65 64 20 or unsupported
2120: 6a 6f 69 6e 20 74 79 70 65 3a 20 4c 45 46 54 20 join type: LEFT
2130: 42 4f 47 55 53 7d 7d 0a 64 6f 5f 74 65 73 74 20 BOGUS}}.do_test
2140: 6a 6f 69 6e 2d 33 2e 31 31 20 7b 0a 20 20 63 61 join-3.11 {. ca
2150: 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c tchsql {. SEL
2160: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 49 4e ECT * FROM t1 IN
2170: 4e 45 52 20 42 4f 47 55 53 20 43 52 4f 53 53 20 NER BOGUS CROSS
2180: 4a 4f 49 4e 20 74 32 3b 0a 20 20 7d 0a 7d 20 7b JOIN t2;. }.} {
2190: 31 20 7b 75 6e 6b 6e 6f 77 6e 20 6f 72 20 75 6e 1 {unknown or un
21a0: 73 75 70 70 6f 72 74 65 64 20 6a 6f 69 6e 20 74 supported join t
21b0: 79 70 65 3a 20 49 4e 4e 45 52 20 42 4f 47 55 53 ype: INNER BOGUS
21c0: 20 43 52 4f 53 53 7d 7d 0a 64 6f 5f 74 65 73 74 CROSS}}.do_test
21d0: 20 6a 6f 69 6e 2d 33 2e 31 32 20 7b 0a 20 20 63 join-3.12 {. c
21e0: 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 53 45 atchsql {. SE
21f0: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 4e LECT * FROM t1 N
2200: 41 54 55 52 41 4c 20 41 57 4b 20 53 45 44 20 4a ATURAL AWK SED J
2210: 4f 49 4e 20 74 32 3b 0a 20 20 7d 0a 7d 20 7b 31 OIN t2;. }.} {1
2220: 20 7b 75 6e 6b 6e 6f 77 6e 20 6f 72 20 75 6e 73 {unknown or uns
2230: 75 70 70 6f 72 74 65 64 20 6a 6f 69 6e 20 74 79 upported join ty
2240: 70 65 3a 20 4e 41 54 55 52 41 4c 20 41 57 4b 20 pe: NATURAL AWK
2250: 53 45 44 7d 7d 0a 0a 64 6f 5f 74 65 73 74 20 6a SED}}..do_test j
2260: 6f 69 6e 2d 34 2e 31 20 7b 0a 20 20 65 78 65 63 oin-4.1 {. exec
2270: 73 71 6c 20 7b 0a 20 20 20 20 42 45 47 49 4e 3b sql {. BEGIN;
2280: 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c . CREATE TABL
2290: 45 20 74 35 28 61 20 49 4e 54 45 47 45 52 20 50 E t5(a INTEGER P
22a0: 52 49 4d 41 52 59 20 4b 45 59 29 3b 0a 20 20 20 RIMARY KEY);.
22b0: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 36 CREATE TABLE t6
22c0: 28 61 20 49 4e 54 45 47 45 52 29 3b 0a 20 20 20 (a INTEGER);.
22d0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 36 20 INSERT INTO t6
22e0: 56 41 4c 55 45 53 28 4e 55 4c 4c 29 3b 0a 20 20 VALUES(NULL);.
22f0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 36 INSERT INTO t6
2300: 20 56 41 4c 55 45 53 28 4e 55 4c 4c 29 3b 0a 20 VALUES(NULL);.
2310: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 INSERT INTO t
2320: 36 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 6 SELECT * FROM
2330: 74 36 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 t6;. INSERT I
2340: 4e 54 4f 20 74 36 20 53 45 4c 45 43 54 20 2a 20 NTO t6 SELECT *
2350: 46 52 4f 4d 20 74 36 3b 0a 20 20 20 20 49 4e 53 FROM t6;. INS
2360: 45 52 54 20 49 4e 54 4f 20 74 36 20 53 45 4c 45 ERT INTO t6 SELE
2370: 43 54 20 2a 20 46 52 4f 4d 20 74 36 3b 0a 20 20 CT * FROM t6;.
2380: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 36 INSERT INTO t6
2390: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 SELECT * FROM t
23a0: 36 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 6;. INSERT IN
23b0: 54 4f 20 74 36 20 53 45 4c 45 43 54 20 2a 20 46 TO t6 SELECT * F
23c0: 52 4f 4d 20 74 36 3b 0a 20 20 20 20 49 4e 53 45 ROM t6;. INSE
23d0: 52 54 20 49 4e 54 4f 20 74 36 20 53 45 4c 45 43 RT INTO t6 SELEC
23e0: 54 20 2a 20 46 52 4f 4d 20 74 36 3b 0a 20 20 20 T * FROM t6;.
23f0: 20 43 4f 4d 4d 49 54 3b 0a 20 20 7d 0a 20 20 65 COMMIT;. }. e
2400: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c xecsql {. SEL
2410: 45 43 54 20 2a 20 46 52 4f 4d 20 74 36 20 4e 41 ECT * FROM t6 NA
2420: 54 55 52 41 4c 20 4a 4f 49 4e 20 74 35 3b 0a 20 TURAL JOIN t5;.
2430: 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20 }.} {}.do_test
2440: 6a 6f 69 6e 2d 34 2e 32 20 7b 0a 20 20 65 78 65 join-4.2 {. exe
2450: 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 csql {. SELEC
2460: 54 20 2a 20 46 52 4f 4d 20 74 36 2c 20 74 35 20 T * FROM t6, t5
2470: 57 48 45 52 45 20 74 36 2e 61 3c 74 35 2e 61 3b WHERE t6.a<t5.a;
2480: 0a 20 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73 . }.} {}.do_tes
2490: 74 20 6a 6f 69 6e 2d 34 2e 33 20 7b 0a 20 20 65 t join-4.3 {. e
24a0: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c xecsql {. SEL
24b0: 45 43 54 20 2a 20 46 52 4f 4d 20 74 36 2c 20 74 ECT * FROM t6, t
24c0: 35 20 57 48 45 52 45 20 74 36 2e 61 3e 74 35 2e 5 WHERE t6.a>t5.
24d0: 61 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 a;. }.} {}.do_t
24e0: 65 73 74 20 6a 6f 69 6e 2d 34 2e 34 20 7b 0a 20 est join-4.4 {.
24f0: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 55 execsql {. U
2500: 50 44 41 54 45 20 74 36 20 53 45 54 20 61 3d 27 PDATE t6 SET a='
2510: 78 79 7a 27 3b 0a 20 20 20 20 53 45 4c 45 43 54 xyz';. SELECT
2520: 20 2a 20 46 52 4f 4d 20 74 36 20 4e 41 54 55 52 * FROM t6 NATUR
2530: 41 4c 20 4a 4f 49 4e 20 74 35 3b 0a 20 20 7d 0a AL JOIN t5;. }.
2540: 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20 6a 6f 69 } {}.do_test joi
2550: 6e 2d 34 2e 36 20 7b 0a 20 20 65 78 65 63 73 71 n-4.6 {. execsq
2560: 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a l {. SELECT *
2570: 20 46 52 4f 4d 20 74 36 2c 20 74 35 20 57 48 45 FROM t6, t5 WHE
2580: 52 45 20 74 36 2e 61 3c 74 35 2e 61 3b 0a 20 20 RE t6.a<t5.a;.
2590: 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20 6a }.} {}.do_test j
25a0: 6f 69 6e 2d 34 2e 37 20 7b 0a 20 20 65 78 65 63 oin-4.7 {. exec
25b0: 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 sql {. SELECT
25c0: 20 2a 20 46 52 4f 4d 20 74 36 2c 20 74 35 20 57 * FROM t6, t5 W
25d0: 48 45 52 45 20 74 36 2e 61 3e 74 35 2e 61 3b 0a HERE t6.a>t5.a;.
25e0: 20 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 }.} {}.do_test
25f0: 20 6a 6f 69 6e 2d 34 2e 38 20 7b 0a 20 20 65 78 join-4.8 {. ex
2600: 65 63 73 71 6c 20 7b 0a 20 20 20 20 55 50 44 41 ecsql {. UPDA
2610: 54 45 20 74 36 20 53 45 54 20 61 3d 31 3b 0a 20 TE t6 SET a=1;.
2620: 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d SELECT * FROM
2630: 20 74 36 20 4e 41 54 55 52 41 4c 20 4a 4f 49 4e t6 NATURAL JOIN
2640: 20 74 35 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 64 6f t5;. }.} {}.do
2650: 5f 74 65 73 74 20 6a 6f 69 6e 2d 34 2e 39 20 7b _test join-4.9 {
2660: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 . execsql {.
2670: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 SELECT * FROM t
2680: 36 2c 20 74 35 20 57 48 45 52 45 20 74 36 2e 61 6, t5 WHERE t6.a
2690: 3c 74 35 2e 61 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a <t5.a;. }.} {}.
26a0: 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 2d 34 2e 31 do_test join-4.1
26b0: 30 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 0 {. execsql {.
26c0: 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f SELECT * FRO
26d0: 4d 20 74 36 2c 20 74 35 20 57 48 45 52 45 20 74 M t6, t5 WHERE t
26e0: 36 2e 61 3e 74 35 2e 61 3b 0a 20 20 7d 0a 7d 20 6.a>t5.a;. }.}
26f0: 7b 7d 0a 0a 64 6f 5f 74 65 73 74 20 6a 6f 69 6e {}..do_test join
2700: 2d 35 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c -5.1 {. execsql
2710: 20 7b 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 {. BEGIN;.
2720: 20 20 63 72 65 61 74 65 20 74 61 62 6c 65 20 63 create table c
2730: 65 6e 74 72 6f 73 20 28 69 64 20 69 6e 74 65 67 entros (id integ
2740: 65 72 20 70 72 69 6d 61 72 79 20 6b 65 79 2c 20 er primary key,
2750: 63 65 6e 74 72 6f 29 3b 0a 20 20 20 20 49 4e 53 centro);. INS
2760: 45 52 54 20 49 4e 54 4f 20 63 65 6e 74 72 6f 73 ERT INTO centros
2770: 20 56 41 4c 55 45 53 28 31 2c 27 78 78 78 27 29 VALUES(1,'xxx')
2780: 3b 0a 20 20 20 20 63 72 65 61 74 65 20 74 61 62 ;. create tab
2790: 6c 65 20 75 73 75 61 72 69 6f 73 20 28 69 64 20 le usuarios (id
27a0: 69 6e 74 65 67 65 72 20 70 72 69 6d 61 72 79 20 integer primary
27b0: 6b 65 79 2c 20 6e 6f 6d 62 72 65 2c 20 61 70 65 key, nombre, ape
27c0: 6c 6c 69 64 6f 73 2c 0a 20 20 20 20 69 64 63 65 llidos,. idce
27d0: 6e 74 72 6f 20 69 6e 74 65 67 65 72 29 3b 0a 20 ntro integer);.
27e0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 75 INSERT INTO u
27f0: 73 75 61 72 69 6f 73 20 56 41 4c 55 45 53 28 31 suarios VALUES(1
2800: 2c 27 61 27 2c 27 61 61 27 2c 31 29 3b 0a 20 20 ,'a','aa',1);.
2810: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 75 73 INSERT INTO us
2820: 75 61 72 69 6f 73 20 56 41 4c 55 45 53 28 32 2c uarios VALUES(2,
2830: 27 62 27 2c 27 62 62 27 2c 31 29 3b 0a 20 20 20 'b','bb',1);.
2840: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 75 73 75 INSERT INTO usu
2850: 61 72 69 6f 73 20 56 41 4c 55 45 53 28 33 2c 27 arios VALUES(3,'
2860: 63 27 2c 27 63 63 27 2c 4e 55 4c 4c 29 3b 0a 20 c','cc',NULL);.
2870: 20 20 20 63 72 65 61 74 65 20 69 6e 64 65 78 20 create index
2880: 69 64 63 65 6e 74 72 6f 20 6f 6e 20 75 73 75 61 idcentro on usua
2890: 72 69 6f 73 20 28 69 64 63 65 6e 74 72 6f 29 3b rios (idcentro);
28a0: 0a 20 20 20 20 45 4e 44 3b 0a 20 20 20 20 73 65 . END;. se
28b0: 6c 65 63 74 20 75 73 75 61 72 69 6f 73 2e 69 64 lect usuarios.id
28c0: 2c 20 75 73 75 61 72 69 6f 73 2e 6e 6f 6d 62 72 , usuarios.nombr
28d0: 65 2c 20 63 65 6e 74 72 6f 73 2e 63 65 6e 74 72 e, centros.centr
28e0: 6f 20 66 72 6f 6d 0a 20 20 20 20 75 73 75 61 72 o from. usuar
28f0: 69 6f 73 20 6c 65 66 74 20 6f 75 74 65 72 20 6a ios left outer j
2900: 6f 69 6e 20 63 65 6e 74 72 6f 73 20 6f 6e 20 75 oin centros on u
2910: 73 75 61 72 69 6f 73 2e 69 64 63 65 6e 74 72 6f suarios.idcentro
2920: 20 3d 20 63 65 6e 74 72 6f 73 2e 69 64 3b 0a 20 = centros.id;.
2930: 20 7d 0a 7d 20 7b 31 20 61 20 78 78 78 20 32 20 }.} {1 a xxx 2
2940: 62 20 78 78 78 20 33 20 63 20 7b 7d 7d 0a 0a 23 b xxx 3 c {}}..#
2950: 20 41 20 74 65 73 74 20 66 6f 72 20 74 69 63 6b A test for tick
2960: 65 74 20 23 32 34 37 2e 0a 23 0a 64 6f 5f 74 65 et #247..#.do_te
2970: 73 74 20 6a 6f 69 6e 2d 37 2e 31 20 7b 0a 20 20 st join-7.1 {.
2980: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 43 52 execsql {. CR
2990: 45 41 54 45 20 54 41 42 4c 45 20 74 37 20 28 78 EATE TABLE t7 (x
29a0: 2c 20 79 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 , y);. INSERT
29b0: 20 49 4e 54 4f 20 74 37 20 56 41 4c 55 45 53 20 INTO t7 VALUES
29c0: 28 22 70 61 31 22 2c 20 31 29 3b 0a 20 20 20 20 ("pa1", 1);.
29d0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 37 20 56 INSERT INTO t7 V
29e0: 41 4c 55 45 53 20 28 22 70 61 32 22 2c 20 4e 55 ALUES ("pa2", NU
29f0: 4c 4c 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 LL);. INSERT
2a00: 49 4e 54 4f 20 74 37 20 56 41 4c 55 45 53 20 28 INTO t7 VALUES (
2a10: 22 70 61 33 22 2c 20 4e 55 4c 4c 29 3b 0a 20 20 "pa3", NULL);.
2a20: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 37 INSERT INTO t7
2a30: 20 56 41 4c 55 45 53 20 28 22 70 61 34 22 2c 20 VALUES ("pa4",
2a40: 32 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 2);. INSERT I
2a50: 4e 54 4f 20 74 37 20 56 41 4c 55 45 53 20 28 22 NTO t7 VALUES ("
2a60: 70 61 33 30 22 2c 20 31 33 31 29 3b 0a 20 20 20 pa30", 131);.
2a70: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 37 20 INSERT INTO t7
2a80: 56 41 4c 55 45 53 20 28 22 70 61 33 31 22 2c 20 VALUES ("pa31",
2a90: 31 33 30 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 130);. INSERT
2aa0: 20 49 4e 54 4f 20 74 37 20 56 41 4c 55 45 53 20 INTO t7 VALUES
2ab0: 28 22 70 61 32 38 22 2c 20 4e 55 4c 4c 29 3b 0a ("pa28", NULL);.
2ac0: 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c . CREATE TABL
2ad0: 45 20 74 38 20 28 61 20 69 6e 74 65 67 65 72 20 E t8 (a integer
2ae0: 70 72 69 6d 61 72 79 20 6b 65 79 2c 20 62 29 3b primary key, b);
2af0: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f . INSERT INTO
2b00: 20 74 38 20 56 41 4c 55 45 53 20 28 31 2c 20 22 t8 VALUES (1, "
2b10: 70 61 31 22 29 3b 0a 20 20 20 20 49 4e 53 45 52 pa1");. INSER
2b20: 54 20 49 4e 54 4f 20 74 38 20 56 41 4c 55 45 53 T INTO t8 VALUES
2b30: 20 28 32 2c 20 22 70 61 34 22 29 3b 0a 20 20 20 (2, "pa4");.
2b40: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 38 20 INSERT INTO t8
2b50: 56 41 4c 55 45 53 20 28 33 2c 20 4e 55 4c 4c 29 VALUES (3, NULL)
2b60: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 ;. INSERT INT
2b70: 4f 20 74 38 20 56 41 4c 55 45 53 20 28 34 2c 20 O t8 VALUES (4,
2b80: 4e 55 4c 4c 29 3b 0a 20 20 20 20 49 4e 53 45 52 NULL);. INSER
2b90: 54 20 49 4e 54 4f 20 74 38 20 56 41 4c 55 45 53 T INTO t8 VALUES
2ba0: 20 28 31 33 30 2c 20 22 70 61 33 31 22 29 3b 0a (130, "pa31");.
2bb0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 INSERT INTO
2bc0: 74 38 20 56 41 4c 55 45 53 20 28 31 33 31 2c 20 t8 VALUES (131,
2bd0: 22 70 61 33 30 22 29 3b 0a 0a 20 20 20 20 53 45 "pa30");.. SE
2be0: 4c 45 43 54 20 63 6f 61 6c 65 73 63 65 28 74 38 LECT coalesce(t8
2bf0: 2e 61 2c 39 39 39 29 20 66 72 6f 6d 20 74 37 20 .a,999) from t7
2c00: 4c 45 46 54 20 4a 4f 49 4e 20 74 38 20 6f 6e 20 LEFT JOIN t8 on
2c10: 79 3d 61 3b 0a 20 20 7d 0a 7d 20 7b 31 20 39 39 y=a;. }.} {1 99
2c20: 39 20 39 39 39 20 32 20 31 33 31 20 31 33 30 20 9 999 2 131 130
2c30: 39 39 39 7d 0a 0a 23 20 4d 61 6b 65 20 73 75 72 999}..# Make sur
2c40: 65 20 61 20 6c 65 66 74 20 6a 6f 69 6e 20 77 68 e a left join wh
2c50: 65 72 65 20 74 68 65 20 72 69 67 68 74 20 74 61 ere the right ta
2c60: 62 6c 65 20 69 73 20 72 65 61 6c 6c 79 20 61 20 ble is really a
2c70: 76 69 65 77 20 74 68 61 74 0a 23 20 69 73 20 69 view that.# is i
2c80: 74 73 65 6c 66 20 61 20 6a 6f 69 6e 20 77 6f 72 tself a join wor
2c90: 6b 73 20 72 69 67 68 74 2e 20 20 54 69 63 6b 65 ks right. Ticke
2ca0: 74 20 23 33 30 36 2e 0a 23 0a 69 66 63 61 70 61 t #306..#.ifcapa
2cb0: 62 6c 65 20 76 69 65 77 20 7b 0a 64 6f 5f 74 65 ble view {.do_te
2cc0: 73 74 20 6a 6f 69 6e 2d 38 2e 31 20 7b 0a 20 20 st join-8.1 {.
2cd0: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 42 45 execsql {. BE
2ce0: 47 49 4e 3b 0a 20 20 20 20 43 52 45 41 54 45 20 GIN;. CREATE
2cf0: 54 41 42 4c 45 20 74 39 28 61 20 49 4e 54 45 47 TABLE t9(a INTEG
2d00: 45 52 20 50 52 49 4d 41 52 59 20 4b 45 59 2c 20 ER PRIMARY KEY,
2d10: 62 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 b);. INSERT I
2d20: 4e 54 4f 20 74 39 20 56 41 4c 55 45 53 28 31 2c NTO t9 VALUES(1,
2d30: 31 31 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 11);. INSERT
2d40: 49 4e 54 4f 20 74 39 20 56 41 4c 55 45 53 28 32 INTO t9 VALUES(2
2d50: 2c 32 32 29 3b 0a 20 20 20 20 43 52 45 41 54 45 ,22);. CREATE
2d60: 20 54 41 42 4c 45 20 74 31 30 28 78 20 49 4e 54 TABLE t10(x INT
2d70: 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b 45 59 EGER PRIMARY KEY
2d80: 2c 20 79 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 , y);. INSERT
2d90: 20 49 4e 54 4f 20 74 31 30 20 56 41 4c 55 45 53 INTO t10 VALUES
2da0: 28 31 2c 32 29 3b 0a 20 20 20 20 49 4e 53 45 52 (1,2);. INSER
2db0: 54 20 49 4e 54 4f 20 74 31 30 20 56 41 4c 55 45 T INTO t10 VALUE
2dc0: 53 28 33 2c 33 29 3b 20 20 20 20 0a 20 20 20 20 S(3,3); .
2dd0: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 31 CREATE TABLE t11
2de0: 28 70 20 49 4e 54 45 47 45 52 20 50 52 49 4d 41 (p INTEGER PRIMA
2df0: 52 59 20 4b 45 59 2c 20 71 29 3b 0a 20 20 20 20 RY KEY, q);.
2e00: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 31 20 INSERT INTO t11
2e10: 56 41 4c 55 45 53 28 32 2c 31 31 31 29 3b 0a 20 VALUES(2,111);.
2e20: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 INSERT INTO t
2e30: 31 31 20 56 41 4c 55 45 53 28 33 2c 33 33 33 29 11 VALUES(3,333)
2e40: 3b 20 20 20 20 0a 20 20 20 20 43 52 45 41 54 45 ; . CREATE
2e50: 20 56 49 45 57 20 76 31 30 5f 31 31 20 41 53 20 VIEW v10_11 AS
2e60: 53 45 4c 45 43 54 20 78 2c 20 71 20 46 52 4f 4d SELECT x, q FROM
2e70: 20 74 31 30 2c 20 74 31 31 20 57 48 45 52 45 20 t10, t11 WHERE
2e80: 74 31 30 2e 79 3d 74 31 31 2e 70 3b 0a 20 20 20 t10.y=t11.p;.
2e90: 20 43 4f 4d 4d 49 54 3b 0a 20 20 20 20 53 45 4c COMMIT;. SEL
2ea0: 45 43 54 20 2a 20 46 52 4f 4d 20 74 39 20 4c 45 ECT * FROM t9 LE
2eb0: 46 54 20 4a 4f 49 4e 20 76 31 30 5f 31 31 20 4f FT JOIN v10_11 O
2ec0: 4e 28 20 61 3d 78 20 29 3b 0a 20 20 7d 0a 7d 20 N( a=x );. }.}
2ed0: 7b 31 20 31 31 20 31 20 31 31 31 20 32 20 32 32 {1 11 1 111 2 22
2ee0: 20 7b 7d 20 7b 7d 7d 0a 69 66 63 61 70 61 62 6c {} {}}.ifcapabl
2ef0: 65 20 73 75 62 71 75 65 72 79 20 7b 0a 20 20 64 e subquery {. d
2f00: 6f 5f 74 65 73 74 20 6a 6f 69 6e 2d 38 2e 32 20 o_test join-8.2
2f10: 7b 0a 20 20 20 20 65 78 65 63 73 71 6c 20 7b 0a {. execsql {.
2f20: 20 20 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 SELECT * F
2f30: 52 4f 4d 20 74 39 20 4c 45 46 54 20 4a 4f 49 4e ROM t9 LEFT JOIN
2f40: 20 28 53 45 4c 45 43 54 20 78 2c 20 71 20 46 52 (SELECT x, q FR
2f50: 4f 4d 20 74 31 30 2c 20 74 31 31 20 57 48 45 52 OM t10, t11 WHER
2f60: 45 20 74 31 30 2e 79 3d 74 31 31 2e 70 29 0a 20 E t10.y=t11.p).
2f70: 20 20 20 20 20 20 20 20 20 20 4f 4e 28 20 61 3d ON( a=
2f80: 78 29 3b 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 31 x);. }. } {1
2f90: 20 31 31 20 31 20 31 31 31 20 32 20 32 32 20 7b 11 1 111 2 22 {
2fa0: 7d 20 7b 7d 7d 0a 7d 0a 64 6f 5f 74 65 73 74 20 } {}}.}.do_test
2fb0: 6a 6f 69 6e 2d 38 2e 33 20 7b 0a 20 20 65 78 65 join-8.3 {. exe
2fc0: 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 csql {. SELEC
2fd0: 54 20 2a 20 46 52 4f 4d 20 76 31 30 5f 31 31 20 T * FROM v10_11
2fe0: 4c 45 46 54 20 4a 4f 49 4e 20 74 39 20 4f 4e 28 LEFT JOIN t9 ON(
2ff0: 20 61 3d 78 20 29 3b 0a 20 20 7d 0a 7d 20 7b 31 a=x );. }.} {1
3000: 20 31 31 31 20 31 20 31 31 20 33 20 33 33 33 20 111 1 11 3 333
3010: 7b 7d 20 7b 7d 7d 0a 69 66 63 61 70 61 62 6c 65 {} {}}.ifcapable
3020: 20 73 75 62 71 75 65 72 79 20 7b 0a 20 20 23 20 subquery {. #
3030: 43 6f 6e 73 74 61 6e 74 20 65 78 70 72 65 73 73 Constant express
3040: 69 6f 6e 73 20 69 6e 20 61 20 73 75 62 71 75 65 ions in a subque
3050: 72 79 20 74 68 61 74 20 69 73 20 74 68 65 20 72 ry that is the r
3060: 69 67 68 74 20 65 6c 65 6d 65 6e 74 20 6f 66 20 ight element of
3070: 61 0a 20 20 23 20 4c 45 46 54 20 4a 4f 49 4e 20 a. # LEFT JOIN
3080: 65 76 61 6c 75 61 74 65 20 74 6f 20 4e 55 4c 4c evaluate to NULL
3090: 20 66 6f 72 20 72 6f 77 73 20 77 68 65 72 65 20 for rows where
30a0: 74 68 65 20 4c 45 46 54 20 4a 4f 49 4e 20 64 6f the LEFT JOIN do
30b0: 65 73 20 6e 6f 74 0a 20 20 23 20 6d 61 74 63 68 es not. # match
30c0: 2e 20 20 54 69 63 6b 65 74 20 23 33 33 30 30 0a . Ticket #3300.
30d0: 20 20 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 2d 38 do_test join-8
30e0: 2e 34 20 7b 0a 20 20 20 20 65 78 65 63 73 71 6c .4 {. execsql
30f0: 20 7b 0a 20 20 20 20 20 20 53 45 4c 45 43 54 20 {. SELECT
3100: 2a 20 46 52 4f 4d 20 74 39 20 4c 45 46 54 20 4a * FROM t9 LEFT J
3110: 4f 49 4e 20 28 53 45 4c 45 43 54 20 34 34 2c 20 OIN (SELECT 44,
3120: 70 2c 20 71 20 46 52 4f 4d 20 74 31 31 29 20 41 p, q FROM t11) A
3130: 53 20 73 75 62 31 20 4f 4e 20 70 3d 61 0a 20 20 S sub1 ON p=a.
3140: 20 20 7d 0a 20 20 7d 20 7b 31 20 31 31 20 7b 7d }. } {1 11 {}
3150: 20 7b 7d 20 7b 7d 20 32 20 32 32 20 34 34 20 32 {} {} 2 22 44 2
3160: 20 31 31 31 7d 0a 7d 0a 7d 20 3b 23 20 69 66 63 111}.}.} ;# ifc
3170: 61 70 61 62 6c 65 20 76 69 65 77 0a 0a 23 20 54 apable view..# T
3180: 69 63 6b 65 74 20 23 33 35 30 20 64 65 73 63 72 icket #350 descr
3190: 69 62 65 73 20 61 20 73 63 65 6e 61 72 69 6f 20 ibes a scenario
31a0: 77 68 65 72 65 20 4c 45 46 54 20 4f 55 54 45 52 where LEFT OUTER
31b0: 20 4a 4f 49 4e 20 64 6f 65 73 20 6e 6f 74 0a 23 JOIN does not.#
31c0: 20 66 75 6e 63 74 69 6f 6e 20 63 6f 72 72 65 63 function correc
31d0: 74 6c 79 20 69 66 20 74 68 65 20 72 69 67 68 74 tly if the right
31e0: 20 74 61 62 6c 65 20 69 6e 20 74 68 65 20 6a 6f table in the jo
31f0: 69 6e 20 69 73 20 72 65 61 6c 6c 79 0a 23 20 73 in is really.# s
3200: 75 62 71 75 65 72 79 2e 0a 23 0a 23 20 54 6f 20 ubquery..#.# To
3210: 74 65 73 74 20 74 68 65 20 70 72 6f 62 6c 65 6d test the problem
3220: 2c 20 77 65 20 67 65 6e 65 72 61 74 65 20 74 68 , we generate th
3230: 65 20 73 61 6d 65 20 4c 45 46 54 20 4f 55 54 45 e same LEFT OUTE
3240: 52 20 4a 4f 49 4e 20 69 6e 20 74 77 6f 0a 23 20 R JOIN in two.#
3250: 73 65 70 61 72 61 74 65 20 73 65 6c 65 63 74 73 separate selects
3260: 20 62 75 74 20 77 69 74 68 20 6f 6e 20 75 73 69 but with on usi
3270: 6e 67 20 61 20 73 75 62 71 75 65 72 79 20 61 6e ng a subquery an
3280: 64 20 74 68 65 20 6f 74 68 65 72 20 63 61 6c 6c d the other call
3290: 69 6e 67 0a 23 20 74 68 65 20 74 61 62 6c 65 20 ing.# the table
32a0: 64 69 72 65 63 74 6c 79 2e 20 20 54 68 65 6e 20 directly. Then
32b0: 63 6f 6e 6e 65 63 74 20 74 68 65 20 74 77 6f 20 connect the two
32c0: 53 45 4c 45 43 54 73 20 75 73 69 6e 67 20 61 6e SELECTs using an
32d0: 20 45 58 43 45 50 54 2e 0a 23 20 42 6f 74 68 20 EXCEPT..# Both
32e0: 71 75 65 72 69 65 73 20 73 68 6f 75 6c 64 20 67 queries should g
32f0: 65 6e 65 72 61 74 65 20 74 68 65 20 73 61 6d 65 enerate the same
3300: 20 72 65 73 75 6c 74 73 20 73 6f 20 74 68 65 20 results so the
3310: 61 6e 73 77 65 72 20 73 68 6f 75 6c 64 0a 23 20 answer should.#
3320: 62 65 20 61 6e 20 65 6d 70 74 79 20 73 65 74 2e be an empty set.
3330: 0a 23 0a 69 66 63 61 70 61 62 6c 65 20 63 6f 6d .#.ifcapable com
3340: 70 6f 75 6e 64 20 7b 0a 64 6f 5f 74 65 73 74 20 pound {.do_test
3350: 6a 6f 69 6e 2d 39 2e 31 20 7b 0a 20 20 65 78 65 join-9.1 {. exe
3360: 63 73 71 6c 20 7b 0a 20 20 20 20 42 45 47 49 4e csql {. BEGIN
3370: 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42 ;. CREATE TAB
3380: 4c 45 20 74 31 32 28 61 2c 62 29 3b 0a 20 20 20 LE t12(a,b);.
3390: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 32 INSERT INTO t12
33a0: 20 56 41 4c 55 45 53 28 31 2c 31 31 29 3b 0a 20 VALUES(1,11);.
33b0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 INSERT INTO t
33c0: 31 32 20 56 41 4c 55 45 53 28 32 2c 32 32 29 3b 12 VALUES(2,22);
33d0: 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c . CREATE TABL
33e0: 45 20 74 31 33 28 62 2c 63 29 3b 0a 20 20 20 20 E t13(b,c);.
33f0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 33 20 INSERT INTO t13
3400: 56 41 4c 55 45 53 28 32 32 2c 32 32 32 29 3b 0a VALUES(22,222);.
3410: 20 20 20 20 43 4f 4d 4d 49 54 3b 0a 20 20 7d 0a COMMIT;. }.
3420: 7d 20 7b 7d 0a 0a 69 66 63 61 70 61 62 6c 65 20 } {}..ifcapable
3430: 73 75 62 71 75 65 72 79 20 7b 0a 20 20 64 6f 5f subquery {. do_
3440: 74 65 73 74 20 6a 6f 69 6e 2d 39 2e 31 2e 31 20 test join-9.1.1
3450: 7b 0a 20 20 20 20 65 78 65 63 73 71 6c 20 7b 0a {. execsql {.
3460: 20 20 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 SELECT * F
3470: 52 4f 4d 20 74 31 32 20 4e 41 54 55 52 41 4c 20 ROM t12 NATURAL
3480: 4c 45 46 54 20 4a 4f 49 4e 20 74 31 33 0a 20 20 LEFT JOIN t13.
3490: 20 20 20 20 45 58 43 45 50 54 0a 20 20 20 20 20 EXCEPT.
34a0: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 SELECT * FROM t
34b0: 31 32 20 4e 41 54 55 52 41 4c 20 4c 45 46 54 20 12 NATURAL LEFT
34c0: 4a 4f 49 4e 20 28 53 45 4c 45 43 54 20 2a 20 46 JOIN (SELECT * F
34d0: 52 4f 4d 20 74 31 33 20 57 48 45 52 45 20 62 3e ROM t13 WHERE b>
34e0: 30 29 3b 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 7d 0);. }. } {}
34f0: 0a 7d 0a 69 66 63 61 70 61 62 6c 65 20 76 69 65 .}.ifcapable vie
3500: 77 20 7b 0a 20 20 64 6f 5f 74 65 73 74 20 6a 6f w {. do_test jo
3510: 69 6e 2d 39 2e 32 20 7b 0a 20 20 20 20 65 78 65 in-9.2 {. exe
3520: 63 73 71 6c 20 7b 0a 20 20 20 20 20 20 43 52 45 csql {. CRE
3530: 41 54 45 20 56 49 45 57 20 76 31 33 20 41 53 20 ATE VIEW v13 AS
3540: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 SELECT * FROM t1
3550: 33 20 57 48 45 52 45 20 62 3e 30 3b 0a 20 20 20 3 WHERE b>0;.
3560: 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d SELECT * FROM
3570: 20 74 31 32 20 4e 41 54 55 52 41 4c 20 4c 45 46 t12 NATURAL LEF
3580: 54 20 4a 4f 49 4e 20 74 31 33 0a 20 20 20 20 20 T JOIN t13.
3590: 20 20 20 45 58 43 45 50 54 0a 20 20 20 20 20 20 EXCEPT.
35a0: 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 SELECT * FROM
35b0: 74 31 32 20 4e 41 54 55 52 41 4c 20 4c 45 46 54 t12 NATURAL LEFT
35c0: 20 4a 4f 49 4e 20 76 31 33 3b 0a 20 20 20 20 7d JOIN v13;. }
35d0: 0a 20 20 7d 20 7b 7d 0a 7d 20 3b 23 20 69 66 63 . } {}.} ;# ifc
35e0: 61 70 61 62 6c 65 20 76 69 65 77 0a 7d 20 3b 23 apable view.} ;#
35f0: 20 69 66 63 61 70 61 62 6c 65 20 63 6f 6d 70 6f ifcapable compo
3600: 75 6e 64 0a 0a 69 66 63 61 70 61 62 6c 65 20 73 und..ifcapable s
3610: 75 62 71 75 65 72 79 20 7b 0a 20 20 23 20 54 69 ubquery {. # Ti
3620: 63 6b 65 74 20 23 31 36 39 37 3a 20 20 4c 65 66 cket #1697: Lef
3630: 74 20 4a 6f 69 6e 20 57 48 45 52 45 20 63 6c 61 t Join WHERE cla
3640: 75 73 65 20 74 65 72 6d 73 20 74 68 61 74 20 63 use terms that c
3650: 6f 6e 74 61 69 6e 20 61 6e 0a 20 20 23 20 61 67 ontain an. # ag
3660: 67 72 65 67 61 74 65 20 73 75 62 71 75 65 72 79 gregate subquery
3670: 2e 0a 20 20 23 0a 20 20 64 6f 5f 74 65 73 74 20 .. #. do_test
3680: 6a 6f 69 6e 2d 31 30 2e 31 20 7b 0a 20 20 20 20 join-10.1 {.
3690: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 20 20 execsql {.
36a0: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 32 31 CREATE TABLE t21
36b0: 28 61 2c 62 2c 63 29 3b 0a 20 20 20 20 20 20 43 (a,b,c);. C
36c0: 52 45 41 54 45 20 54 41 42 4c 45 20 74 32 32 28 REATE TABLE t22(
36d0: 70 2c 71 29 3b 0a 20 20 20 20 20 20 43 52 45 41 p,q);. CREA
36e0: 54 45 20 49 4e 44 45 58 20 69 32 32 20 4f 4e 20 TE INDEX i22 ON
36f0: 74 32 32 28 71 29 3b 0a 20 20 20 20 20 20 53 45 t22(q);. SE
3700: 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 32 31 20 LECT a FROM t21
3710: 4c 45 46 54 20 4a 4f 49 4e 20 74 32 32 20 4f 4e LEFT JOIN t22 ON
3720: 20 62 3d 70 20 57 48 45 52 45 20 71 3d 0a 20 20 b=p WHERE q=.
3730: 20 20 20 20 20 20 20 28 53 45 4c 45 43 54 20 6d (SELECT m
3740: 61 78 28 6d 2e 71 29 20 46 52 4f 4d 20 74 32 32 ax(m.q) FROM t22
3750: 20 6d 20 4a 4f 49 4e 20 74 32 31 20 6e 20 4f 4e m JOIN t21 n ON
3760: 20 6e 2e 62 3d 6d 2e 70 20 57 48 45 52 45 20 6e n.b=m.p WHERE n
3770: 2e 63 3d 31 29 3b 0a 20 20 20 20 7d 20 20 0a 20 .c=1);. } .
3780: 20 7d 20 7b 7d 0a 0a 20 20 23 20 54 65 73 74 20 } {}.. # Test
3790: 61 20 4c 45 46 54 20 4a 4f 49 4e 20 77 68 65 6e a LEFT JOIN when
37a0: 20 74 68 65 20 72 69 67 68 74 2d 68 61 6e 64 20 the right-hand
37b0: 73 69 64 65 20 6f 66 20 68 74 65 20 6a 6f 69 6e side of hte join
37c0: 20 69 73 20 61 6e 20 65 6d 70 74 79 0a 20 20 23 is an empty. #
37d0: 20 73 75 62 2d 71 75 65 72 79 2e 20 53 65 65 6d sub-query. Seem
37e0: 73 20 66 69 6e 65 2e 0a 20 20 23 0a 20 20 64 6f s fine.. #. do
37f0: 5f 74 65 73 74 20 6a 6f 69 6e 2d 31 30 2e 32 20 _test join-10.2
3800: 7b 0a 20 20 20 20 65 78 65 63 73 71 6c 20 7b 0a {. execsql {.
3810: 20 20 20 20 20 20 43 52 45 41 54 45 20 54 41 42 CREATE TAB
3820: 4c 45 20 74 32 33 28 61 2c 20 62 2c 20 63 29 3b LE t23(a, b, c);
3830: 0a 20 20 20 20 20 20 43 52 45 41 54 45 20 54 41 . CREATE TA
3840: 42 4c 45 20 74 32 34 28 61 2c 20 62 2c 20 63 29 BLE t24(a, b, c)
3850: 3b 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 ;. INSERT I
3860: 4e 54 4f 20 74 32 33 20 56 41 4c 55 45 53 28 31 NTO t23 VALUES(1
3870: 2c 20 32 2c 20 33 29 3b 0a 20 20 20 20 7d 0a 20 , 2, 3);. }.
3880: 20 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 execsql {.
3890: 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d SELECT * FROM
38a0: 20 74 32 33 20 4c 45 46 54 20 4a 4f 49 4e 20 74 t23 LEFT JOIN t
38b0: 32 34 3b 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 31 24;. }. } {1
38c0: 20 32 20 33 20 7b 7d 20 7b 7d 20 7b 7d 7d 0a 20 2 3 {} {} {}}.
38d0: 20 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 2d 31 30 do_test join-10
38e0: 2e 33 20 7b 0a 20 20 20 20 65 78 65 63 73 71 6c .3 {. execsql
38f0: 20 7b 0a 20 20 20 20 20 20 53 45 4c 45 43 54 20 {. SELECT
3900: 2a 20 46 52 4f 4d 20 74 32 33 20 4c 45 46 54 20 * FROM t23 LEFT
3910: 4a 4f 49 4e 20 28 53 45 4c 45 43 54 20 2a 20 46 JOIN (SELECT * F
3920: 52 4f 4d 20 74 32 34 29 3b 0a 20 20 20 20 7d 0a ROM t24);. }.
3930: 20 20 7d 20 7b 31 20 32 20 33 20 7b 7d 20 7b 7d } {1 2 3 {} {}
3940: 20 7b 7d 7d 0a 0a 7d 20 3b 23 20 69 66 63 61 70 {}}..} ;# ifcap
3950: 61 62 6c 65 20 73 75 62 71 75 65 72 79 0a 0a 23 able subquery..#
3960: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
3970: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
3980: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
3990: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
39a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 68 65 20 ---------.# The
39b0: 66 6f 6c 6c 6f 77 69 6e 67 20 74 65 73 74 73 20 following tests
39c0: 61 72 65 20 74 6f 20 65 6e 73 75 72 65 20 74 68 are to ensure th
39d0: 61 74 20 62 75 67 20 62 37 33 66 62 30 62 64 36 at bug b73fb0bd6
39e0: 34 20 69 73 20 66 69 78 65 64 2e 0a 23 0a 64 6f 4 is fixed..#.do
39f0: 5f 74 65 73 74 20 6a 6f 69 6e 2d 31 31 2e 31 20 _test join-11.1
3a00: 7b 0a 20 20 64 72 6f 70 5f 61 6c 6c 5f 74 61 62 {. drop_all_tab
3a10: 6c 65 73 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a les. execsql {.
3a20: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 CREATE TABLE
3a30: 20 74 31 28 61 20 49 4e 54 45 47 45 52 20 50 52 t1(a INTEGER PR
3a40: 49 4d 41 52 59 20 4b 45 59 2c 20 62 20 54 45 58 IMARY KEY, b TEX
3a50: 54 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54 T);. CREATE T
3a60: 41 42 4c 45 20 74 32 28 61 20 49 4e 54 45 47 45 ABLE t2(a INTEGE
3a70: 52 20 50 52 49 4d 41 52 59 20 4b 45 59 2c 20 62 R PRIMARY KEY, b
3a80: 20 54 45 58 54 29 3b 0a 20 20 20 20 49 4e 53 45 TEXT);. INSE
3a90: 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 RT INTO t1 VALUE
3aa0: 53 28 31 2c 27 61 62 63 27 29 3b 0a 20 20 20 20 S(1,'abc');.
3ab0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 INSERT INTO t1 V
3ac0: 41 4c 55 45 53 28 32 2c 27 64 65 66 27 29 3b 0a ALUES(2,'def');.
3ad0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 INSERT INTO
3ae0: 74 32 20 56 41 4c 55 45 53 28 31 2c 27 61 62 63 t2 VALUES(1,'abc
3af0: 27 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 ');. INSERT I
3b00: 4e 54 4f 20 74 32 20 56 41 4c 55 45 53 28 32 2c NTO t2 VALUES(2,
3b10: 27 64 65 66 27 29 3b 0a 20 20 20 20 53 45 4c 45 'def');. SELE
3b20: 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 4e 41 54 CT * FROM t1 NAT
3b30: 55 52 41 4c 20 4a 4f 49 4e 20 74 32 3b 0a 20 20 URAL JOIN t2;.
3b40: 7d 0a 7d 20 7b 31 20 61 62 63 20 32 20 64 65 66 }.} {1 abc 2 def
3b50: 7d 0a 0a 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 2d }..do_test join-
3b60: 31 31 2e 32 20 7b 0a 20 20 65 78 65 63 73 71 6c 11.2 {. execsql
3b70: 20 7b 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d { SELECT a FROM
3b80: 20 74 31 20 4a 4f 49 4e 20 74 31 20 55 53 49 4e t1 JOIN t1 USIN
3b90: 47 20 28 61 29 7d 0a 7d 20 7b 31 20 32 7d 0a 64 G (a)}.} {1 2}.d
3ba0: 6f 5f 74 65 73 74 20 6a 6f 69 6e 2d 31 31 2e 33 o_test join-11.3
3bb0: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 53 {. execsql { S
3bc0: 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31 20 ELECT a FROM t1
3bd0: 4a 4f 49 4e 20 74 31 20 41 53 20 74 32 20 55 53 JOIN t1 AS t2 US
3be0: 49 4e 47 20 28 61 29 7d 0a 7d 20 7b 31 20 32 7d ING (a)}.} {1 2}
3bf0: 0a 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 2d 31 31 .do_test join-11
3c00: 2e 33 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b .3 {. execsql {
3c10: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 SELECT * FROM t
3c20: 31 20 4e 41 54 55 52 41 4c 20 4a 4f 49 4e 20 74 1 NATURAL JOIN t
3c30: 31 20 41 53 20 74 32 7d 0a 7d 20 7b 31 20 61 62 1 AS t2}.} {1 ab
3c40: 63 20 32 20 64 65 66 7d 0a 64 6f 5f 74 65 73 74 c 2 def}.do_test
3c50: 20 6a 6f 69 6e 2d 31 31 2e 34 20 7b 0a 20 20 65 join-11.4 {. e
3c60: 78 65 63 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 xecsql { SELECT
3c70: 2a 20 46 52 4f 4d 20 74 31 20 4e 41 54 55 52 41 * FROM t1 NATURA
3c80: 4c 20 4a 4f 49 4e 20 74 31 20 7d 0a 7d 20 7b 31 L JOIN t1 }.} {1
3c90: 20 61 62 63 20 32 20 64 65 66 7d 0a 0a 64 6f 5f abc 2 def}..do_
3ca0: 74 65 73 74 20 6a 6f 69 6e 2d 31 31 2e 35 20 7b test join-11.5 {
3cb0: 0a 20 20 64 72 6f 70 5f 61 6c 6c 5f 74 61 62 6c . drop_all_tabl
3cc0: 65 73 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 es. execsql {.
3cd0: 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 CREATE TABLE
3ce0: 74 31 28 61 20 43 4f 4c 4c 41 54 45 20 6e 6f 63 t1(a COLLATE noc
3cf0: 61 73 65 2c 20 62 29 3b 0a 20 20 20 20 43 52 45 ase, b);. CRE
3d00: 41 54 45 20 54 41 42 4c 45 20 74 32 28 61 2c 20 ATE TABLE t2(a,
3d10: 62 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 b);. INSERT I
3d20: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 27 4f NTO t1 VALUES('O
3d30: 4e 45 27 2c 20 31 29 3b 0a 20 20 20 20 49 4e 53 NE', 1);. INS
3d40: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 ERT INTO t1 VALU
3d50: 45 53 28 27 74 77 6f 27 2c 20 32 29 3b 0a 20 20 ES('two', 2);.
3d60: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 INSERT INTO t2
3d70: 20 56 41 4c 55 45 53 28 27 6f 6e 65 27 2c 20 31 VALUES('one', 1
3d80: 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e );. INSERT IN
3d90: 54 4f 20 74 32 20 56 41 4c 55 45 53 28 27 74 77 TO t2 VALUES('tw
3da0: 6f 27 2c 20 32 29 3b 0a 20 20 7d 0a 7d 20 7b 7d o', 2);. }.} {}
3db0: 0a 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 2d 31 31 .do_test join-11
3dc0: 2e 36 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b .6 {. execsql {
3dd0: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 SELECT * FROM t
3de0: 31 20 4e 41 54 55 52 41 4c 20 4a 4f 49 4e 20 74 1 NATURAL JOIN t
3df0: 32 20 7d 0a 7d 20 7b 4f 4e 45 20 31 20 74 77 6f 2 }.} {ONE 1 two
3e00: 20 32 7d 0a 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 2}.do_test join
3e10: 2d 31 31 2e 37 20 7b 0a 20 20 65 78 65 63 73 71 -11.7 {. execsq
3e20: 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f l { SELECT * FRO
3e30: 4d 20 74 32 20 4e 41 54 55 52 41 4c 20 4a 4f 49 M t2 NATURAL JOI
3e40: 4e 20 74 31 20 7d 0a 7d 20 7b 74 77 6f 20 32 7d N t1 }.} {two 2}
3e50: 0a 0a 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 2d 31 ..do_test join-1
3e60: 31 2e 38 20 7b 0a 20 20 64 72 6f 70 5f 61 6c 6c 1.8 {. drop_all
3e70: 5f 74 61 62 6c 65 73 0a 20 20 65 78 65 63 73 71 _tables. execsq
3e80: 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54 l {. CREATE T
3e90: 41 42 4c 45 20 74 31 28 61 2c 20 62 20 54 45 58 ABLE t1(a, b TEX
3ea0: 54 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54 T);. CREATE T
3eb0: 41 42 4c 45 20 74 32 28 62 20 49 4e 54 45 47 45 ABLE t2(b INTEGE
3ec0: 52 2c 20 61 29 3b 0a 20 20 20 20 49 4e 53 45 52 R, a);. INSER
3ed0: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 T INTO t1 VALUES
3ee0: 28 27 6f 6e 65 27 2c 20 27 31 2e 30 27 29 3b 0a ('one', '1.0');.
3ef0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 INSERT INTO
3f00: 74 31 20 56 41 4c 55 45 53 28 27 74 77 6f 27 2c t1 VALUES('two',
3f10: 20 27 32 27 29 3b 0a 20 20 20 20 49 4e 53 45 52 '2');. INSER
3f20: 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53 T INTO t2 VALUES
3f30: 28 31 2c 20 27 6f 6e 65 27 29 3b 0a 20 20 20 20 (1, 'one');.
3f40: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 56 INSERT INTO t2 V
3f50: 41 4c 55 45 53 28 32 2c 20 27 74 77 6f 27 29 3b ALUES(2, 'two');
3f60: 0a 20 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73 . }.} {}.do_tes
3f70: 74 20 6a 6f 69 6e 2d 31 31 2e 39 20 7b 0a 20 20 t join-11.9 {.
3f80: 65 78 65 63 73 71 6c 20 7b 20 53 45 4c 45 43 54 execsql { SELECT
3f90: 20 2a 20 46 52 4f 4d 20 74 31 20 4e 41 54 55 52 * FROM t1 NATUR
3fa0: 41 4c 20 4a 4f 49 4e 20 74 32 20 7d 0a 7d 20 7b AL JOIN t2 }.} {
3fb0: 6f 6e 65 20 31 2e 30 20 74 77 6f 20 32 7d 0a 64 one 1.0 two 2}.d
3fc0: 6f 5f 74 65 73 74 20 6a 6f 69 6e 2d 31 31 2e 31 o_test join-11.1
3fd0: 30 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 0 {. execsql {
3fe0: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 SELECT * FROM t2
3ff0: 20 4e 41 54 55 52 41 4c 20 4a 4f 49 4e 20 74 31 NATURAL JOIN t1
4000: 20 7d 0a 7d 20 7b 31 20 6f 6e 65 20 32 20 74 77 }.} {1 one 2 tw
4010: 6f 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d o}..#-----------
4020: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
4030: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
4040: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
4050: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 --------------.#
4060: 20 54 65 73 74 20 74 68 61 74 20 61 74 20 6d 6f Test that at mo
4070: 73 74 20 36 34 20 74 61 62 6c 65 73 20 61 72 65 st 64 tables are
4080: 20 61 6c 6c 6f 77 65 64 20 69 6e 20 61 20 6a 6f allowed in a jo
4090: 69 6e 2e 0a 23 0a 64 6f 5f 65 78 65 63 73 71 6c in..#.do_execsql
40a0: 5f 74 65 73 74 20 6a 6f 69 6e 2d 31 32 2e 31 20 _test join-12.1
40b0: 7b 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 {. CREATE TABLE
40c0: 20 74 31 34 28 78 29 3b 0a 20 20 49 4e 53 45 52 t14(x);. INSER
40d0: 54 20 49 4e 54 4f 20 74 31 34 20 56 41 4c 55 45 T INTO t14 VALUE
40e0: 53 28 27 61 62 63 64 65 66 67 68 69 6a 27 29 3b S('abcdefghij');
40f0: 0a 7d 0a 0a 70 72 6f 63 20 6a 6f 69 6e 74 65 73 .}..proc jointes
4100: 74 20 7b 74 6e 20 6e 54 62 6c 20 72 65 73 7d 20 t {tn nTbl res}
4110: 7b 0a 20 20 73 65 74 20 73 71 6c 20 22 53 45 4c {. set sql "SEL
4120: 45 43 54 20 31 20 46 52 4f 4d 20 5b 73 74 72 69 ECT 1 FROM [stri
4130: 6e 67 20 72 65 70 65 61 74 20 74 31 34 2c 20 5b ng repeat t14, [
4140: 65 78 70 72 20 24 6e 54 62 6c 2d 31 5d 5d 20 74 expr $nTbl-1]] t
4150: 31 34 3b 22 0a 20 20 75 70 6c 65 76 65 6c 20 5b 14;". uplevel [
4160: 6c 69 73 74 20 64 6f 5f 63 61 74 63 68 73 71 6c list do_catchsql
4170: 5f 74 65 73 74 20 24 74 6e 20 24 73 71 6c 20 24 _test $tn $sql $
4180: 72 65 73 5d 0a 7d 0a 0a 6a 6f 69 6e 74 65 73 74 res].}..jointest
4190: 20 6a 6f 69 6e 2d 31 32 2e 32 20 33 30 20 7b 30 join-12.2 30 {0
41a0: 20 31 7d 0a 6a 6f 69 6e 74 65 73 74 20 6a 6f 69 1}.jointest joi
41b0: 6e 2d 31 32 2e 33 20 36 33 20 7b 30 20 31 7d 0a n-12.3 63 {0 1}.
41c0: 6a 6f 69 6e 74 65 73 74 20 6a 6f 69 6e 2d 31 32 jointest join-12
41d0: 2e 34 20 36 34 20 7b 30 20 31 7d 0a 6a 6f 69 6e .4 64 {0 1}.join
41e0: 74 65 73 74 20 6a 6f 69 6e 2d 31 32 2e 35 20 36 test join-12.5 6
41f0: 35 20 7b 31 20 7b 61 74 20 6d 6f 73 74 20 36 34 5 {1 {at most 64
4200: 20 74 61 62 6c 65 73 20 69 6e 20 61 20 6a 6f 69 tables in a joi
4210: 6e 7d 7d 0a 6a 6f 69 6e 74 65 73 74 20 6a 6f 69 n}}.jointest joi
4220: 6e 2d 31 32 2e 36 20 36 36 20 7b 31 20 7b 61 74 n-12.6 66 {1 {at
4230: 20 6d 6f 73 74 20 36 34 20 74 61 62 6c 65 73 20 most 64 tables
4240: 69 6e 20 61 20 6a 6f 69 6e 7d 7d 0a 6a 6f 69 6e in a join}}.join
4250: 74 65 73 74 20 6a 6f 69 6e 2d 31 32 2e 37 20 31 test join-12.7 1
4260: 32 37 20 7b 31 20 7b 61 74 20 6d 6f 73 74 20 36 27 {1 {at most 6
4270: 34 20 74 61 62 6c 65 73 20 69 6e 20 61 20 6a 6f 4 tables in a jo
4280: 69 6e 7d 7d 0a 6a 6f 69 6e 74 65 73 74 20 6a 6f in}}.jointest jo
4290: 69 6e 2d 31 32 2e 38 20 31 32 38 20 7b 31 20 7b in-12.8 128 {1 {
42a0: 61 74 20 6d 6f 73 74 20 36 34 20 74 61 62 6c 65 at most 64 table
42b0: 73 20 69 6e 20 61 20 6a 6f 69 6e 7d 7d 0a 0a 23 s in a join}}..#
42c0: 20 41 73 20 6f 66 20 32 30 31 39 2d 30 31 2d 31 As of 2019-01-1
42d0: 37 2c 20 74 68 65 20 6e 75 6d 62 65 72 20 6f 66 7, the number of
42e0: 20 65 6c 65 6d 65 6e 74 73 20 69 6e 20 61 20 53 elements in a S
42f0: 72 63 4c 69 73 74 20 69 73 20 6c 69 6d 69 74 65 rcList is limite
4300: 64 0a 23 20 74 6f 20 32 30 30 2e 20 20 54 68 65 d.# to 200. The
4310: 20 66 6f 6c 6c 6f 77 69 6e 67 20 74 65 73 74 73 following tests
4320: 20 73 74 69 6c 6c 20 72 75 6e 2c 20 62 75 74 20 still run, but
4330: 74 68 65 20 61 6e 73 77 65 72 20 69 73 20 6e 6f the answer is no
4340: 77 0a 23 20 61 6e 20 53 51 4c 49 54 45 5f 4e 4f w.# an SQLITE_NO
4350: 4d 45 4d 20 65 72 72 6f 72 2e 0a 23 0a 23 20 6a MEM error..#.# j
4360: 6f 69 6e 74 65 73 74 20 6a 6f 69 6e 2d 31 32 2e ointest join-12.
4370: 39 20 31 30 30 30 20 7b 31 20 7b 61 74 20 6d 6f 9 1000 {1 {at mo
4380: 73 74 20 36 34 20 74 61 62 6c 65 73 20 69 6e 20 st 64 tables in
4390: 61 20 6a 6f 69 6e 7d 7d 0a 23 0a 23 20 20 49 66 a join}}.#.# If
43a0: 20 53 51 4c 69 74 65 20 69 73 20 62 75 69 6c 74 SQLite is built
43b0: 20 77 69 74 68 20 53 51 4c 49 54 45 5f 4d 45 4d with SQLITE_MEM
43c0: 44 45 42 55 47 2c 20 74 68 65 6e 20 74 68 65 20 DEBUG, then the
43d0: 68 75 67 65 20 6e 75 6d 62 65 72 20 6f 66 20 72 huge number of r
43e0: 65 61 6c 6c 6f 63 28 29 0a 23 20 20 63 61 6c 6c ealloc().# call
43f0: 73 20 6d 61 64 65 20 62 79 20 74 68 65 20 66 6f s made by the fo
4400: 6c 6c 6f 77 69 6e 67 20 74 65 73 74 20 63 61 73 llowing test cas
4410: 65 73 20 61 72 65 20 74 6f 6f 20 74 69 6d 65 20 es are too time
4420: 63 6f 6e 73 75 6d 69 6e 67 20 74 6f 20 72 75 6e consuming to run
4430: 2e 0a 23 20 20 57 69 74 68 6f 75 74 20 53 51 4c ..# Without SQL
4440: 49 54 45 5f 4d 45 4d 44 45 42 55 47 2c 20 72 65 ITE_MEMDEBUG, re
4450: 61 6c 6c 6f 63 28 29 20 69 73 20 66 61 73 74 20 alloc() is fast
4460: 65 6e 6f 75 67 68 20 74 68 61 74 20 74 68 65 73 enough that thes
4470: 65 20 61 72 65 20 6e 6f 74 0a 23 20 20 61 20 70 e are not.# a p
4480: 72 6f 62 6c 65 6d 2e 0a 23 0a 23 20 69 66 63 61 roblem..#.# ifca
4490: 70 61 62 6c 65 20 70 72 61 67 6d 61 26 26 63 6f pable pragma&&co
44a0: 6d 70 69 6c 65 6f 70 74 69 6f 6e 5f 64 69 61 67 mpileoption_diag
44b0: 73 20 7b 0a 23 20 20 20 20 69 66 20 7b 5b 6c 73 s {.# if {[ls
44c0: 65 61 72 63 68 20 5b 64 62 20 65 76 61 6c 20 7b earch [db eval {
44d0: 50 52 41 47 4d 41 20 63 6f 6d 70 69 6c 65 5f 6f PRAGMA compile_o
44e0: 70 74 69 6f 6e 73 7d 5d 20 4d 45 4d 44 45 42 55 ptions}] MEMDEBU
44f0: 47 5d 3c 30 7d 20 7b 0a 23 20 20 20 20 20 6a 6f G]<0} {.# jo
4500: 69 6e 74 65 73 74 20 6a 6f 69 6e 2d 31 32 2e 31 intest join-12.1
4510: 30 20 36 35 35 33 34 20 7b 31 20 7b 61 74 20 6d 0 65534 {1 {at m
4520: 6f 73 74 20 36 34 20 74 61 62 6c 65 73 20 69 6e ost 64 tables in
4530: 20 61 20 6a 6f 69 6e 7d 7d 0a 23 20 20 20 20 20 a join}}.#
4540: 6a 6f 69 6e 74 65 73 74 20 6a 6f 69 6e 2d 31 32 jointest join-12
4550: 2e 31 31 20 36 35 35 33 35 20 7b 31 20 7b 74 6f .11 65535 {1 {to
4560: 6f 20 6d 61 6e 79 20 72 65 66 65 72 65 6e 63 65 o many reference
4570: 73 20 74 6f 20 22 74 31 34 22 3a 20 6d 61 78 20 s to "t14": max
4580: 36 35 35 33 35 7d 7d 0a 23 20 20 20 20 20 6a 6f 65535}}.# jo
4590: 69 6e 74 65 73 74 20 6a 6f 69 6e 2d 31 32 2e 31 intest join-12.1
45a0: 32 20 36 35 35 33 36 20 7b 31 20 7b 74 6f 6f 20 2 65536 {1 {too
45b0: 6d 61 6e 79 20 72 65 66 65 72 65 6e 63 65 73 20 many references
45c0: 74 6f 20 22 74 31 34 22 3a 20 6d 61 78 20 36 35 to "t14": max 65
45d0: 35 33 35 7d 7d 0a 23 20 20 20 20 20 6a 6f 69 6e 535}}.# join
45e0: 74 65 73 74 20 6a 6f 69 6e 2d 31 32 2e 31 33 20 test join-12.13
45f0: 36 35 35 33 37 20 7b 31 20 7b 74 6f 6f 20 6d 61 65537 {1 {too ma
4600: 6e 79 20 72 65 66 65 72 65 6e 63 65 73 20 74 6f ny references to
4610: 20 22 74 31 34 22 3a 20 6d 61 78 20 36 35 35 33 "t14": max 6553
4620: 35 7d 7d 0a 23 20 20 20 7d 0a 23 20 7d 0a 0a 0a 5}}.# }.# }...
4630: 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d #---------------
4640: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
4650: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
4660: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
4670: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 65 73 ----------.# Tes
4680: 74 20 61 20 70 72 6f 62 6c 65 6d 20 77 69 74 68 t a problem with
4690: 20 72 65 6f 72 64 65 72 69 6e 67 20 74 61 62 6c reordering tabl
46a0: 65 73 20 66 6f 6c 6c 6f 77 69 6e 67 20 61 20 4c es following a L
46b0: 45 46 54 20 4a 4f 49 4e 2e 0a 23 0a 64 6f 5f 65 EFT JOIN..#.do_e
46c0: 78 65 63 73 71 6c 5f 74 65 73 74 20 6a 6f 69 6e xecsql_test join
46d0: 2d 31 33 2e 30 20 7b 0a 20 20 43 52 45 41 54 45 -13.0 {. CREATE
46e0: 20 54 41 42 4c 45 20 61 61 28 61 29 3b 0a 20 20 TABLE aa(a);.
46f0: 43 52 45 41 54 45 20 54 41 42 4c 45 20 62 62 28 CREATE TABLE bb(
4700: 62 29 3b 0a 20 20 43 52 45 41 54 45 20 54 41 42 b);. CREATE TAB
4710: 4c 45 20 63 63 28 63 29 3b 0a 0a 20 20 49 4e 53 LE cc(c);.. INS
4720: 45 52 54 20 49 4e 54 4f 20 61 61 20 56 41 4c 55 ERT INTO aa VALU
4730: 45 53 28 34 35 29 3b 0a 20 20 49 4e 53 45 52 54 ES(45);. INSERT
4740: 20 49 4e 54 4f 20 63 63 20 56 41 4c 55 45 53 28 INTO cc VALUES(
4750: 34 35 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 45);. INSERT IN
4760: 54 4f 20 63 63 20 56 41 4c 55 45 53 28 34 35 29 TO cc VALUES(45)
4770: 3b 0a 7d 0a 0a 64 6f 5f 65 78 65 63 73 71 6c 5f ;.}..do_execsql_
4780: 74 65 73 74 20 6a 6f 69 6e 2d 31 33 2e 31 20 7b test join-13.1 {
4790: 0a 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d . SELECT * FROM
47a0: 20 61 61 20 4c 45 46 54 20 4a 4f 49 4e 20 62 62 aa LEFT JOIN bb
47b0: 2c 20 63 63 20 57 48 45 52 45 20 63 63 2e 63 3d , cc WHERE cc.c=
47c0: 61 61 2e 61 3b 0a 7d 20 7b 34 35 20 7b 7d 20 34 aa.a;.} {45 {} 4
47d0: 35 20 34 35 20 7b 7d 20 34 35 7d 0a 0a 23 20 49 5 45 {} 45}..# I
47e0: 6e 20 74 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 2c n the following,
47f0: 20 74 68 65 20 6f 72 64 65 72 20 6f 66 20 5b 63 the order of [c
4800: 63 5d 20 61 6e 64 20 5b 62 62 5d 20 6d 75 73 74 c] and [bb] must
4810: 20 6e 6f 74 20 62 65 20 65 78 63 68 61 6e 67 65 not be exchange
4820: 64 2c 20 65 76 65 6e 0a 23 20 74 68 6f 75 67 68 d, even.# though
4830: 20 74 68 69 73 20 77 6f 75 6c 64 20 62 65 20 68 this would be h
4840: 65 6c 70 66 75 6c 20 69 66 20 74 68 65 20 71 75 elpful if the qu
4850: 65 72 79 20 75 73 65 64 20 61 6e 20 69 6e 6e 65 ery used an inne
4860: 72 20 6a 6f 69 6e 2e 0a 64 6f 5f 65 78 65 63 73 r join..do_execs
4870: 71 6c 5f 74 65 73 74 20 6a 6f 69 6e 2d 31 33 2e ql_test join-13.
4880: 32 20 7b 0a 20 20 43 52 45 41 54 45 20 49 4e 44 2 {. CREATE IND
4890: 45 58 20 63 63 63 20 4f 4e 20 63 63 28 63 29 3b EX ccc ON cc(c);
48a0: 0a 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d . SELECT * FROM
48b0: 20 61 61 20 4c 45 46 54 20 4a 4f 49 4e 20 62 62 aa LEFT JOIN bb
48c0: 2c 20 63 63 20 57 48 45 52 45 20 63 63 2e 63 3d , cc WHERE cc.c=
48d0: 61 61 2e 61 3b 0a 7d 20 7b 34 35 20 7b 7d 20 34 aa.a;.} {45 {} 4
48e0: 35 20 34 35 20 7b 7d 20 34 35 7d 0a 0a 23 20 56 5 45 {} 45}..# V
48f0: 65 72 69 66 79 20 74 68 61 74 20 74 68 61 74 20 erify that that
4900: 69 54 61 62 6c 65 20 61 74 74 72 69 62 75 74 65 iTable attribute
4910: 73 20 74 68 65 20 54 4b 5f 49 46 5f 4e 55 4c 4c s the TK_IF_NULL
4920: 5f 52 4f 57 20 6f 70 65 72 61 74 6f 72 73 20 69 _ROW operators i
4930: 6e 20 74 68 65 0a 23 20 65 78 70 72 65 73 73 69 n the.# expressi
4940: 6f 6e 20 74 72 65 65 20 61 72 65 20 63 6f 72 72 on tree are corr
4950: 65 63 74 6c 79 20 75 70 64 61 74 65 64 20 62 79 ectly updated by
4960: 20 74 68 65 20 71 75 65 72 79 20 66 6c 61 74 74 the query flatt
4970: 65 6e 65 72 2e 20 20 54 68 69 73 20 77 61 73 0a ener. This was.
4980: 23 20 61 20 62 75 67 20 64 69 73 63 6f 76 65 72 # a bug discover
4990: 65 64 20 6f 6e 20 32 30 31 37 2d 30 35 2d 32 32 ed on 2017-05-22
49a0: 20 62 79 20 4d 61 72 6b 20 42 72 61 6e 64 2e 0a by Mark Brand..
49b0: 23 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 #.do_execsql_tes
49c0: 74 20 6a 6f 69 6e 2d 31 34 2e 31 20 7b 0a 20 20 t join-14.1 {.
49d0: 53 45 4c 45 43 54 20 2a 0a 20 20 20 20 46 52 4f SELECT *. FRO
49e0: 4d 20 28 53 45 4c 45 43 54 20 31 20 61 29 20 41 M (SELECT 1 a) A
49f0: 53 20 78 20 0a 20 20 20 20 20 20 20 20 20 4c 45 S x . LE
4a00: 46 54 20 4a 4f 49 4e 20 28 53 45 4c 45 43 54 20 FT JOIN (SELECT
4a10: 31 2c 20 2a 20 46 52 4f 4d 20 28 53 45 4c 45 43 1, * FROM (SELEC
4a20: 54 20 2a 20 46 52 4f 4d 20 28 53 45 4c 45 43 54 T * FROM (SELECT
4a30: 20 31 29 29 29 3b 0a 7d 20 7b 31 20 31 20 31 7d 1)));.} {1 1 1}
4a40: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 .do_execsql_test
4a50: 20 6a 6f 69 6e 2d 31 34 2e 32 20 7b 0a 20 20 53 join-14.2 {. S
4a60: 45 4c 45 43 54 20 2a 0a 20 20 46 52 4f 4d 20 28 ELECT *. FROM (
4a70: 53 45 4c 45 43 54 20 31 20 61 29 20 41 53 20 78 SELECT 1 a) AS x
4a80: 0a 20 20 20 20 4c 45 46 54 20 4a 4f 49 4e 20 28 . LEFT JOIN (
4a90: 53 45 4c 45 43 54 20 31 2c 20 2a 20 46 52 4f 4d SELECT 1, * FROM
4aa0: 20 28 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 (SELECT * FROM
4ab0: 28 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 28 (SELECT * FROM (
4ac0: 53 45 4c 45 43 54 20 31 29 29 29 29 20 41 53 20 SELECT 1)))) AS
4ad0: 79 0a 20 20 20 20 4a 4f 49 4e 20 28 53 45 4c 45 y. JOIN (SELE
4ae0: 43 54 20 2a 20 46 52 4f 4d 20 28 53 45 4c 45 43 CT * FROM (SELEC
4af0: 54 20 39 29 29 20 41 53 20 7a 3b 0a 7d 20 7b 31 T 9)) AS z;.} {1
4b00: 20 31 20 31 20 39 7d 0a 64 6f 5f 65 78 65 63 73 1 1 9}.do_execs
4b10: 71 6c 5f 74 65 73 74 20 6a 6f 69 6e 2d 31 34 2e ql_test join-14.
4b20: 33 20 7b 0a 20 20 53 45 4c 45 43 54 20 2a 0a 20 3 {. SELECT *.
4b30: 20 46 52 4f 4d 20 28 53 45 4c 45 43 54 20 31 31 FROM (SELECT 11
4b40: 31 29 0a 20 20 4c 45 46 54 20 4a 4f 49 4e 20 28 1). LEFT JOIN (
4b50: 53 45 4c 45 43 54 20 63 63 2b 32 32 32 2c 20 2a SELECT cc+222, *
4b60: 20 46 52 4f 4d 20 28 53 45 4c 45 43 54 20 2a 20 FROM (SELECT *
4b70: 46 52 4f 4d 20 28 53 45 4c 45 43 54 20 33 33 33 FROM (SELECT 333
4b80: 20 63 63 29 29 29 3b 0a 7d 20 7b 31 31 31 20 35 cc)));.} {111 5
4b90: 35 35 20 33 33 33 7d 0a 0a 64 6f 5f 65 78 65 63 55 333}..do_exec
4ba0: 73 71 6c 5f 74 65 73 74 20 6a 6f 69 6e 2d 31 34 sql_test join-14
4bb0: 2e 34 20 7b 0a 20 20 44 52 4f 50 20 54 41 42 4c .4 {. DROP TABL
4bc0: 45 20 49 46 20 45 58 49 53 54 53 20 74 31 3b 0a E IF EXISTS t1;.
4bd0: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 CREATE TABLE t
4be0: 31 28 63 20 50 52 49 4d 41 52 59 20 4b 45 59 2c 1(c PRIMARY KEY,
4bf0: 20 61 20 54 45 58 54 28 31 30 30 30 30 29 2c 20 a TEXT(10000),
4c00: 62 20 54 45 58 54 28 31 30 30 30 30 29 29 3b 0a b TEXT(10000));.
4c10: 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 SELECT * FROM
4c20: 28 53 45 4c 45 43 54 20 31 31 31 29 20 4c 45 46 (SELECT 111) LEF
4c30: 54 20 4a 4f 49 4e 20 28 53 45 4c 45 43 54 20 63 T JOIN (SELECT c
4c40: 2b 32 32 32 20 46 52 4f 4d 20 74 31 29 20 47 52 +222 FROM t1) GR
4c50: 4f 55 50 20 42 59 20 31 3b 0a 7d 20 7b 31 31 31 OUP BY 1;.} {111
4c60: 20 7b 7d 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f {}}.do_execsql_
4c70: 74 65 73 74 20 6a 6f 69 6e 2d 31 34 2e 35 20 7b test join-14.5 {
4c80: 0a 20 20 44 52 4f 50 20 54 41 42 4c 45 20 49 46 . DROP TABLE IF
4c90: 20 45 58 49 53 54 53 20 74 31 3b 0a 20 20 43 52 EXISTS t1;. CR
4ca0: 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 63 20 EATE TABLE t1(c
4cb0: 50 52 49 4d 41 52 59 20 4b 45 59 29 20 57 49 54 PRIMARY KEY) WIT
4cc0: 48 4f 55 54 20 52 4f 57 49 44 3b 0a 20 20 53 45 HOUT ROWID;. SE
4cd0: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 28 53 45 4c LECT * FROM (SEL
4ce0: 45 43 54 20 31 31 31 29 20 4c 45 46 54 20 4a 4f ECT 111) LEFT JO
4cf0: 49 4e 20 28 53 45 4c 45 43 54 20 63 2b 32 32 32 IN (SELECT c+222
4d00: 20 46 52 4f 4d 20 74 31 29 20 47 52 4f 55 50 20 FROM t1) GROUP
4d10: 42 59 20 31 3b 0a 7d 20 7b 31 31 31 20 7b 7d 7d BY 1;.} {111 {}}
4d20: 0a 0a 23 20 56 65 72 69 66 79 20 74 68 65 20 66 ..# Verify the f
4d30: 69 78 20 74 6f 20 74 69 63 6b 65 74 20 0a 23 20 ix to ticket .#
4d40: 68 74 74 70 73 3a 2f 2f 77 77 77 2e 73 71 6c 69 https://www.sqli
4d50: 74 65 2e 6f 72 67 2f 73 72 63 2f 74 6b 74 76 69 te.org/src/tktvi
4d60: 65 77 2f 37 66 64 65 36 33 38 65 39 34 32 38 37 ew/7fde638e94287
4d70: 64 32 63 39 34 38 63 64 39 33 38 39 0a 23 0a 64 d2c948cd9389.#.d
4d80: 62 20 63 6c 6f 73 65 0a 73 71 6c 69 74 65 33 20 b close.sqlite3
4d90: 64 62 20 3a 6d 65 6d 6f 72 79 3a 0a 64 6f 5f 65 db :memory:.do_e
4da0: 78 65 63 73 71 6c 5f 74 65 73 74 20 6a 6f 69 6e xecsql_test join
4db0: 2d 31 34 2e 31 30 20 7b 0a 20 20 43 52 45 41 54 -14.10 {. CREAT
4dc0: 45 20 54 41 42 4c 45 20 74 31 28 61 29 3b 0a 20 E TABLE t1(a);.
4dd0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 INSERT INTO t1
4de0: 56 41 4c 55 45 53 28 31 29 2c 28 32 29 2c 28 33 VALUES(1),(2),(3
4df0: 29 3b 0a 20 20 43 52 45 41 54 45 20 56 49 45 57 );. CREATE VIEW
4e00: 20 76 32 20 41 53 20 53 45 4c 45 43 54 20 61 2c v2 AS SELECT a,
4e10: 20 31 20 41 53 20 62 20 46 52 4f 4d 20 74 31 3b 1 AS b FROM t1;
4e20: 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 . CREATE TABLE
4e30: 74 33 28 78 29 3b 0a 20 20 49 4e 53 45 52 54 20 t3(x);. INSERT
4e40: 49 4e 54 4f 20 74 33 20 56 41 4c 55 45 53 28 32 INTO t3 VALUES(2
4e50: 29 2c 28 34 29 3b 0a 20 20 53 45 4c 45 43 54 20 ),(4);. SELECT
4e60: 2a 2c 20 27 7c 27 20 46 52 4f 4d 20 74 33 20 4c *, '|' FROM t3 L
4e70: 45 46 54 20 4a 4f 49 4e 20 76 32 20 4f 4e 20 61 EFT JOIN v2 ON a
4e80: 3d 78 20 57 48 45 52 45 20 62 3d 31 3b 0a 7d 20 =x WHERE b=1;.}
4e90: 7b 32 20 32 20 31 20 7c 7d 0a 64 6f 5f 65 78 65 {2 2 1 |}.do_exe
4ea0: 63 73 71 6c 5f 74 65 73 74 20 6a 6f 69 6e 2d 31 csql_test join-1
4eb0: 34 2e 31 31 20 7b 0a 20 20 53 45 4c 45 43 54 20 4.11 {. SELECT
4ec0: 2a 2c 20 27 7c 27 20 46 52 4f 4d 20 74 33 20 4c *, '|' FROM t3 L
4ed0: 45 46 54 20 4a 4f 49 4e 20 76 32 20 4f 4e 20 61 EFT JOIN v2 ON a
4ee0: 3d 78 20 57 48 45 52 45 20 62 2b 31 3d 78 3b 0a =x WHERE b+1=x;.
4ef0: 7d 20 7b 32 20 32 20 31 20 7c 7d 0a 64 6f 5f 65 } {2 2 1 |}.do_e
4f00: 78 65 63 73 71 6c 5f 74 65 73 74 20 6a 6f 69 6e xecsql_test join
4f10: 2d 31 34 2e 31 32 20 7b 0a 20 20 53 45 4c 45 43 -14.12 {. SELEC
4f20: 54 20 2a 2c 20 27 7c 27 20 46 52 4f 4d 20 74 33 T *, '|' FROM t3
4f30: 20 4c 45 46 54 20 4a 4f 49 4e 20 76 32 20 4f 4e LEFT JOIN v2 ON
4f40: 20 61 3d 78 20 4f 52 44 45 52 20 42 59 20 62 3b a=x ORDER BY b;
4f50: 0a 7d 20 7b 34 20 7b 7d 20 7b 7d 20 7c 20 32 20 .} {4 {} {} | 2
4f60: 32 20 31 20 7c 7d 0a 0a 23 20 56 65 72 69 66 79 2 1 |}..# Verify
4f70: 20 74 68 65 20 66 69 78 20 66 6f 72 20 74 69 63 the fix for tic
4f80: 6b 65 74 0a 23 20 68 74 74 70 73 3a 2f 2f 77 77 ket.# https://ww
4f90: 77 2e 73 71 6c 69 74 65 2e 6f 72 67 2f 73 72 63 w.sqlite.org/src
4fa0: 2f 69 6e 66 6f 2f 38 39 32 66 63 33 34 66 31 37 /info/892fc34f17
4fb0: 33 65 39 39 64 38 0a 23 0a 64 62 20 63 6c 6f 73 3e99d8.#.db clos
4fc0: 65 0a 73 71 6c 69 74 65 33 20 64 62 20 3a 6d 65 e.sqlite3 db :me
4fd0: 6d 6f 72 79 3a 0a 64 6f 5f 65 78 65 63 73 71 6c mory:.do_execsql
4fe0: 5f 74 65 73 74 20 6a 6f 69 6e 2d 31 34 2e 32 30 _test join-14.20
4ff0: 20 7b 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c {. CREATE TABL
5000: 45 20 74 31 28 69 64 20 49 4e 54 45 47 45 52 20 E t1(id INTEGER
5010: 50 52 49 4d 41 52 59 20 4b 45 59 29 3b 0a 20 20 PRIMARY KEY);.
5020: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 32 28 CREATE TABLE t2(
5030: 69 64 20 49 4e 54 45 47 45 52 20 50 52 49 4d 41 id INTEGER PRIMA
5040: 52 59 20 4b 45 59 2c 20 63 32 20 49 4e 54 45 47 RY KEY, c2 INTEG
5050: 45 52 29 3b 0a 20 20 43 52 45 41 54 45 20 54 41 ER);. CREATE TA
5060: 42 4c 45 20 74 33 28 69 64 20 49 4e 54 45 47 45 BLE t3(id INTEGE
5070: 52 20 50 52 49 4d 41 52 59 20 4b 45 59 2c 20 63 R PRIMARY KEY, c
5080: 33 20 49 4e 54 45 47 45 52 29 3b 0a 20 20 49 4e 3 INTEGER);. IN
5090: 53 45 52 54 20 49 4e 54 4f 20 74 31 28 69 64 29 SERT INTO t1(id)
50a0: 20 56 41 4c 55 45 53 28 34 35 36 29 3b 0a 20 20 VALUES(456);.
50b0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 33 28 69 INSERT INTO t3(i
50c0: 64 29 20 56 41 4c 55 45 53 28 31 29 2c 28 32 29 d) VALUES(1),(2)
50d0: 3b 0a 20 20 53 45 4c 45 43 54 20 74 31 2e 69 64 ;. SELECT t1.id
50e0: 2c 20 78 32 2e 69 64 2c 20 78 33 2e 69 64 0a 20 , x2.id, x3.id.
50f0: 20 46 52 4f 4d 20 74 31 0a 20 20 4c 45 46 54 20 FROM t1. LEFT
5100: 4a 4f 49 4e 20 28 53 45 4c 45 43 54 20 2a 20 46 JOIN (SELECT * F
5110: 52 4f 4d 20 74 32 29 20 41 53 20 78 32 20 4f 4e ROM t2) AS x2 ON
5120: 20 74 31 2e 69 64 3d 78 32 2e 63 32 0a 20 20 4c t1.id=x2.c2. L
5130: 45 46 54 20 4a 4f 49 4e 20 74 33 20 41 53 20 78 EFT JOIN t3 AS x
5140: 33 20 4f 4e 20 78 32 2e 69 64 3d 78 33 2e 63 33 3 ON x2.id=x3.c3
5150: 3b 0a 7d 20 7b 34 35 36 20 7b 7d 20 7b 7d 7d 0a ;.} {456 {} {}}.
5160: 0a 23 20 32 30 31 38 2d 30 33 2d 32 34 2e 0a 23 .# 2018-03-24..#
5170: 20 45 2e 50 61 73 6d 61 20 64 69 73 63 6f 76 65 E.Pasma discove
5180: 72 65 64 20 74 68 61 74 20 74 68 65 20 4c 45 46 red that the LEF
5190: 54 20 4a 4f 49 4e 20 73 74 72 65 6e 67 74 68 20 T JOIN strength
51a0: 72 65 64 75 63 74 69 6f 6e 20 6f 70 74 69 6d 69 reduction optimi
51b0: 7a 61 74 69 6f 6e 0a 23 20 77 61 73 20 6d 69 73 zation.# was mis
51c0: 62 65 68 61 76 69 6e 67 2e 20 20 54 68 65 20 70 behaving. The p
51d0: 72 6f 62 6c 65 6d 20 74 75 72 6e 65 64 20 6f 75 roblem turned ou
51e0: 74 20 74 6f 20 62 65 20 74 68 61 74 20 74 68 65 t to be that the
51f0: 0a 23 20 73 71 6c 69 74 65 33 45 78 70 72 49 6d .# sqlite3ExprIm
5200: 70 6c 69 65 73 4e 6f 74 4e 75 6c 6c 28 29 20 72 pliesNotNull() r
5210: 6f 75 74 69 6e 65 20 77 61 73 20 73 61 79 69 6e outine was sayin
5220: 67 20 74 68 61 74 20 43 41 53 45 20 65 78 70 72 g that CASE expr
5230: 65 73 73 69 6f 6e 73 0a 23 20 6c 69 6b 65 0a 23 essions.# like.#
5240: 0a 23 20 20 20 20 20 43 41 53 45 20 57 48 45 4e .# CASE WHEN
5250: 20 74 72 75 65 20 54 48 45 4e 20 74 72 75 65 20 true THEN true
5260: 45 4c 53 45 20 78 3d 30 20 45 4e 44 0a 23 0a 23 ELSE x=0 END.#.#
5270: 20 63 6f 75 6c 64 20 6e 65 76 65 72 20 62 65 20 could never be
5280: 74 72 75 65 20 69 66 20 78 20 69 73 20 4e 55 4c true if x is NUL
5290: 4c 2e 20 20 54 68 65 20 66 6f 6c 6c 6f 77 69 6e L. The followin
52a0: 67 20 74 65 73 74 20 63 61 73 65 73 20 76 65 72 g test cases ver
52b0: 69 66 79 0a 23 20 74 68 61 74 20 74 68 69 73 20 ify.# that this
52c0: 65 72 72 6f 72 20 68 61 73 20 62 65 65 6e 20 72 error has been r
52d0: 65 73 6f 6c 76 65 64 2e 0a 23 0a 64 62 20 63 6c esolved..#.db cl
52e0: 6f 73 65 0a 73 71 6c 69 74 65 33 20 64 62 20 3a ose.sqlite3 db :
52f0: 6d 65 6d 6f 72 79 3a 0a 64 6f 5f 65 78 65 63 73 memory:.do_execs
5300: 71 6c 5f 74 65 73 74 20 6a 6f 69 6e 2d 31 35 2e ql_test join-15.
5310: 31 30 30 20 7b 0a 20 20 43 52 45 41 54 45 20 54 100 {. CREATE T
5320: 41 42 4c 45 20 74 31 28 61 20 49 4e 54 2c 20 62 ABLE t1(a INT, b
5330: 20 49 4e 54 29 3b 0a 20 20 49 4e 53 45 52 54 20 INT);. INSERT
5340: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 31 INTO t1 VALUES(1
5350: 2c 32 29 2c 28 33 2c 34 29 3b 0a 20 20 43 52 45 ,2),(3,4);. CRE
5360: 41 54 45 20 54 41 42 4c 45 20 74 32 28 78 20 49 ATE TABLE t2(x I
5370: 4e 54 2c 20 79 20 49 4e 54 29 3b 0a 20 20 53 45 NT, y INT);. SE
5380: 4c 45 43 54 20 2a 2c 20 27 78 27 0a 20 20 20 20 LECT *, 'x'.
5390: 46 52 4f 4d 20 74 31 20 4c 45 46 54 20 4a 4f 49 FROM t1 LEFT JOI
53a0: 4e 20 74 32 0a 20 20 20 57 48 45 52 45 20 43 41 N t2. WHERE CA
53b0: 53 45 20 57 48 45 4e 20 46 41 4c 53 45 20 54 48 SE WHEN FALSE TH
53c0: 45 4e 20 61 3d 78 20 45 4c 53 45 20 31 20 45 4e EN a=x ELSE 1 EN
53d0: 44 3b 0a 7d 20 7b 31 20 32 20 7b 7d 20 7b 7d 20 D;.} {1 2 {} {}
53e0: 78 20 33 20 34 20 7b 7d 20 7b 7d 20 78 7d 0a 64 x 3 4 {} {} x}.d
53f0: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 6a o_execsql_test j
5400: 6f 69 6e 2d 31 35 2e 31 30 35 20 7b 0a 20 20 53 oin-15.105 {. S
5410: 45 4c 45 43 54 20 2a 2c 20 27 78 27 0a 20 20 20 ELECT *, 'x'.
5420: 20 46 52 4f 4d 20 74 31 20 4c 45 46 54 20 4a 4f FROM t1 LEFT JO
5430: 49 4e 20 74 32 0a 20 20 20 57 48 45 52 45 20 61 IN t2. WHERE a
5440: 20 49 4e 20 28 31 2c 33 2c 78 2c 79 29 3b 0a 7d IN (1,3,x,y);.}
5450: 20 7b 31 20 32 20 7b 7d 20 7b 7d 20 78 20 33 20 {1 2 {} {} x 3
5460: 34 20 7b 7d 20 7b 7d 20 78 7d 0a 64 6f 5f 65 78 4 {} {} x}.do_ex
5470: 65 63 73 71 6c 5f 74 65 73 74 20 6a 6f 69 6e 2d ecsql_test join-
5480: 31 35 2e 31 30 36 61 20 7b 0a 20 20 53 45 4c 45 15.106a {. SELE
5490: 43 54 20 2a 2c 20 27 78 27 20 0a 20 20 20 20 46 CT *, 'x' . F
54a0: 52 4f 4d 20 74 31 20 4c 45 46 54 20 4a 4f 49 4e ROM t1 LEFT JOIN
54b0: 20 74 32 20 0a 20 20 20 57 48 45 52 45 20 4e 4f t2 . WHERE NO
54c0: 54 20 28 20 27 78 27 3d 27 79 27 20 41 4e 44 20 T ( 'x'='y' AND
54d0: 74 32 2e 79 3d 31 20 29 3b 0a 7d 20 7b 31 20 32 t2.y=1 );.} {1 2
54e0: 20 7b 7d 20 7b 7d 20 78 20 33 20 34 20 7b 7d 20 {} {} x 3 4 {}
54f0: 7b 7d 20 78 7d 0a 64 6f 5f 65 78 65 63 73 71 6c {} x}.do_execsql
5500: 5f 74 65 73 74 20 6a 6f 69 6e 2d 31 35 2e 31 30 _test join-15.10
5510: 36 62 20 7b 0a 20 20 53 45 4c 45 43 54 20 2a 2c 6b {. SELECT *,
5520: 20 27 78 27 20 0a 20 20 20 20 46 52 4f 4d 20 74 'x' . FROM t
5530: 31 20 4c 45 46 54 20 4a 4f 49 4e 20 74 32 20 0a 1 LEFT JOIN t2 .
5540: 20 20 20 57 48 45 52 45 20 7e 20 28 20 27 78 27 WHERE ~ ( 'x'
5550: 3d 27 79 27 20 41 4e 44 20 74 32 2e 79 3d 31 20 ='y' AND t2.y=1
5560: 29 3b 0a 7d 20 7b 31 20 32 20 7b 7d 20 7b 7d 20 );.} {1 2 {} {}
5570: 78 20 33 20 34 20 7b 7d 20 7b 7d 20 78 7d 0a 64 x 3 4 {} {} x}.d
5580: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 6a o_execsql_test j
5590: 6f 69 6e 2d 31 35 2e 31 30 37 20 7b 0a 20 20 53 oin-15.107 {. S
55a0: 45 4c 45 43 54 20 2a 2c 20 27 78 27 20 0a 20 20 ELECT *, 'x' .
55b0: 20 20 46 52 4f 4d 20 74 31 20 4c 45 46 54 20 4a FROM t1 LEFT J
55c0: 4f 49 4e 20 74 32 20 0a 20 20 20 57 48 45 52 45 OIN t2 . WHERE
55d0: 20 74 32 2e 79 20 49 53 20 4e 4f 54 20 27 61 62 t2.y IS NOT 'ab
55e0: 63 27 0a 7d 20 7b 31 20 32 20 7b 7d 20 7b 7d 20 c'.} {1 2 {} {}
55f0: 78 20 33 20 34 20 7b 7d 20 7b 7d 20 78 7d 0a 64 x 3 4 {} {} x}.d
5600: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 6a o_execsql_test j
5610: 6f 69 6e 2d 31 35 2e 31 31 30 20 7b 0a 20 20 44 oin-15.110 {. D
5620: 52 4f 50 20 54 41 42 4c 45 20 74 31 3b 0a 20 20 ROP TABLE t1;.
5630: 44 52 4f 50 20 54 41 42 4c 45 20 74 32 3b 0a 20 DROP TABLE t2;.
5640: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 CREATE TABLE t1
5650: 28 61 20 49 4e 54 45 47 45 52 20 50 52 49 4d 41 (a INTEGER PRIMA
5660: 52 59 20 4b 45 59 2c 20 62 20 49 4e 54 45 47 45 RY KEY, b INTEGE
5670: 52 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 R);. INSERT INT
5680: 4f 20 74 31 28 61 2c 62 29 20 56 41 4c 55 45 53 O t1(a,b) VALUES
5690: 28 31 2c 30 29 2c 28 31 31 2c 31 29 2c 28 31 32 (1,0),(11,1),(12
56a0: 2c 31 29 2c 28 31 33 2c 31 29 2c 28 31 32 31 2c ,1),(13,1),(121,
56b0: 31 32 29 3b 0a 20 20 43 52 45 41 54 45 20 49 4e 12);. CREATE IN
56c0: 44 45 58 20 74 31 62 20 4f 4e 20 74 31 28 62 29 DEX t1b ON t1(b)
56d0: 3b 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 ;. CREATE TABLE
56e0: 20 74 32 28 78 20 49 4e 54 45 47 45 52 20 50 52 t2(x INTEGER PR
56f0: 49 4d 41 52 59 20 4b 45 59 29 3b 0a 20 20 49 4e IMARY KEY);. IN
5700: 53 45 52 54 20 49 4e 54 4f 20 74 32 28 78 29 20 SERT INTO t2(x)
5710: 56 41 4c 55 45 53 28 30 29 2c 28 31 29 3b 0a 20 VALUES(0),(1);.
5720: 20 53 45 4c 45 43 54 20 20 61 31 2c 20 61 32 2c SELECT a1, a2,
5730: 20 61 33 2c 20 61 34 2c 20 61 35 0a 20 20 20 46 a3, a4, a5. F
5740: 52 4f 4d 20 28 53 45 4c 45 43 54 20 61 20 41 53 ROM (SELECT a AS
5750: 20 61 31 20 46 52 4f 4d 20 74 31 20 57 48 45 52 a1 FROM t1 WHER
5760: 45 20 62 3d 30 29 0a 20 20 20 20 20 20 20 20 4a E b=0). J
5770: 4f 49 4e 20 28 53 45 4c 45 43 54 20 78 20 41 53 OIN (SELECT x AS
5780: 20 78 31 20 46 52 4f 4d 20 74 32 29 0a 20 20 20 x1 FROM t2).
5790: 20 20 20 20 20 4c 45 46 54 20 4a 4f 49 4e 20 28 LEFT JOIN (
57a0: 53 45 4c 45 43 54 20 61 20 41 53 20 61 32 2c 20 SELECT a AS a2,
57b0: 62 20 41 53 20 62 32 20 46 52 4f 4d 20 74 31 29 b AS b2 FROM t1)
57c0: 0a 20 20 20 20 20 20 20 20 20 20 4f 4e 20 78 31 . ON x1
57d0: 20 49 53 20 54 52 55 45 20 41 4e 44 20 62 32 3d IS TRUE AND b2=
57e0: 61 31 0a 20 20 20 20 20 20 20 20 4a 4f 49 4e 20 a1. JOIN
57f0: 28 53 45 4c 45 43 54 20 78 20 41 53 20 78 32 20 (SELECT x AS x2
5800: 46 52 4f 4d 20 74 32 29 0a 20 20 20 20 20 20 20 FROM t2).
5810: 20 20 20 4f 4e 20 78 32 3c 3d 43 41 53 45 20 57 ON x2<=CASE W
5820: 48 45 4e 20 78 31 20 54 48 45 4e 20 43 41 53 45 HEN x1 THEN CASE
5830: 20 57 48 45 4e 20 61 32 20 54 48 45 4e 20 31 20 WHEN a2 THEN 1
5840: 45 4c 53 45 20 2d 31 20 45 4e 44 20 45 4c 53 45 ELSE -1 END ELSE
5850: 20 30 20 45 4e 44 0a 20 20 20 20 20 20 20 20 4c 0 END. L
5860: 45 46 54 20 4a 4f 49 4e 20 28 53 45 4c 45 43 54 EFT JOIN (SELECT
5870: 20 61 20 41 53 20 61 33 2c 20 62 20 41 53 20 62 a AS a3, b AS b
5880: 33 20 46 52 4f 4d 20 74 31 29 0a 20 20 20 20 20 3 FROM t1).
5890: 20 20 20 20 20 4f 4e 20 78 32 20 49 53 20 54 52 ON x2 IS TR
58a0: 55 45 20 41 4e 44 20 62 33 3d 61 32 0a 20 20 20 UE AND b3=a2.
58b0: 20 20 20 20 20 4a 4f 49 4e 20 28 53 45 4c 45 43 JOIN (SELEC
58c0: 54 20 78 20 41 53 20 78 33 20 46 52 4f 4d 20 74 T x AS x3 FROM t
58d0: 32 29 0a 20 20 20 20 20 20 20 20 20 20 4f 4e 20 2). ON
58e0: 78 33 3c 3d 43 41 53 45 20 57 48 45 4e 20 78 32 x3<=CASE WHEN x2
58f0: 20 54 48 45 4e 20 43 41 53 45 20 57 48 45 4e 20 THEN CASE WHEN
5900: 61 33 20 54 48 45 4e 20 31 20 45 4c 53 45 20 2d a3 THEN 1 ELSE -
5910: 31 20 45 4e 44 20 45 4c 53 45 20 30 20 45 4e 44 1 END ELSE 0 END
5920: 0a 20 20 20 20 20 20 20 20 4c 45 46 54 20 4a 4f . LEFT JO
5930: 49 4e 20 28 53 45 4c 45 43 54 20 61 20 41 53 20 IN (SELECT a AS
5940: 61 34 2c 20 62 20 41 53 20 62 34 20 46 52 4f 4d a4, b AS b4 FROM
5950: 20 74 31 29 0a 20 20 20 20 20 20 20 20 20 20 4f t1). O
5960: 4e 20 78 33 20 49 53 20 54 52 55 45 20 41 4e 44 N x3 IS TRUE AND
5970: 20 62 34 3d 61 33 0a 20 20 20 20 20 20 20 20 4a b4=a3. J
5980: 4f 49 4e 20 28 53 45 4c 45 43 54 20 78 20 41 53 OIN (SELECT x AS
5990: 20 78 34 20 46 52 4f 4d 20 74 32 29 0a 20 20 20 x4 FROM t2).
59a0: 20 20 20 20 20 20 20 4f 4e 20 78 34 3c 3d 43 41 ON x4<=CA
59b0: 53 45 20 57 48 45 4e 20 78 33 20 54 48 45 4e 20 SE WHEN x3 THEN
59c0: 43 41 53 45 20 57 48 45 4e 20 61 34 20 54 48 45 CASE WHEN a4 THE
59d0: 4e 20 31 20 45 4c 53 45 20 2d 31 20 45 4e 44 20 N 1 ELSE -1 END
59e0: 45 4c 53 45 20 30 20 45 4e 44 0a 20 20 20 20 20 ELSE 0 END.
59f0: 20 20 20 4c 45 46 54 20 4a 4f 49 4e 20 28 53 45 LEFT JOIN (SE
5a00: 4c 45 43 54 20 61 20 41 53 20 61 35 2c 20 62 20 LECT a AS a5, b
5a10: 41 53 20 62 35 20 46 52 4f 4d 20 74 31 29 0a 20 AS b5 FROM t1).
5a20: 20 20 20 20 20 20 20 20 20 4f 4e 20 78 34 20 49 ON x4 I
5a30: 53 20 54 52 55 45 20 41 4e 44 20 62 35 3d 61 34 S TRUE AND b5=a4
5a40: 0a 20 20 20 4f 52 44 45 52 20 42 59 20 61 31 2c . ORDER BY a1,
5a50: 20 61 32 2c 20 61 33 2c 20 61 34 2c 20 61 35 3b a2, a3, a4, a5;
5a60: 0a 7d 20 7b 31 20 7b 7d 20 7b 7d 20 7b 7d 20 7b .} {1 {} {} {} {
5a70: 7d 20 31 20 31 31 20 7b 7d 20 7b 7d 20 7b 7d 20 } 1 11 {} {} {}
5a80: 31 20 31 32 20 7b 7d 20 7b 7d 20 7b 7d 20 31 20 1 12 {} {} {} 1
5a90: 31 32 20 31 32 31 20 7b 7d 20 7b 7d 20 31 20 31 12 121 {} {} 1 1
5aa0: 33 20 7b 7d 20 7b 7d 20 7b 7d 7d 0a 0a 23 20 32 3 {} {} {}}..# 2
5ab0: 30 31 39 2d 30 32 2d 30 35 20 54 69 63 6b 65 74 019-02-05 Ticket
5ac0: 20 68 74 74 70 73 3a 2f 2f 77 77 77 2e 73 71 6c https://www.sql
5ad0: 69 74 65 2e 6f 72 67 2f 73 72 63 2f 74 6b 74 76 ite.org/src/tktv
5ae0: 69 65 77 2f 35 39 34 38 65 30 39 62 38 63 34 31 iew/5948e09b8c41
5af0: 35 62 63 34 35 64 61 35 63 0a 23 20 45 72 72 6f 5bc45da5c.# Erro
5b00: 72 20 69 6e 20 6a 6f 69 6e 20 64 75 65 20 74 6f r in join due to
5b10: 20 74 68 65 20 4c 45 46 54 20 4a 4f 49 4e 20 73 the LEFT JOIN s
5b20: 74 72 65 6e 67 74 68 20 72 65 64 75 63 74 69 6f trength reductio
5b30: 6e 20 6f 70 74 69 6d 69 7a 61 74 69 6f 6e 2e 0a n optimization..
5b40: 23 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 #.do_execsql_tes
5b50: 74 20 6a 6f 69 6e 2d 31 36 2e 31 30 30 20 7b 0a t join-16.100 {.
5b60: 20 20 44 52 4f 50 20 54 41 42 4c 45 20 49 46 20 DROP TABLE IF
5b70: 45 58 49 53 54 53 20 74 31 3b 0a 20 20 44 52 4f EXISTS t1;. DRO
5b80: 50 20 54 41 42 4c 45 20 49 46 20 45 58 49 53 54 P TABLE IF EXIST
5b90: 53 20 74 32 3b 0a 20 20 43 52 45 41 54 45 20 54 S t2;. CREATE T
5ba0: 41 42 4c 45 20 74 31 28 61 20 49 4e 54 29 3b 0a ABLE t1(a INT);.
5bb0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 INSERT INTO t1
5bc0: 28 61 29 20 56 41 4c 55 45 53 28 31 29 3b 0a 20 (a) VALUES(1);.
5bd0: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 32 CREATE TABLE t2
5be0: 28 62 20 49 4e 54 29 3b 0a 20 20 53 45 4c 45 43 (b INT);. SELEC
5bf0: 54 20 61 2c 20 62 0a 20 20 20 20 46 52 4f 4d 20 T a, b. FROM
5c00: 74 31 20 4c 45 46 54 20 4a 4f 49 4e 20 74 32 20 t1 LEFT JOIN t2
5c10: 4f 4e 20 30 0a 20 20 20 57 48 45 52 45 20 28 62 ON 0. WHERE (b
5c20: 20 49 53 20 4e 4f 54 20 4e 55 4c 4c 29 3d 30 3b IS NOT NULL)=0;
5c30: 0a 7d 20 7b 31 20 7b 7d 7d 0a 0a 23 20 32 30 31 .} {1 {}}..# 201
5c40: 39 2d 30 38 2d 31 37 20 74 69 63 6b 65 74 20 68 9-08-17 ticket h
5c50: 74 74 70 73 3a 2f 2f 73 71 6c 69 74 65 2e 6f 72 ttps://sqlite.or
5c60: 67 2f 73 72 63 2f 74 6b 74 76 69 65 77 2f 36 37 g/src/tktview/67
5c70: 31 30 64 32 66 37 61 31 33 61 32 39 39 37 32 38 10d2f7a13a299728
5c80: 61 62 0a 23 20 45 6e 73 75 72 65 20 74 68 61 74 ab.# Ensure that
5c90: 20 63 6f 6e 73 74 61 6e 74 73 20 74 68 61 74 20 constants that
5ca0: 64 65 72 69 76 65 20 66 72 6f 6d 20 74 68 65 20 derive from the
5cb0: 72 69 67 68 74 2d 68 61 6e 64 20 74 61 62 6c 65 right-hand table
5cc0: 20 6f 66 20 61 20 4c 45 46 54 20 4a 4f 49 4e 0a of a LEFT JOIN.
5cd0: 23 20 61 72 65 20 6e 65 76 65 72 20 66 61 63 74 # are never fact
5ce0: 6f 72 65 64 20 6f 75 74 2c 20 73 69 6e 63 65 20 ored out, since
5cf0: 74 68 65 79 20 61 72 65 20 6e 6f 74 20 72 65 61 they are not rea
5d00: 6c 6c 79 20 63 6f 6e 73 74 61 6e 74 2e 0a 23 0a lly constant..#.
5d10: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 do_execsql_test
5d20: 6a 6f 69 6e 2d 31 37 2e 31 30 30 20 7b 0a 20 20 join-17.100 {.
5d30: 44 52 4f 50 20 54 41 42 4c 45 20 49 46 20 45 58 DROP TABLE IF EX
5d40: 49 53 54 53 20 74 31 3b 0a 20 20 43 52 45 41 54 ISTS t1;. CREAT
5d50: 45 20 54 41 42 4c 45 20 74 31 28 78 29 3b 0a 20 E TABLE t1(x);.
5d60: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 28 INSERT INTO t1(
5d70: 78 29 20 56 41 4c 55 45 53 28 30 29 2c 28 31 29 x) VALUES(0),(1)
5d80: 3b 0a 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f ;. SELECT * FRO
5d90: 4d 20 74 31 20 4c 45 46 54 20 4a 4f 49 4e 20 28 M t1 LEFT JOIN (
5da0: 53 45 4c 45 43 54 20 61 62 73 28 31 29 20 41 53 SELECT abs(1) AS
5db0: 20 79 20 46 52 4f 4d 20 74 31 29 20 4f 4e 20 78 y FROM t1) ON x
5dc0: 20 57 48 45 52 45 20 4e 4f 54 28 79 3d 27 61 27 WHERE NOT(y='a'
5dd0: 29 3b 0a 7d 20 7b 31 20 31 20 31 20 31 7d 0a 64 );.} {1 1 1 1}.d
5de0: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 6a o_execsql_test j
5df0: 6f 69 6e 2d 31 37 2e 31 31 30 20 7b 0a 20 20 53 oin-17.110 {. S
5e00: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 ELECT * FROM t1
5e10: 4c 45 46 54 20 4a 4f 49 4e 20 28 53 45 4c 45 43 LEFT JOIN (SELEC
5e20: 54 20 61 62 73 28 31 29 2b 32 20 41 53 20 79 20 T abs(1)+2 AS y
5e30: 46 52 4f 4d 20 74 31 29 20 4f 4e 20 78 0a 20 20 FROM t1) ON x.
5e40: 20 57 48 45 52 45 20 4e 4f 54 28 79 3d 27 61 27 WHERE NOT(y='a'
5e50: 29 3b 0a 7d 20 7b 31 20 33 20 31 20 33 7d 0a 0a );.} {1 3 1 3}..
5e60: 66 69 6e 69 73 68 5f 74 65 73 74 0a finish_test.