#!/usr/bin/env tarantool
local test = require("sqltester")
local null = require('msgpack').NULL
test:plan(92)

--!./tcltestrunner.lua
-- 2002 May 24
--
-- The author disclaims copyright to this source code.  In place of
-- a legal notice, here is a blessing:
--
--    May you do good and not evil.
--    May you find forgiveness for yourself and forgive others.
--    May you share freely, never taking more than you give.
--
-------------------------------------------------------------------------
-- This file implements regression tests for sql library.
--
-- This file implements tests for joins, including outer joins.
--
-- $Id: join.test,v 1.27 2009/07/01 16:12:08 danielk1977 Exp $
-- ["set","testdir",[["file","dirname",["argv0"]]]]
-- ["source",[["testdir"],"\/tester.tcl"]]
test:do_execsql_test(
    "join-1.1",
    [[
        CREATE TABLE t1(a INT primary key,b INT,c INT);
        INSERT INTO t1 VALUES(1,2,3);
        INSERT INTO t1 VALUES(2,3,4);
        INSERT INTO t1 VALUES(3,4,5);
        SELECT * FROM t1;
    ]], {
        -- <join-1.1>
        1, 2, 3, 2, 3, 4, 3, 4, 5
        -- </join-1.1>
    })

test:do_execsql_test(
    "join-1.2",
    [[
        CREATE TABLE t2(b INT primary key,c INT,d INT);
        INSERT INTO t2 VALUES(1,2,3);
        INSERT INTO t2 VALUES(2,3,4);
        INSERT INTO t2 VALUES(3,4,5);
        SELECT * FROM t2;
    ]], {
        -- <join-1.2>
        1, 2, 3, 2, 3, 4, 3, 4, 5
        -- </join-1.2>
    })

-- # A FROM clause of the form:  "<table>, <table> ON <expr>" is not
-- # allowed by the sql syntax diagram, nor by any other SQL database
-- # engine that we are aware of.  Nevertheless, historic versions of
-- # sql have allowed it.  We need to continue to support it moving
-- # forward to prevent breakage of legacy applications.  Though, we will
-- # not advertise it as being supported.
-- #
-- do_execsql_test join-1.2.1 {
--   SELECT t1.rowid, t2.rowid, '|' FROM t1, t2 ON t1.a=t2.b;
-- } {1 1 | 2 2 | 3 3 |}
test:do_execsql2_test(
    "join-1.3",
    [[
        SELECT * FROM t1 NATURAL JOIN t2;
    ]], {
        -- <join-1.3>
        "a", 1, "b", 2, "c", 3, "d", 4, "a", 2, "b", 3, "c", 4, "d", 5
        -- </join-1.3>
    })

test:do_execsql2_test(
    "join-1.3.1",
    [[
        SELECT * FROM t2 NATURAL JOIN t1;
    ]], {
        -- <join-1.3.1>
        "b", 2, "c", 3, "d", 4, "a", 1, "b", 3, "c", 4, "d", 5, "a", 2
        -- </join-1.3.1>
    })

test:do_execsql2_test(
    "join-1.3.2",
    [[
        SELECT * FROM t2 AS x NATURAL JOIN t1;
    ]], {
        -- <join-1.3.2>
        "b", 2, "c", 3, "d", 4, "a", 1, "b", 3, "c", 4, "d", 5, "a", 2
        -- </join-1.3.2>
    })

test:do_execsql2_test(
    "join-1.3.3",
    [[
        SELECT * FROM t2 NATURAL JOIN t1 AS y;
    ]], {
        -- <join-1.3.3>
        "b", 2, "c", 3, "d", 4, "a", 1, "b", 3, "c", 4, "d", 5, "a", 2
        -- </join-1.3.3>
    })

test:do_execsql_test(
    "join-1.3.4",
    [[
        SELECT b FROM t1 NATURAL JOIN t2;
    ]], {
        -- <join-1.3.4>
        2, 3
        -- </join-1.3.4>
    })

-- ticket #3522
test:do_execsql2_test(
    "join-1.3.5",
    [[
        SELECT t2.* FROM t2 NATURAL JOIN t1
    ]], {
        -- <join-1.3.5>
        "b", 2, "c", 3, "d", 4, "b", 3, "c", 4, "d", 5
        -- </join-1.3.5>
    })

test:do_execsql2_test(
    "join-1.3.6",
    [[
        SELECT xyzzy.* FROM t2 AS xyzzy NATURAL JOIN t1
    ]], {
        -- <join-1.3.6>
        "b", 2, "c", 3, "d", 4, "b", 3, "c", 4, "d", 5
        -- </join-1.3.6>
    })

test:do_execsql2_test(
    "join-1.3.7",
    [[
        SELECT t1.* FROM t2 NATURAL JOIN t1
    ]], {
        -- <join-1.3.7>
        "a", 1, "b", 2, "c", 3, "a", 2, "b", 3, "c", 4
        -- </join-1.3.7>
    })

test:do_execsql2_test(
    "join-1.3.8",
    [[
        SELECT xyzzy.* FROM t2 NATURAL JOIN t1 AS xyzzy
    ]], {
        -- <join-1.3.8>
        "a", 1, "b", 2, "c", 3, "a", 2, "b", 3, "c", 4
        -- </join-1.3.8>
    })

test:do_execsql2_test(
    "join-1.3.9",
    [[
        SELECT aaa.*, bbb.* FROM t2 AS aaa NATURAL JOIN t1 AS bbb
    ]], {
        -- <join-1.3.9>
        "b", 2, "c", 3, "d", 4, "a", 1, "b", 2, "c", 3, "b", 3, "c", 4,
        "d", 5, "a", 2, "b", 3, "c", 4
        -- </join-1.3.9>
    })

test:do_execsql2_test(
    "join-1.3.10",
    [[
        SELECT t1.*, t2.* FROM t2 NATURAL JOIN t1
    ]], {
        -- <join-1.3.10>
        "a", 1, "b", 2, "c", 3, "b", 2, "c", 3, "d", 4, "a", 2, "b", 3,
        "c", 4, "b", 3, "c", 4, "d", 5
        -- </join-1.3.10>
    })

test:do_execsql2_test(
    "join-1.4.1",
    [[
        SELECT * FROM t1 INNER JOIN t2 USING(b,c);
    ]], {
        -- <join-1.4.1>
        "a", 1, "b", 2, "c", 3, "d", 4, "a", 2, "b", 3, "c", 4, "d", 5
        -- </join-1.4.1>
    })

test:do_execsql2_test(
    "join-1.4.2",
    [[
        SELECT * FROM t1 AS x INNER JOIN t2 USING(b,c);
    ]], {
        -- <join-1.4.2>
        "a", 1, "b", 2, "c", 3, "d", 4, "a", 2, "b", 3, "c", 4, "d", 5
        -- </join-1.4.2>
    })

test:do_execsql2_test(
    "join-1.4.3",
    [[
        SELECT * FROM t1 INNER JOIN t2 AS y USING(b,c);
    ]], {
        -- <join-1.4.3>
        "a", 1, "b", 2, "c", 3, "d", 4, "a", 2, "b", 3, "c", 4, "d", 5
        -- </join-1.4.3>
    })

test:do_execsql2_test(
    "join-1.4.4",
    [[
        SELECT * FROM t1 AS x INNER JOIN t2 AS y USING(b,c);
    ]], {
        -- <join-1.4.4>
        "a", 1, "b", 2, "c", 3, "d", 4, "a", 2, "b", 3, "c", 4, "d", 5
        -- </join-1.4.4>
    })

test:do_execsql_test(
    "join-1.4.5",
    [[
        SELECT b FROM t1 JOIN t2 USING(b);
    ]], {
        -- <join-1.4.5>
        2, 3
        -- </join-1.4.5>
    })

-- Ticket #3522
test:do_execsql2_test(
    "join-1.4.6",
    [[
        SELECT t1.* FROM t1 JOIN t2 USING(b);
    ]], {
        -- <join-1.4.6>
        "a", 1, "b", 2, "c", 3, "a", 2, "b", 3, "c", 4
        -- </join-1.4.6>
    })

test:do_execsql2_test(
    "join-1.4.7",
    [[
        SELECT t2.* FROM t1 JOIN t2 USING(b);
    ]], {
        -- <join-1.4.7>
        "b", 2, "c", 3, "d", 4, "b", 3, "c", 4, "d", 5
        -- </join-1.4.7>
    })

test:do_execsql2_test(
    "join-1.5",
    [[
        SELECT * FROM t1 INNER JOIN t2 USING(b);
    ]], {
        -- <join-1.5>
        "a", 1, "b", 2, "c", 3, "c", 3, "d", 4, "a", 2, "b", 3, "c", 4, "c", 4,
        "d", 5
        -- </join-1.5>
    })

test:do_execsql2_test(
    "join-1.6",
    [[
        SELECT * FROM t1 INNER JOIN t2 USING(c);
    ]], {
        -- <join-1.6>
        "a", 1, "b", 2, "c", 3, "b", 2, "d", 4, "a", 2, "b", 3, "c", 4, "b", 3,
        "d", 5
        -- </join-1.6>
    })

test:do_execsql2_test(
    "join-1.7",
    [[
        SELECT * FROM t1 INNER JOIN t2 USING(c,b);
    ]], {
        -- <join-1.7>
        "a", 1, "b", 2, "c", 3, "d", 4, "a", 2, "b", 3, "c", 4, "d", 5
        -- </join-1.7>
    })

test:do_execsql_test(
    "join-1.8",
    [[
        SELECT * FROM t1 NATURAL CROSS JOIN t2;
    ]], {
        -- <join-1.8>
        1, 2, 3, 4, 2, 3, 4, 5
        -- </join-1.8>
    })

test:do_execsql_test(
    "join-1.9",
    [[
        SELECT * FROM t1 CROSS JOIN t2 USING(b,c);
    ]], {
        -- <join-1.9>
        1, 2, 3, 4, 2, 3, 4, 5
        -- </join-1.9>
    })

test:do_execsql_test(
    "join-1.10",
    [[
        SELECT * FROM t1 NATURAL INNER JOIN t2;
    ]], {
        -- <join-1.10>
        1, 2, 3, 4, 2, 3, 4, 5
        -- </join-1.10>
    })

test:do_execsql_test(
    "join-1.11",
    [[
        SELECT * FROM t1 INNER JOIN t2 USING(b,c);
    ]], {
        -- <join-1.11>
        1, 2, 3, 4, 2, 3, 4, 5
        -- </join-1.11>
    })

test:do_execsql_test(
    "join-1.12",
    [[
        SELECT * FROM t1 natural inner join t2;
    ]], {
        -- <join-1.12>
        1, 2, 3, 4, 2, 3, 4, 5
        -- </join-1.12>
    })

test:do_execsql2_test(
    "join-1.13",
    [[
        SELECT * FROM t1 NATURAL JOIN
          (SELECT b as c, c as d, d as e FROM t2) as t3
    ]], {
        -- <join-1.13>
        "a", 1, "b", 2, "c", 3, "d", 4, "e", 5
        -- </join-1.13>
    })

test:do_execsql2_test(
    "join-1.14",
    [[
        SELECT * FROM (SELECT b as c, c as d, d as e FROM t2) as "tx"
            NATURAL JOIN t1
    ]], {
        -- <join-1.14>
        "c", 3, "d", 4, "e", 5, "a", 1, "b", 2
        -- </join-1.14>
    })



test:do_execsql_test(
    "join-1.15",
    [[
        CREATE TABLE t3(c INT primary key,d INT,e INT);
        INSERT INTO t3 VALUES(2,3,4);
        INSERT INTO t3 VALUES(3,4,5);
        INSERT INTO t3 VALUES(4,5,6);
        SELECT * FROM t3;
    ]], {
        -- <join-1.15>
        2, 3, 4, 3, 4, 5, 4, 5, 6
        -- </join-1.15>
    })

test:do_execsql_test(
    "join-1.16",
    [[
        SELECT * FROM t1 natural join t2 natural join t3;
    ]], {
        -- <join-1.16>
        1, 2, 3, 4, 5, 2, 3, 4, 5, 6
        -- </join-1.16>
    })

test:do_execsql2_test(
    "join-1.17",
    [[
        SELECT * FROM t1 natural join t2 natural join t3;
    ]], {
        -- <join-1.17>
        "a", 1, "b", 2, "c", 3, "d", 4, "e", 5, "a", 2, "b", 3, "c", 4, "d", 5,
        "e", 6
        -- </join-1.17>
    })

test:do_execsql_test(
    "join-1.18",
    [[
        CREATE TABLE t4(d INT primary key,e INT,f INT);
        INSERT INTO t4 VALUES(2,3,4);
        INSERT INTO t4 VALUES(3,4,5);
        INSERT INTO t4 VALUES(4,5,6);
        SELECT * FROM t4;
    ]], {
        -- <join-1.18>
        2, 3, 4, 3, 4, 5, 4, 5, 6
        -- </join-1.18>
    })

test:do_execsql_test(
    "join-1.19.1",
    [[
        SELECT * FROM t1 natural join t2 natural join t4;
    ]], {
        -- <join-1.19.1>
        1, 2, 3, 4, 5, 6
        -- </join-1.19.1>
    })

test:do_execsql2_test(
    "join-1.19.2",
    [[
        SELECT * FROM t1 natural join t2 natural join t4;
    ]], {
        -- <join-1.19.2>
        "a", 1, "b", 2, "c", 3, "d", 4, "e", 5, "f", 6
        -- </join-1.19.2>
    })

test:do_execsql_test(
    "join-1.20",
    [[
        SELECT * FROM t1 natural join t2 natural join t3 WHERE t1.a=1
    ]], {
        -- <join-1.20>
        1, 2, 3, 4, 5
        -- </join-1.20>
    })

test:do_execsql_test(
    "join-2.1",
    [[
        SELECT * FROM t1 NATURAL LEFT JOIN t2;
    ]], {
        -- <join-2.1>
        1, 2, 3, 4, 2, 3, 4, 5, 3, 4, 5, ""
        -- </join-2.1>
    })

-- ticket #3522
test:do_execsql2_test(
    "join-2.1.1",
    [[
        SELECT * FROM t1 NATURAL LEFT JOIN t2;
    ]], {
        -- <join-2.1.1>
        "a", 1, "b", 2, "c", 3, "d", 4, "a", 2, "b", 3, "c", 4, "d", 5, "a", 3,
        "b", 4, "c", 5, "d", null,
        -- </join-2.1.1>
    })

test:do_execsql2_test(
    "join-2.1.2",
    [[
        SELECT t1.* FROM t1 NATURAL LEFT JOIN t2;
    ]], {
        -- <join-2.1.2>
        "a", 1, "b", 2, "c", 3, "a", 2, "b", 3, "c", 4, "a", 3, "b", 4, "c", 5
        -- </join-2.1.2>
    })

test:do_execsql2_test(
    "join-2.1.3",
    [[
        SELECT t2.* FROM t1 NATURAL LEFT JOIN t2;
    ]], {
        -- <join-2.1.3>
        "b", 2, "c", 3, "d", 4, "b", 3, "c", 4, "d", 5, "b", null, "c", null,
        "d", null,
        -- </join-2.1.3>
    })

test:do_execsql_test(
    "join-2.2",
    [[
        SELECT * FROM t2 NATURAL LEFT OUTER JOIN t1;
    ]], {
        -- <join-2.2>
        1, 2, 3, "", 2, 3, 4, 1, 3, 4, 5, 2
        -- </join-2.2>
    })

test:do_catchsql_test(
    "join-2.3",
    [[
        SELECT * FROM t1 NATURAL RIGHT OUTER JOIN t2;
    ]], {
        -- <join-2.3>
        1, "Tarantool does not support RIGHT and FULL OUTER JOINs"
        -- </join-2.3>
    })

test:do_execsql_test(
    "join-2.4",
    [[
        SELECT * FROM t1 LEFT JOIN t2 ON t1.a=t2.d
    ]], {
        -- <join-2.4>
        1, 2, 3, "", "", "", 2, 3, 4, "", "", "", 3, 4, 5, 1, 2, 3
        -- </join-2.4>
    })

test:do_execsql_test(
    "join-2.5",
    [[
        SELECT * FROM t1 LEFT JOIN t2 ON t1.a=t2.d WHERE t1.a>1
    ]], {
        -- <join-2.5>
        2, 3, 4, "", "", "", 3, 4, 5, 1, 2, 3
        -- </join-2.5>
    })

test:do_execsql_test(
    "join-2.6",
    [[
        SELECT * FROM t1 LEFT JOIN t2 ON t1.a=t2.d WHERE t2.b IS NULL OR t2.b>1
    ]], {
        -- <join-2.6>
        1, 2, 3, "", "", "", 2, 3, 4, "", "", ""
        -- </join-2.6>
    })

test:do_catchsql_test(
    "join-3.1",
    [[
        SELECT * FROM t1 NATURAL JOIN t2 ON t1.a=t2.b;
    ]], {
        -- <join-3.1>
        1, "a NATURAL join may not have an ON or USING clause"
        -- </join-3.1>
    })

test:do_catchsql_test(
    "join-3.2",
    [[
        SELECT * FROM t1 NATURAL JOIN t2 USING(b);
    ]], {
        -- <join-3.2>
        1, "a NATURAL join may not have an ON or USING clause"
        -- </join-3.2>
    })

test:do_catchsql_test(
    "join-3.3",
    [[
        SELECT * FROM t1 JOIN t2 ON t1.a=t2.b USING(b);
    ]], {
        -- <join-3.3>
        1, "cannot have both ON and USING clauses in the same join"
        -- </join-3.3>
    })

test:do_catchsql_test(
    "join-3.4.1",
    [[
        SELECT * FROM t1 JOIN t2 USING(a);
    ]], {
        -- <join-3.4.1>
        1, "cannot join using column a - column not present in both tables"
        -- </join-3.4.1>
    })

test:do_catchsql_test(
    "join-3.4.2",
    [[
        SELECT * FROM t1 JOIN t2 USING(d);
    ]], {
        -- <join-3.4.2>
        1, "cannot join using column d - column not present in both tables"
        -- </join-3.4.2>
    })

test:do_catchsql_test(
    "join-3.5",
    [[
        SELECT * FROM t1 USING(a);
    ]], {
        -- <join-3.5>
        1, "Syntax error at line 1 at or near position 34: a JOIN clause is required before ON and USING"
        -- </join-3.5>
    })

test:do_catchsql_test(
    "join-3.6",
    [[
        SELECT * FROM t1 JOIN t2 ON t3.a=t2.b;
    ]], {
        -- <join-3.6>
        1, "Field 'a' was not found in space 't3' format"
        -- </join-3.6>
    })

test:do_catchsql_test(
    "join-3.7",
    [[
        SELECT * FROM t1 INNER OUTER JOIN t2;
    ]], {
        -- <join-3.7>
        1, "unknown or unsupported join type: INNER OUTER"
        -- </join-3.7>
    })

test:do_catchsql_test(
    "join-3.8",
    [[
        SELECT * FROM t1 INNER OUTER CROSS JOIN t2;
    ]], {
        -- <join-3.8>
        1, "unknown or unsupported join type: INNER OUTER CROSS"
        -- </join-3.8>
    })

test:do_catchsql_test(
    "join-3.9",
    [[
        SELECT * FROM t1 OUTER NATURAL INNER JOIN t2;
    ]], {
        -- <join-3.9>
        1, "unknown or unsupported join type: OUTER NATURAL INNER"
        -- </join-3.9>
    })

test:do_catchsql_test(
    "join-3.10",
    [[
        SELECT * FROM t1 LEFT BOGUS JOIN t2;
    ]], {
        -- <join-3.10>
        1, "unknown or unsupported join type: LEFT BOGUS"
        -- </join-3.10>
    })

test:do_catchsql_test(
    "join-3.11",
    [[
        SELECT * FROM t1 INNER BOGUS CROSS JOIN t2;
    ]], {
        -- <join-3.11>
        1, "unknown or unsupported join type: INNER BOGUS CROSS"
        -- </join-3.11>
    })

test:do_catchsql_test(
    "join-3.12",
    [[
        SELECT * FROM t1 NATURAL AWK SED JOIN t2;
    ]], {
        -- <join-3.12>
        1, "unknown or unsupported join type: NATURAL AWK SED"
        -- </join-3.12>
    })

-- do_test join-4.1 {
--   execsql {
--     BEGIN;
--     CREATE TABLE t5(a INTEGER PRIMARY KEY);
--     CREATE TABLE t6(a INTEGER);
--     INSERT INTO t6 VALUES(NULL);
--     INSERT INTO t6 VALUES(NULL);
--     INSERT INTO t6 SELECT * FROM t6;
--     INSERT INTO t6 SELECT * FROM t6;
--     INSERT INTO t6 SELECT * FROM t6;
--     INSERT INTO t6 SELECT * FROM t6;
--     INSERT INTO t6 SELECT * FROM t6;
--     INSERT INTO t6 SELECT * FROM t6;
--     COMMIT;
--   }
--   execsql {
--     SELECT * FROM t6 NATURAL JOIN t5;
--   }
-- } {}
-- do_test join-4.2 {
--   execsql {
--     SELECT * FROM t6, t5 WHERE t6.a<t5.a;
--   }
-- } {}
-- do_test join-4.3 {
--   execsql {
--     SELECT * FROM t6, t5 WHERE t6.a>t5.a;
--   }
-- } {}
-- do_test join-4.4 {
--   execsql {
--     UPDATE t6 SET a='xyz';
--     SELECT * FROM t6 NATURAL JOIN t5;
--   }
-- } {}
-- do_test join-4.6 {
--   execsql {
--     SELECT * FROM t6, t5 WHERE t6.a<t5.a;
--   }
-- } {}
-- do_test join-4.7 {
--   execsql {
--     SELECT * FROM t6, t5 WHERE t6.a>t5.a;
--   }
-- } {}
-- do_test join-4.8 {
--   execsql {
--     UPDATE t6 SET a=1;
--     SELECT * FROM t6 NATURAL JOIN t5;
--   }
-- } {}
-- do_test join-4.9 {
--   execsql {
--     SELECT * FROM t6, t5 WHERE t6.a<t5.a;
--   }
-- } {}
-- do_test join-4.10 {
--   execsql {
--     SELECT * FROM t6, t5 WHERE t6.a>t5.a;
--   }
-- } {}
test:do_execsql_test(
    "join-5.1",
    [[
        create table centros (id integer primary key, centro TEXT);
        create table usuarios (id integer primary key, nombre TEXT, apellidos TEXT,
        idcentro integer);
        START TRANSACTION;
        INSERT INTO centros VALUES(1,'xxx');
        INSERT INTO usuarios VALUES(1,'a','aa',1);
        INSERT INTO usuarios VALUES(2,'b','bb',1);
        INSERT INTO usuarios VALUES(3,'c','cc',NULL);
        COMMIT;
        create index idcentro on usuarios (idcentro);
        select usuarios.id, usuarios.nombre, centros.centro from
        usuarios left outer join centros on usuarios.idcentro = centros.id;
    ]], {
        -- <join-5.1>
        -- query plan changed because scan estimated cost changed for tarantool
        --3, "c", "", 1, "a", "xxx", 2, "b", "xxx"
        1,"a","xxx",2,"b","xxx",3,"c",""
        -- </join-5.1>
    })

-- A test for ticket #247.
--
test:do_execsql_test(
    "join-7.1",
    [[
        CREATE TABLE t7 (id INT primary key, x TEXT, y INT);
        INSERT INTO t7 VALUES (1, 'pa1', 1);
        INSERT INTO t7 VALUES (2, 'pa2', NULL);
        INSERT INTO t7 VALUES (3, 'pa3', NULL);
        INSERT INTO t7 VALUES (4, 'pa4', 2);
        INSERT INTO t7 VALUES (5, 'pa30', 131);
        INSERT INTO t7 VALUES (6, 'pa31', 130);
        INSERT INTO t7 VALUES (7, 'pa28', NULL);

        CREATE TABLE t8 (a integer primary key, b TEXT);
        INSERT INTO t8 VALUES (1, 'pa1');
        INSERT INTO t8 VALUES (2, 'pa4');
        INSERT INTO t8 VALUES (3, NULL);
        INSERT INTO t8 VALUES (4, NULL);
        INSERT INTO t8 VALUES (130, 'pa31');
        INSERT INTO t8 VALUES (131, 'pa30');

        SELECT COALESCE(t8.a,999) from t7 LEFT JOIN t8 on y=a;
    ]], {
        -- <join-7.1>
        1, 999, 999, 2, 131, 130, 999
        -- </join-7.1>
    })

-- MUST_WORK_TEST
-- # Make sure a left join where the right table is really a view that
-- # is itself a join works right.  Ticket #306.
-- #
-- ifcapable view {
-- do_test join-8.1 {
--   execsql {
--     BEGIN;
--     CREATE TABLE t9(a INTEGER PRIMARY KEY, b INT);
--     INSERT INTO t9 VALUES(1,11);
--     INSERT INTO t9 VALUES(2,22);
--     CREATE TABLE t10(x INTEGER PRIMARY KEY, y INT);
--     INSERT INTO t10 VALUES(1,2);
--     INSERT INTO t10 VALUES(3,3);
--     CREATE TABLE t11(p INTEGER PRIMARY KEY, q INT);
--     INSERT INTO t11 VALUES(2,111);
--     INSERT INTO t11 VALUES(3,333);
--     CREATE VIEW v10_11 AS SELECT x, q FROM t10, t11 WHERE t10.y=t11.p;
--     COMMIT;
--     SELECT * FROM t9 LEFT JOIN v10_11 ON( a=x );
--   }
-- } {1 11 1 111 2 22 {} {}}
-- ifcapable subquery {
--   do_test join-8.2 {
--     execsql {
--       SELECT * FROM t9 LEFT JOIN (SELECT x, q FROM t10, t11 WHERE t10.y=t11.p)
--            ON( a=x);
--     }
--   } {1 11 1 111 2 22 {} {}}
-- }
-- do_test join-8.3 {
--   execsql {
--     SELECT * FROM v10_11 LEFT JOIN t9 ON( a=x );
--   }
-- } {1 111 1 11 3 333 {} {}}
-- ifcapable subquery {
--   # Constant expressions in a subquery that is the right element of a
--   # LEFT JOIN evaluate to NULL for rows where the LEFT JOIN does not
--   # match.  Ticket #3300
--   do_test join-8.4 {
--     execsql {
--       SELECT * FROM t9 LEFT JOIN (SELECT 44, p, q FROM t11) AS sub1 ON p=a
--     }
--   } {1 11 {} {} {} 2 22 44 2 111}
-- }
-- } ;# ifcapable view
-- Ticket #350 describes a scenario where LEFT OUTER JOIN does not
-- function correctly if the right table in the join is really
-- subquery.
--
-- To test the problem, we generate the same LEFT OUTER JOIN in two
-- separate selects but with on using a subquery and the other calling
-- the table directly.  Then connect the two SELECTs using an EXCEPT.
-- Both queries should generate the same results so the answer should
-- be an empty set.
--
test:do_execsql_test(
    "join-9.1",
    [[
        CREATE TABLE t12(a INT primary key,b INT);
        CREATE TABLE t13(b INT primary key,c INT);
        START TRANSACTION;
        INSERT INTO t12 VALUES(1,11);
        INSERT INTO t12 VALUES(2,22);
        INSERT INTO t13 VALUES(22,222);
        COMMIT;
    ]], {
        -- <join-9.1>

        -- </join-9.1>
    })

test:do_execsql_test(
    "join-9.1.1",
    [[
        SELECT * FROM t12 NATURAL LEFT JOIN t13
        EXCEPT
        SELECT * FROM t12 NATURAL LEFT JOIN (SELECT * FROM t13 WHERE b>0);
    ]], {
        -- <join-9.1.1>

        -- </join-9.1.1>
    })



-- MUST_WORK_TEST
-- ifcapable view {
--   do_test join-9.2 {
--     execsql {
--       CREATE VIEW v13 AS SELECT * FROM t13 WHERE b>0;
--       SELECT * FROM t12 NATURAL LEFT JOIN t13
--         EXCEPT
--         SELECT * FROM t12 NATURAL LEFT JOIN v13;
--     }
--   } {}
-- } ;# ifcapable view


-- ifcapable compound
-- Ticket #1697:  Left Join WHERE clause terms that contain an
-- aggregate subquery.
--
test:do_execsql_test(
    "join-10.1",
    [[
        CREATE TABLE t21(a INT primary key,b INT,c INT);
        CREATE TABLE t22(p INT primary key,q INT);
        CREATE INDEX i22 ON t22(q);
        SELECT a FROM t21 LEFT JOIN t22 ON b=p WHERE q=
           (SELECT MAX(m.q) FROM t22 m JOIN t21 n ON n.b=m.p WHERE n.c=1);
    ]], {
        -- <join-10.1>

        -- </join-10.1>
    })

-- Test a LEFT JOIN when the right-hand side of hte join is an empty
-- sub-query. Seems fine.
--
test:do_test(
    "join-10.2",
    function()
        test:execsql [[
            CREATE TABLE t23(a INT primary key, b INT, c INT);
            CREATE TABLE t24(a INT primary key, b INT, c INT);
            INSERT INTO t23 VALUES(1, 2, 3);
        ]]
        return test:execsql [[
            SELECT * FROM t23 LEFT JOIN t24;
        ]]
    end, {
        -- <join-10.2>
        1, 2, 3, "", "", ""
        -- </join-10.2>
    })

test:do_execsql_test(
    "join-10.3",
    [[
        SELECT * FROM t23 LEFT JOIN (SELECT * FROM t24);
    ]], {
        -- <join-10.3>
        1, 2, 3, "", "", ""
        -- </join-10.3>
    })



-- ifcapable subquery
---------------------------------------------------------------------------
-- The following tests are to ensure that bug b73fb0bd64 is fixed.
--
test:do_test(
    "join-11.1",
    function()
        test:execsql [[
            DROP TABLE IF EXISTS t1;
            DROP TABLE IF EXISTS t2;
        ]]
        return test:execsql [[
            CREATE TABLE t1(a INTEGER PRIMARY KEY, b TEXT);
            CREATE TABLE t2(a INTEGER PRIMARY KEY, b TEXT);
            INSERT INTO t1 VALUES(1,'abc');
            INSERT INTO t1 VALUES(2,'def');
            INSERT INTO t2 VALUES(1,'abc');
            INSERT INTO t2 VALUES(2,'def');
            SELECT * FROM t1 NATURAL JOIN t2;
        ]]
    end, {
        -- <join-11.1>
        1, "abc", 2, "def"
        -- </join-11.1>
    })

test:do_execsql_test(
    "join-11.2",
    [[
        SELECT a FROM t1 JOIN t1 USING (a)
    ]], {
        -- <join-11.2>
        1, 2
        -- </join-11.2>
    })

test:do_execsql_test(
    "join-11.3",
    [[
        SELECT a FROM t1 JOIN t1 AS t2 USING (a)
    ]], {
        -- <join-11.3>
        1, 2
        -- </join-11.3>
    })

test:do_execsql_test(
    "join-11.3",
    [[
        SELECT * FROM t1 NATURAL JOIN t1 AS t2
    ]], {
        -- <join-11.3>
        1, "abc", 2, "def"
        -- </join-11.3>
    })

test:do_execsql_test(
    "join-11.4",
    [[
        SELECT * FROM t1 NATURAL JOIN t1
    ]], {
        -- <join-11.4>
        1, "abc", 2, "def"
        -- </join-11.4>
    })

test:do_test(
    "join-11.5",
    function()
        test:execsql [[
            DROP TABLE IF EXISTS t1;
            DROP TABLE IF EXISTS t2;
        ]]
        return test:execsql [[
            CREATE TABLE t1(id INT primary key, a TEXT COLLATE "unicode_ci", b INT);
            CREATE TABLE t2(id INT primary key, a TEXT, b INT);
            INSERT INTO t1 VALUES(1, 'ONE', 1);
            INSERT INTO t1 VALUES(2, 'two', 2);
            INSERT INTO t2 VALUES(1, 'one', 1);
            INSERT INTO t2 VALUES(2, 'two', 2);
        ]]
    end, {
        -- <join-11.5>

        -- </join-11.5>
    })

-- MUST_WORK_TEST
-- do_test join-11.6 {
--   execsql { SELECT a,b FROM t1 NATURAL JOIN t2 }
-- } {ONE 1 two 2}
test:do_execsql_test(
    "join-11.7",
    [[
        SELECT a,b FROM t2 NATURAL JOIN t1
    ]], {
        -- <join-11.7>
        "one", 1, "two", 2
        -- </join-11.7>
    })

test:do_test(
    "join-11.8",
    function()
        test:execsql [[
            DROP TABLE IF EXISTS t1;
            DROP TABLE IF EXISTS t2;
        ]]
        return test:execsql [[
            CREATE TABLE t1(a TEXT primary key, b TEXT);
            CREATE TABLE t2(b INTEGER primary key, a TEXT);
            INSERT INTO t1 VALUES('one', '1');
            INSERT INTO t1 VALUES('two', '2');
            INSERT INTO t2 VALUES(1, 'one');
            INSERT INTO t2 VALUES(2, 'two');
        ]]
    end, {
        -- <join-11.8>

        -- </join-11.8>
    })

test:do_catchsql_test(
    "join-11.9",
    [[
        SELECT * FROM t1 NATURAL JOIN t2
    ]], {
        -- <join-11.9>
        1, "Type mismatch: can not convert string('1') to integer"
        -- </join-11.9>
    })

test:do_catchsql_test(
    "join-11.10",
    [[
        SELECT * FROM t2 NATURAL JOIN t1
    ]], {
        -- <join-11.10>
        1, "Type mismatch: can not convert string('1') to number"
        -- </join-11.10>
    })

---------------------------------------------------------------------------
-- Test that at most 64 tables are allowed in a join.
--
test:do_execsql_test(
    "join-12.1",
    [[
        CREATE TABLE t14(x TEXT primary key);
        INSERT INTO t14 VALUES('abcdefghij');
    ]])

local function jointest(tn, nTbl, res)
    local sql = "SELECT 1 FROM "..string.rep("t14,", (nTbl - 1)).." t14;"
    test:do_catchsql_test(tn, sql, res)
    -- X(685, "X!cmd", [=[["uplevel",[["list","do_catchsql_test",["tn"],["sql"],["res"]]]]]=])
end

jointest("join-12.2", 30, {0, {1}})
jointest("join-12.3", 63, {0, {1}})
jointest("join-12.4", 64, {0, {1}})
jointest("join-12.5", 65, {1, 'The number of tables in a join 65 exceeds the limit (64)'})
jointest("join-12.6", 66, {1, 'The number of tables in a join 66 exceeds the limit (64)'})
jointest("join-12.7", 127, {1, 'The number of tables in a join 127 exceeds the limit (64)'})
jointest("join-12.8", 128, {1, 'The number of tables in a join 128 exceeds the limit (64)'})
jointest("join-12.9", 1000, {1, 'The number of tables in a join 1000 exceeds the limit (64)'})
jointest("join-12.10", 65534, {1, 'The number of tables in a join 65534 exceeds the limit (64)'})
jointest("join-12.11", 65535, {1, 'The number of tables in a join 65535 exceeds the limit (64)'})
jointest("join-12.12", 65536, {1, 'The number of tables in a join 65536 exceeds the limit (64)'})
jointest("join-12.13", 65537, {1, 'The number of tables in a join 65537 exceeds the limit (64)'})
--    end
--end

---------------------------------------------------------------------------
-- Test a problem with reordering tables following a LEFT JOIN.
--
test:do_execsql_test(
    "join-13.0",
    [[
        CREATE TABLE aa(a INT primary key);
        CREATE TABLE bb(b INT primary key);
        CREATE TABLE cc(id INT primary key, c INT);

        INSERT INTO aa VALUES(45);
        INSERT INTO cc VALUES(1, 45);
        INSERT INTO cc VALUES(2, 45);
    ]])

test:do_execsql_test(
    "join-13.1",
    [[
        SELECT a,b,c FROM aa LEFT JOIN bb, cc WHERE cc.c=aa.a;
    ]], {
        -- <join-13.1>
        45, "", 45, 45, "", 45
        -- </join-13.1>
    })

-- In the following, the order of [cc] and [bb] must not be exchanged, even
-- though this would be helpful if the query used an inner join.
test:do_execsql_test(
    "join-13.2",
    [[
        CREATE INDEX ccc ON cc(c);
        SELECT a,b,c FROM aa LEFT JOIN bb, cc WHERE cc.c=aa.a;
    ]], {
        -- <join-13.2>
        45, "", 45, 45, "", 45
        -- </join-13.2>
    })

test:finish_test()

