/ Hex Artifact Content
Login

Artifact d53a3662762eff50b65da8775201e609878a27dd0885a1ae7bcde9bb46cecbc5:


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 20 7b 0a 20 20 53 45 4c 45 43  15.106 {.  SELEC
5490: 54 20 2a 2c 20 27 78 27 20 0a 20 20 20 20 46 52  T *, 'x' .    FR
54a0: 4f 4d 20 74 31 20 4c 45 46 54 20 4a 4f 49 4e 20  OM t1 LEFT JOIN 
54b0: 74 32 20 0a 20 20 20 57 48 45 52 45 20 4e 4f 54  t2 .   WHERE NOT
54c0: 20 28 20 27 78 27 3d 27 79 27 20 41 4e 44 20 74   ( 'x'='y' AND t
54d0: 32 2e 79 3d 31 20 29 3b 0a 7d 20 7b 31 20 32 20  2.y=1 );.} {1 2 
54e0: 7b 7d 20 7b 7d 20 78 20 33 20 34 20 7b 7d 20 7b  {} {} x 3 4 {} {
54f0: 7d 20 78 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f  } x}.do_execsql_
5500: 74 65 73 74 20 6a 6f 69 6e 2d 31 35 2e 31 30 37  test join-15.107
5510: 20 7b 0a 20 20 53 45 4c 45 43 54 20 2a 2c 20 27   {.  SELECT *, '
5520: 78 27 20 0a 20 20 20 20 46 52 4f 4d 20 74 31 20  x' .    FROM t1 
5530: 4c 45 46 54 20 4a 4f 49 4e 20 74 32 20 0a 20 20  LEFT JOIN t2 .  
5540: 20 57 48 45 52 45 20 74 32 2e 79 20 49 53 20 4e   WHERE t2.y IS N
5550: 4f 54 20 27 61 62 63 27 0a 7d 20 7b 31 20 32 20  OT 'abc'.} {1 2 
5560: 7b 7d 20 7b 7d 20 78 20 33 20 34 20 7b 7d 20 7b  {} {} x 3 4 {} {
5570: 7d 20 78 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f  } x}.do_execsql_
5580: 74 65 73 74 20 6a 6f 69 6e 2d 31 35 2e 31 31 30  test join-15.110
5590: 20 7b 0a 20 20 44 52 4f 50 20 54 41 42 4c 45 20   {.  DROP TABLE 
55a0: 74 31 3b 0a 20 20 44 52 4f 50 20 54 41 42 4c 45  t1;.  DROP TABLE
55b0: 20 74 32 3b 0a 20 20 43 52 45 41 54 45 20 54 41   t2;.  CREATE TA
55c0: 42 4c 45 20 74 31 28 61 20 49 4e 54 45 47 45 52  BLE t1(a INTEGER
55d0: 20 50 52 49 4d 41 52 59 20 4b 45 59 2c 20 62 20   PRIMARY KEY, b 
55e0: 49 4e 54 45 47 45 52 29 3b 0a 20 20 49 4e 53 45  INTEGER);.  INSE
55f0: 52 54 20 49 4e 54 4f 20 74 31 28 61 2c 62 29 20  RT INTO t1(a,b) 
5600: 56 41 4c 55 45 53 28 31 2c 30 29 2c 28 31 31 2c  VALUES(1,0),(11,
5610: 31 29 2c 28 31 32 2c 31 29 2c 28 31 33 2c 31 29  1),(12,1),(13,1)
5620: 2c 28 31 32 31 2c 31 32 29 3b 0a 20 20 43 52 45  ,(121,12);.  CRE
5630: 41 54 45 20 49 4e 44 45 58 20 74 31 62 20 4f 4e  ATE INDEX t1b ON
5640: 20 74 31 28 62 29 3b 0a 20 20 43 52 45 41 54 45   t1(b);.  CREATE
5650: 20 54 41 42 4c 45 20 74 32 28 78 20 49 4e 54 45   TABLE t2(x INTE
5660: 47 45 52 20 50 52 49 4d 41 52 59 20 4b 45 59 29  GER PRIMARY KEY)
5670: 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20  ;.  INSERT INTO 
5680: 74 32 28 78 29 20 56 41 4c 55 45 53 28 30 29 2c  t2(x) VALUES(0),
5690: 28 31 29 3b 0a 20 20 53 45 4c 45 43 54 20 20 61  (1);.  SELECT  a
56a0: 31 2c 20 61 32 2c 20 61 33 2c 20 61 34 2c 20 61  1, a2, a3, a4, a
56b0: 35 0a 20 20 20 46 52 4f 4d 20 28 53 45 4c 45 43  5.   FROM (SELEC
56c0: 54 20 61 20 41 53 20 61 31 20 46 52 4f 4d 20 74  T a AS a1 FROM t
56d0: 31 20 57 48 45 52 45 20 62 3d 30 29 0a 20 20 20  1 WHERE b=0).   
56e0: 20 20 20 20 20 4a 4f 49 4e 20 28 53 45 4c 45 43       JOIN (SELEC
56f0: 54 20 78 20 41 53 20 78 31 20 46 52 4f 4d 20 74  T x AS x1 FROM t
5700: 32 29 0a 20 20 20 20 20 20 20 20 4c 45 46 54 20  2).        LEFT 
5710: 4a 4f 49 4e 20 28 53 45 4c 45 43 54 20 61 20 41  JOIN (SELECT a A
5720: 53 20 61 32 2c 20 62 20 41 53 20 62 32 20 46 52  S a2, b AS b2 FR
5730: 4f 4d 20 74 31 29 0a 20 20 20 20 20 20 20 20 20  OM t1).         
5740: 20 4f 4e 20 78 31 20 49 53 20 54 52 55 45 20 41   ON x1 IS TRUE A
5750: 4e 44 20 62 32 3d 61 31 0a 20 20 20 20 20 20 20  ND b2=a1.       
5760: 20 4a 4f 49 4e 20 28 53 45 4c 45 43 54 20 78 20   JOIN (SELECT x 
5770: 41 53 20 78 32 20 46 52 4f 4d 20 74 32 29 0a 20  AS x2 FROM t2). 
5780: 20 20 20 20 20 20 20 20 20 4f 4e 20 78 32 3c 3d           ON x2<=
5790: 43 41 53 45 20 57 48 45 4e 20 78 31 20 54 48 45  CASE WHEN x1 THE
57a0: 4e 20 43 41 53 45 20 57 48 45 4e 20 61 32 20 54  N CASE WHEN a2 T
57b0: 48 45 4e 20 31 20 45 4c 53 45 20 2d 31 20 45 4e  HEN 1 ELSE -1 EN
57c0: 44 20 45 4c 53 45 20 30 20 45 4e 44 0a 20 20 20  D ELSE 0 END.   
57d0: 20 20 20 20 20 4c 45 46 54 20 4a 4f 49 4e 20 28       LEFT JOIN (
57e0: 53 45 4c 45 43 54 20 61 20 41 53 20 61 33 2c 20  SELECT a AS a3, 
57f0: 62 20 41 53 20 62 33 20 46 52 4f 4d 20 74 31 29  b AS b3 FROM t1)
5800: 0a 20 20 20 20 20 20 20 20 20 20 4f 4e 20 78 32  .          ON x2
5810: 20 49 53 20 54 52 55 45 20 41 4e 44 20 62 33 3d   IS TRUE AND b3=
5820: 61 32 0a 20 20 20 20 20 20 20 20 4a 4f 49 4e 20  a2.        JOIN 
5830: 28 53 45 4c 45 43 54 20 78 20 41 53 20 78 33 20  (SELECT x AS x3 
5840: 46 52 4f 4d 20 74 32 29 0a 20 20 20 20 20 20 20  FROM t2).       
5850: 20 20 20 4f 4e 20 78 33 3c 3d 43 41 53 45 20 57     ON x3<=CASE W
5860: 48 45 4e 20 78 32 20 54 48 45 4e 20 43 41 53 45  HEN x2 THEN CASE
5870: 20 57 48 45 4e 20 61 33 20 54 48 45 4e 20 31 20   WHEN a3 THEN 1 
5880: 45 4c 53 45 20 2d 31 20 45 4e 44 20 45 4c 53 45  ELSE -1 END ELSE
5890: 20 30 20 45 4e 44 0a 20 20 20 20 20 20 20 20 4c   0 END.        L
58a0: 45 46 54 20 4a 4f 49 4e 20 28 53 45 4c 45 43 54  EFT JOIN (SELECT
58b0: 20 61 20 41 53 20 61 34 2c 20 62 20 41 53 20 62   a AS a4, b AS b
58c0: 34 20 46 52 4f 4d 20 74 31 29 0a 20 20 20 20 20  4 FROM t1).     
58d0: 20 20 20 20 20 4f 4e 20 78 33 20 49 53 20 54 52       ON x3 IS TR
58e0: 55 45 20 41 4e 44 20 62 34 3d 61 33 0a 20 20 20  UE AND b4=a3.   
58f0: 20 20 20 20 20 4a 4f 49 4e 20 28 53 45 4c 45 43       JOIN (SELEC
5900: 54 20 78 20 41 53 20 78 34 20 46 52 4f 4d 20 74  T x AS x4 FROM t
5910: 32 29 0a 20 20 20 20 20 20 20 20 20 20 4f 4e 20  2).          ON 
5920: 78 34 3c 3d 43 41 53 45 20 57 48 45 4e 20 78 33  x4<=CASE WHEN x3
5930: 20 54 48 45 4e 20 43 41 53 45 20 57 48 45 4e 20   THEN CASE WHEN 
5940: 61 34 20 54 48 45 4e 20 31 20 45 4c 53 45 20 2d  a4 THEN 1 ELSE -
5950: 31 20 45 4e 44 20 45 4c 53 45 20 30 20 45 4e 44  1 END ELSE 0 END
5960: 0a 20 20 20 20 20 20 20 20 4c 45 46 54 20 4a 4f  .        LEFT JO
5970: 49 4e 20 28 53 45 4c 45 43 54 20 61 20 41 53 20  IN (SELECT a AS 
5980: 61 35 2c 20 62 20 41 53 20 62 35 20 46 52 4f 4d  a5, b AS b5 FROM
5990: 20 74 31 29 0a 20 20 20 20 20 20 20 20 20 20 4f   t1).          O
59a0: 4e 20 78 34 20 49 53 20 54 52 55 45 20 41 4e 44  N x4 IS TRUE AND
59b0: 20 62 35 3d 61 34 0a 20 20 20 4f 52 44 45 52 20   b5=a4.   ORDER 
59c0: 42 59 20 61 31 2c 20 61 32 2c 20 61 33 2c 20 61  BY a1, a2, a3, a
59d0: 34 2c 20 61 35 3b 0a 7d 20 7b 31 20 7b 7d 20 7b  4, a5;.} {1 {} {
59e0: 7d 20 7b 7d 20 7b 7d 20 31 20 31 31 20 7b 7d 20  } {} {} 1 11 {} 
59f0: 7b 7d 20 7b 7d 20 31 20 31 32 20 7b 7d 20 7b 7d  {} {} 1 12 {} {}
5a00: 20 7b 7d 20 31 20 31 32 20 31 32 31 20 7b 7d 20   {} 1 12 121 {} 
5a10: 7b 7d 20 31 20 31 33 20 7b 7d 20 7b 7d 20 7b 7d  {} 1 13 {} {} {}
5a20: 7d 0a 0a 23 20 32 30 31 39 2d 30 32 2d 30 35 20  }..# 2019-02-05 
5a30: 54 69 63 6b 65 74 20 68 74 74 70 73 3a 2f 2f 77  Ticket https://w
5a40: 77 77 2e 73 71 6c 69 74 65 2e 6f 72 67 2f 73 72  ww.sqlite.org/sr
5a50: 63 2f 74 6b 74 76 69 65 77 2f 35 39 34 38 65 30  c/tktview/5948e0
5a60: 39 62 38 63 34 31 35 62 63 34 35 64 61 35 63 0a  9b8c415bc45da5c.
5a70: 23 20 45 72 72 6f 72 20 69 6e 20 6a 6f 69 6e 20  # Error in join 
5a80: 64 75 65 20 74 6f 20 74 68 65 20 4c 45 46 54 20  due to the LEFT 
5a90: 4a 4f 49 4e 20 73 74 72 65 6e 67 74 68 20 72 65  JOIN strength re
5aa0: 64 75 63 74 69 6f 6e 20 6f 70 74 69 6d 69 7a 61  duction optimiza
5ab0: 74 69 6f 6e 2e 0a 23 0a 64 6f 5f 65 78 65 63 73  tion..#.do_execs
5ac0: 71 6c 5f 74 65 73 74 20 6a 6f 69 6e 2d 31 36 2e  ql_test join-16.
5ad0: 31 30 30 20 7b 0a 20 20 44 52 4f 50 20 54 41 42  100 {.  DROP TAB
5ae0: 4c 45 20 49 46 20 45 58 49 53 54 53 20 74 31 3b  LE IF EXISTS t1;
5af0: 0a 20 20 44 52 4f 50 20 54 41 42 4c 45 20 49 46  .  DROP TABLE IF
5b00: 20 45 58 49 53 54 53 20 74 32 3b 0a 20 20 43 52   EXISTS t2;.  CR
5b10: 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 61 20  EATE TABLE t1(a 
5b20: 49 4e 54 29 3b 0a 20 20 49 4e 53 45 52 54 20 49  INT);.  INSERT I
5b30: 4e 54 4f 20 74 31 28 61 29 20 56 41 4c 55 45 53  NTO t1(a) VALUES
5b40: 28 31 29 3b 0a 20 20 43 52 45 41 54 45 20 54 41  (1);.  CREATE TA
5b50: 42 4c 45 20 74 32 28 62 20 49 4e 54 29 3b 0a 20  BLE t2(b INT);. 
5b60: 20 53 45 4c 45 43 54 20 61 2c 20 62 0a 20 20 20   SELECT a, b.   
5b70: 20 46 52 4f 4d 20 74 31 20 4c 45 46 54 20 4a 4f   FROM t1 LEFT JO
5b80: 49 4e 20 74 32 20 4f 4e 20 30 0a 20 20 20 57 48  IN t2 ON 0.   WH
5b90: 45 52 45 20 28 62 20 49 53 20 4e 4f 54 20 4e 55  ERE (b IS NOT NU
5ba0: 4c 4c 29 3d 30 3b 0a 7d 20 7b 31 20 7b 7d 7d 0a  LL)=0;.} {1 {}}.
5bb0: 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a           .finish_test.