From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from localhost (localhost [127.0.0.1]) by turing.freelists.org (Avenir Technologies Mail Multiplex) with ESMTP id 4372020F4B for ; Wed, 27 Jun 2018 11:40:17 -0400 (EDT) Received: from turing.freelists.org ([127.0.0.1]) by localhost (turing.freelists.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 5qhENYNHQW9M for ; Wed, 27 Jun 2018 11:40:17 -0400 (EDT) Received: from smtpng2.m.smailru.net (smtpng2.m.smailru.net [94.100.179.3]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by turing.freelists.org (Avenir Technologies Mail Multiplex) with ESMTPS id 99B4E20F37 for ; Wed, 27 Jun 2018 11:40:16 -0400 (EDT) From: Kirill Shcherbatov Subject: [tarantool-patches] [PATCH v2 1/1] sql: disallow returning many rows from subselect Date: Wed, 27 Jun 2018 18:40:08 +0300 Message-Id: <7815ec2cb5cfb0d837478cff88fe4ba95503e8d7.1530113937.git.kshcherbatov@tarantool.org> In-Reply-To: References: Sender: tarantool-patches-bounce@freelists.org Errors-to: tarantool-patches-bounce@freelists.org Reply-To: tarantool-patches@freelists.org List-help: List-unsubscribe: List-software: Ecartis version 1.0.0 List-Id: tarantool-patches List-subscribe: List-owner: List-post: List-archive: To: tarantool-patches@freelists.org Cc: korablev@tarantool.org, Kirill Shcherbatov To follow ANSI SQL standard we should dissallow returning multiple rows from subselects after = and in braces (). To achieve this goal we have introduced Select SF_SingleRow flag that indicates the case of subselect having no client-defined LIMIT 1 to patch system implicit LIMIT 1 to be LIMIT 2 and generate extra bytecode to HALT execution on reaching this restrict. Resolves #2366 --- Branch: http://github.com/tarantool/tarantool/tree/kshch/gh-2366-whith-select-subquery Issue: https://github.com/tarantool/tarantool/issues/2366 src/box/sql/expr.c | 12 +- src/box/sql/select.c | 61 +++- src/box/sql/sqliteInt.h | 4 + test/sql-tap/aggnested.test.lua | 2 +- test/sql-tap/e_expr.test.lua | 42 +-- test/sql-tap/misc5.test.lua | 15 +- test/sql-tap/select4.test.lua | 22 +- test/sql-tap/select7.test.lua | 2 +- test/sql-tap/selectA.test.lua | 14 +- test/sql-tap/subquery.test.lua | 14 +- test/sql-tap/subquery2.test.lua | 4 +- test/sql-tap/subselect.test.lua | 34 ++- test/sql-tap/tkt1473.test.lua | 387 +----------------------- test/sql-tap/with1.test.lua | 2 +- test/sql/gh-2366-whith-select-subquery.result | 56 ++++ test/sql/gh-2366-whith-select-subquery.test.lua | 23 ++ 16 files changed, 227 insertions(+), 467 deletions(-) create mode 100644 test/sql/gh-2366-whith-select-subquery.result create mode 100644 test/sql/gh-2366-whith-select-subquery.test.lua diff --git a/src/box/sql/expr.c b/src/box/sql/expr.c index 70e134f..23cee59 100644 --- a/src/box/sql/expr.c +++ b/src/box/sql/expr.c @@ -2874,10 +2874,14 @@ sqlite3CodeSubselect(Parse * pParse, /* Parsing context */ dest.iSDParm); VdbeComment((v, "Init EXISTS result")); } - sql_expr_delete(pParse->db, pSel->pLimit, false); - pSel->pLimit = sqlite3ExprAlloc(pParse->db, TK_INTEGER, - &sqlite3IntTokens[1], - 0); + if (pSel->pLimit == NULL) { + pSel->pLimit = + sqlite3ExprAlloc(pParse->db, TK_INTEGER, + &sqlite3IntTokens[1], + 0); + ExprSetProperty(pSel->pLimit, EP_System); + } + pSel->selFlags |= SF_SingleRow; pSel->iLimit = 0; pSel->selFlags &= ~SF_MultiValue; if (sqlite3Select(pParse, pSel, &dest)) { diff --git a/src/box/sql/select.c b/src/box/sql/select.c index 4e61ec1..e904c2a 100644 --- a/src/box/sql/select.c +++ b/src/box/sql/select.c @@ -2119,6 +2119,38 @@ computeLimitRegisters(Parse * pParse, Select * p, int iBreak) sqlite3VdbeAddOp2(v, OP_IfNot, iLimit, iBreak); VdbeCoverage(v); } + if (p->selFlags & SF_SingleRow) { + if (ExprHasProperty(p->pLimit, EP_System)) { + /* + * Indirect LIMIT 1 is allowed only for + * requests returning only 1 row. + * To test this, we change LIMIT 1 to + * LIMIT 2 and will look up LIMIT 1 overflow + * at the sqlite3Select end. + */ + sqlite3VdbeAddOp2(v, OP_Integer, 2, iLimit); + } else { + /* + * User-defined complex limit for subquery + * could be only 1 as resulting value. + */ + int r1 = sqlite3GetTempReg(pParse); + sqlite3VdbeAddOp2(v, OP_Integer, 1, r1); + int no_err = sqlite3VdbeMakeLabel(v); + sqlite3VdbeAddOp3(v, OP_Eq, iLimit, no_err, r1); + const char *error = + "SELECT subquery could be only limited " + "with 1"; + sqlite3VdbeAddOp4(v, OP_Halt, + SQL_TARANTOOL_ERROR, + 0, 0, error, P4_STATIC); + sqlite3VdbeResolveLabel(v, no_err); + sqlite3ReleaseTempReg(pParse, r1); + + /* Runtime checks are no longer needed. */ + p->selFlags &= ~SF_SingleRow; + } + } if (p->pOffset) { p->iOffset = iOffset = ++pParse->nMem; pParse->nMem++; /* Allocate an extra register for limit+offset */ @@ -5368,6 +5400,23 @@ explain_simple_count(struct Parse *parse_context, const char *table_name) } } +static void +vdbe_code_raise_on_multiple_rows(struct Parse *parser, int limit_reg, int end_mark) +{ + assert(limit_reg != 0); + struct Vdbe *v = sqlite3GetVdbe(parser); + assert(v != NULL); + + int r1 = sqlite3GetTempReg(parser); + sqlite3VdbeAddOp2(v, OP_Integer, 0, r1); + sqlite3VdbeAddOp3(v, OP_Ne, r1, end_mark, limit_reg); + const char *error = "SELECT subquery returned more than 1 row"; + sqlite3VdbeAddOp4(v, OP_Halt, SQL_TARANTOOL_ERROR, + ON_CONFLICT_ACTION_FAIL, 0, + error, P4_STATIC); + sqlite3ReleaseTempReg(parser, r1); +} + /* * Generate code for the SELECT statement given in the p argument. * @@ -5504,6 +5553,12 @@ sqlite3Select(Parse * pParse, /* The parser context */ if (p->pPrior) { rc = multiSelect(pParse, p, pDest); pParse->iSelectId = iRestoreSelectId; + + int end = sqlite3VdbeMakeLabel(v); + if (p->selFlags & SF_SingleRow && p->iLimit != 0) + vdbe_code_raise_on_multiple_rows(pParse, p->iLimit, end); + sqlite3VdbeResolveLabel(v, end); + #ifdef SELECTTRACE_ENABLED SELECTTRACE(1, pParse, p, ("end compound-select processing\n")); pParse->nSelectIndent--; @@ -6296,8 +6351,10 @@ sqlite3Select(Parse * pParse, /* The parser context */ generateSortTail(pParse, p, &sSort, pEList->nExpr, pDest); } - /* Jump here to skip this query - */ + /* Generate code that prevent returning multiple rows. */ + if (p->selFlags & SF_SingleRow && p->iLimit != 0) + vdbe_code_raise_on_multiple_rows(pParse, p->iLimit, iEnd); + /* Jump here to skip this query. */ sqlite3VdbeResolveLabel(v, iEnd); /* The SELECT has been coded. If there is an error in the Parse structure, diff --git a/src/box/sql/sqliteInt.h b/src/box/sql/sqliteInt.h index 5f7a0f1..093aabb 100644 --- a/src/box/sql/sqliteInt.h +++ b/src/box/sql/sqliteInt.h @@ -2370,6 +2370,8 @@ struct Expr { #define EP_Subquery 0x200000 /* Tree contains a TK_SELECT operator */ #define EP_Alias 0x400000 /* Is an alias for a result set column */ #define EP_Leaf 0x800000 /* Expr.pLeft, .pRight, .u.pSelect all NULL */ +/** Expression is system-defined. */ +#define EP_System 0x1000000 /* * Combinations of two or more EP_* flags @@ -2718,6 +2720,8 @@ struct Select { #define SF_FixedLimit 0x04000 /* nSelectRow set by a constant LIMIT */ #define SF_MaybeConvert 0x08000 /* Need convertCompoundSelectToSubquery() */ #define SF_Converted 0x10000 /* By convertCompoundSelectToSubquery() */ +/** Abort subquery if its output contain more than one row. */ +#define SF_SingleRow 0x40000 /* * The results of a SELECT can be distributed in several ways, as defined diff --git a/test/sql-tap/aggnested.test.lua b/test/sql-tap/aggnested.test.lua index e690033..627abdd 100755 --- a/test/sql-tap/aggnested.test.lua +++ b/test/sql-tap/aggnested.test.lua @@ -28,7 +28,7 @@ test:do_execsql_test( INSERT INTO t1 VALUES(1), (2), (3); CREATE TABLE t2(b1 INTEGER PRIMARY KEY); INSERT INTO t2 VALUES(4), (5); - SELECT (SELECT group_concat(a1,'x') FROM t2) FROM t1; + SELECT (SELECT group_concat(a1,'x') FROM t2 LIMIT 1) FROM t1; ]], { -- diff --git a/test/sql-tap/e_expr.test.lua b/test/sql-tap/e_expr.test.lua index 13d3a96..8525ce2 100755 --- a/test/sql-tap/e_expr.test.lua +++ b/test/sql-tap/e_expr.test.lua @@ -3382,11 +3382,11 @@ test:do_execsql_test( -- more rows, then the EXISTS operator evaluates to 1. -- local data = { - {1, "EXISTS ( SELECT a FROM t1 )"}, - {2, "EXISTS ( SELECT b FROM t1 )"}, + {1, "EXISTS ( SELECT a FROM t1 LIMIT 1 )"}, + {2, "EXISTS ( SELECT b FROM t1 LIMIT 1 )"}, {3, "EXISTS ( SELECT 24 )"}, {4, "EXISTS ( SELECT NULL )"}, - {5, "EXISTS ( SELECT a FROM t1 WHERE a IS NULL )"}, + {5, "EXISTS ( SELECT a FROM t1 WHERE a IS NULL LIMIT 1 )"}, } for _, val in ipairs(data) do local tn = val[1] @@ -3412,13 +3412,13 @@ end -- no effect on the results of the EXISTS operator. -- data = { - {1, "EXISTS ( SELECT a,b FROM t1 )", 1}, - {2, "EXISTS ( SELECT a,b, a,b, a,b FROM t1 )", 1}, + {1, "EXISTS ( SELECT a,b FROM t1 LIMIT 1 )", 1}, + {2, "EXISTS ( SELECT a,b, a,b, a,b FROM t1 LIMIT 1 )", 1}, {3, "EXISTS ( SELECT 24, 25 )", 1}, {4, "EXISTS ( SELECT NULL, NULL, NULL )", 1}, - {5, "EXISTS ( SELECT a,b,a||b FROM t1 WHERE a IS NULL )", 1}, - {6, "EXISTS ( SELECT a, a FROM t1 WHERE 0)", 0}, - {7, "EXISTS ( SELECT b, b, a FROM t1 WHERE a = 5)", 0}, + {5, "EXISTS ( SELECT a,b,a||b FROM t1 WHERE a IS NULL LIMIT 1 )", 1}, + {6, "EXISTS ( SELECT a, a FROM t1 WHERE 0 LIMIT 1 )", 0}, + {7, "EXISTS ( SELECT b, b, a FROM t1 WHERE a = 5 LIMIT 1 )", 0}, {8, "EXISTS ( SELECT 24, 46, 89 WHERE 0)", 0}, {9, "EXISTS ( SELECT NULL, NULL WHERE 1=2)", 0}, } @@ -3433,7 +3433,7 @@ end -- data = { {1, "EXISTS (SELECT 'not null')", "EXISTS (SELECT NULL)"}, - {2, "EXISTS (SELECT NULL FROM t1)", "EXISTS (SELECT 'bread' FROM t1)"}, + {2, "EXISTS (SELECT NULL FROM t1 LIMIT 1)", "EXISTS (SELECT 'bread' FROM t1 LIMIT 1)"}, } for _, val in ipairs(data) do @@ -3474,12 +3474,12 @@ test:do_execsql_test( do_expr_test("e_expr-35.1.1", " (SELECT 35) ", "integer", 35) do_expr_test("e_expr-35.1.2", " (SELECT NULL) ", "null", "") do_expr_test("e_expr-35.1.3", " (SELECT count(*) FROM t22) ", "integer", 3) -do_expr_test("e_expr-35.1.4", " (SELECT 4 FROM t22) ", "integer", 4) +do_expr_test("e_expr-35.1.4", " (SELECT 4 FROM t22 LIMIT 1) ", "integer", 4) do_expr_test("e_expr-35.1.5", [[ - (SELECT b FROM t22 UNION SELECT a+1 FROM t22) + (SELECT b FROM t22 UNION SELECT a+1 FROM t22 LIMIT 1) ]], "null", "") do_expr_test("e_expr-35.1.6", [[ - (SELECT a FROM t22 UNION SELECT COALESCE(b, 55) FROM t22 ORDER BY 1) + (SELECT a FROM t22 UNION SELECT COALESCE(b, 55) FROM t22 ORDER BY 1 LIMIT 1) ]], "integer", 4) -- EVIDENCE-OF: R-46899-53765 A SELECT used as a scalar quantity must -- return a result set with a single column. @@ -3488,12 +3488,12 @@ do_expr_test("e_expr-35.1.6", [[ -- where a subquery returns more than one column. -- data = { - {1, "SELECT (SELECT * FROM t22 UNION SELECT a+1, b+1 FROM t22)"}, - {2, "SELECT (SELECT * FROM t22 UNION SELECT a+1, b+1 FROM t22 ORDER BY 1)"}, + {1, "SELECT (SELECT * FROM t22 UNION SELECT a+1, b+1 FROM t22 LIMIT 1)"}, + {2, "SELECT (SELECT * FROM t22 UNION SELECT a+1, b+1 FROM t22 ORDER BY 1 LIMIT 1)"}, {3, "SELECT (SELECT 1, 2)"}, {4, "SELECT (SELECT NULL, NULL, NULL)"}, - {5, "SELECT (SELECT * FROM t22)"}, - {6, "SELECT (SELECT * FROM (SELECT 1, 2, 3))"}, + {5, "SELECT (SELECT * FROM t22 LIMIT 1)"}, + {6, "SELECT (SELECT * FROM (SELECT 1, 2, 3) LIMIT 1)"}, } local M = {1, "/sub--select returns [23] columns -- expected 1/"} for _, val in ipairs(data) do @@ -3524,11 +3524,11 @@ test:do_execsql_test( }) data = { - {2, "( SELECT x FROM t4 ORDER BY x ) ", "integer", 1}, - {3, "( SELECT x FROM t4 ORDER BY y ) ", "integer", 1}, - {4, "( SELECT x FROM t4 ORDER BY x DESC )", "integer", 3}, - {5, "( SELECT x FROM t4 ORDER BY y DESC )", "integer", 2}, - {6, "( SELECT y FROM t4 ORDER BY y DESC )", "text", "two"}, + {2, "( SELECT x FROM t4 ORDER BY x LIMIT 1 ) ", "integer", 1}, + {3, "( SELECT x FROM t4 ORDER BY y LIMIT 1 ) ", "integer", 1}, + {4, "( SELECT x FROM t4 ORDER BY x DESC LIMIT 1)", "integer", 3}, + {5, "( SELECT x FROM t4 ORDER BY y DESC LIMIT 1 )", "integer", 2}, + {6, "( SELECT y FROM t4 ORDER BY y DESC LIMIT 1 )", "text", "two"}, {7, "( SELECT sum(x) FROM t4 ) ", "integer", 6}, {8, "( SELECT group_concat(y,'') FROM t4 )", "text", "onetwothree"}, {9, "( SELECT max(x) FROM t4 WHERE y LIKE '___')", "integer", 2 }, diff --git a/test/sql-tap/misc5.test.lua b/test/sql-tap/misc5.test.lua index f25f8b2..09deeff 100755 --- a/test/sql-tap/misc5.test.lua +++ b/test/sql-tap/misc5.test.lua @@ -167,11 +167,7 @@ test:do_execsql_test( WHERE songid IN ( SELECT songid FROM songs - WHERE LOWER(artist) = ( - -- This sub-query is indeterminate. Because there is no ORDER BY, - -- it may return 'one', 'two' or 'three'. Because of this, the - -- outermost parent query may correctly return any of 'one', 'two' - -- or 'three' as well. + WHERE LOWER(artist) IN ( SELECT DISTINCT LOWER(artist) FROM ( -- This sub-query returns the table: @@ -186,14 +182,15 @@ test:do_execsql_test( ORDER BY total DESC LIMIT 10 ) - WHERE artist <> '' - ) - ) + WHERE artist <> '' + ) + ) + LIMIT 1 ) ORDER BY LOWER(artist) ASC; ]], { -- - "two" + "one" -- }) diff --git a/test/sql-tap/select4.test.lua b/test/sql-tap/select4.test.lua index 5f91b13..5b49d8b 100755 --- a/test/sql-tap/select4.test.lua +++ b/test/sql-tap/select4.test.lua @@ -1,6 +1,6 @@ #!/usr/bin/env tarantool test = require("sqltester") -test:plan(103) +test:plan(101) --!./tcltestrunner.lua -- 2001 September 15 @@ -1379,26 +1379,6 @@ test:do_execsql_test( }) test:do_execsql_test( - "select4-14.10", - [[ - SELECT (VALUES(1),(2),(3),(4)) - ]], { - -- - 1 - -- - }) - -test:do_execsql_test( - "select4-14.11", - [[ - SELECT (SELECT 1 UNION ALL SELECT 2 UNION ALL SELECT 3 UNION ALL SELECT 4) - ]], { - -- - 1 - -- - }) - -test:do_execsql_test( "select4-14.12", [[ VALUES(1) UNION VALUES(2); diff --git a/test/sql-tap/select7.test.lua b/test/sql-tap/select7.test.lua index 7fc0a3c..10e13e2 100755 --- a/test/sql-tap/select7.test.lua +++ b/test/sql-tap/select7.test.lua @@ -112,7 +112,7 @@ test:do_execsql_test( SELECT P.pk from PHOTO P WHERE NOT EXISTS ( SELECT T2.pk from TAG T2 WHERE T2.fk = P.pk EXCEPT - SELECT T3.pk from TAG T3 WHERE T3.fk = P.pk AND T3.name LIKE '%foo%' + SELECT T3.pk from TAG T3 WHERE T3.fk = P.pk AND T3.name LIKE '%foo%' LIMIT 1 ); ]], { -- diff --git a/test/sql-tap/selectA.test.lua b/test/sql-tap/selectA.test.lua index fc482e9..367a3f1 100755 --- a/test/sql-tap/selectA.test.lua +++ b/test/sql-tap/selectA.test.lua @@ -1145,7 +1145,7 @@ test:do_execsql_test( test:do_execsql_test( "selectA-2.93", [[ - SELECT upper((SELECT c FROM t1 UNION SELECT z FROM t2 ORDER BY 1)); + SELECT upper((SELECT c FROM t1 UNION SELECT z FROM t2 ORDER BY 1 LIMIT 1)); ]], { -- "A" @@ -1155,7 +1155,7 @@ test:do_execsql_test( test:do_execsql_test( "selectA-2.94", [[ - SELECT lower((SELECT c FROM t1 UNION ALL SELECT z FROM t2 ORDER BY 1)); + SELECT lower((SELECT c FROM t1 UNION ALL SELECT z FROM t2 ORDER BY 1 LIMIT 1)); ]], { -- "a" @@ -1165,7 +1165,7 @@ test:do_execsql_test( test:do_execsql_test( "selectA-2.95", [[ - SELECT lower((SELECT c FROM t1 INTERSECT SELECT z FROM t2 ORDER BY 1)); + SELECT lower((SELECT c FROM t1 INTERSECT SELECT z FROM t2 ORDER BY 1 LIMIT 1)); ]], { -- "" @@ -1175,7 +1175,7 @@ test:do_execsql_test( test:do_execsql_test( "selectA-2.96", [[ - SELECT lower((SELECT z FROM t2 EXCEPT SELECT c FROM t1 ORDER BY 1)); + SELECT lower((SELECT z FROM t2 EXCEPT SELECT c FROM t1 ORDER BY 1 LIMIT 1)); ]], { -- "m" @@ -2302,7 +2302,7 @@ test:do_execsql_test( test:do_execsql_test( "selectA-3.96", [[ - SELECT lower((SELECT z FROM t2 EXCEPT SELECT c FROM t1 ORDER BY 1)); + SELECT lower((SELECT z FROM t2 EXCEPT SELECT c FROM t1 ORDER BY 1 LIMIT 1)); ]], { -- "m" @@ -2320,7 +2320,7 @@ test:do_execsql_test( INTERSECT SELECT a,b,c FROM t3 EXCEPT SELECT c,b,a FROM t1 UNION SELECT a,b,c FROM t3 - ORDER BY y COLLATE "unicode_ci" DESC,x,z))) + ORDER BY y COLLATE "unicode_ci" DESC,x,z) LIMIT 1)) ]], { -- "MAD" @@ -2340,7 +2340,7 @@ test:do_execsql_test( INTERSECT SELECT a,b,c FROM t3 EXCEPT SELECT c,b,a FROM t1 UNION SELECT a,b,c FROM t3 - ORDER BY y COLLATE "unicode_ci" DESC,x,z))) + ORDER BY y COLLATE "unicode_ci" DESC,x,z LIMIT 1))) UNION ALL SELECT n || '+' FROM xyz WHERE length(n)<5 ) diff --git a/test/sql-tap/subquery.test.lua b/test/sql-tap/subquery.test.lua index 06631c1..119f602 100755 --- a/test/sql-tap/subquery.test.lua +++ b/test/sql-tap/subquery.test.lua @@ -659,7 +659,7 @@ test:do_execsql_test( test:do_execsql_test( "subquery-4.1.1", [[ - SELECT (SELECT a FROM t1); + SELECT (SELECT a FROM t1 LIMIT 1); ]], { -- 1 @@ -811,7 +811,7 @@ test:do_execsql_test( INSERT INTO t9 VALUES(20000); INSERT INTO t9 VALUES(30000); - SELECT (SELECT c7+c8 FROM t7) FROM t8; + SELECT (SELECT c7+c8 FROM t7 LIMIT 1) FROM t8; ]], { -- 101, 201, 301 @@ -852,7 +852,7 @@ test:do_execsql_test( test:do_execsql_test( "subquery-7.6", [[ - SELECT (SELECT (SELECT max(c7+c8+c9) FROM t9) FROM t8) FROM t7 + SELECT (SELECT (SELECT max(c7+c8+c9) FROM t9 LIMIT 1) FROM t8 LIMIT 1) FROM t7 ]], { -- 30101, 30102, 30103 @@ -862,7 +862,7 @@ test:do_execsql_test( test:do_execsql_test( "subquery-7.7", [[ - SELECT (SELECT (SELECT c7+max(c8+c9) FROM t9) FROM t8) FROM t7 + SELECT (SELECT (SELECT c7+max(c8+c9) FROM t9 LIMIT 1) FROM t8 LIMIT 1) FROM t7 ]], { -- 30101, 30102, 30103 @@ -872,7 +872,7 @@ test:do_execsql_test( test:do_execsql_test( "subquery-7.8", [[ - SELECT (SELECT (SELECT max(c7)+c8+c9 FROM t9) FROM t8) FROM t7 + SELECT (SELECT (SELECT max(c7)+c8+c9 FROM t9 LIMIT 1) FROM t8 LIMIT 1) FROM t7 ]], { -- 10103 @@ -882,7 +882,7 @@ test:do_execsql_test( test:do_execsql_test( "subquery-7.9", [[ - SELECT (SELECT (SELECT c7+max(c8)+c9 FROM t9) FROM t8) FROM t7 + SELECT (SELECT (SELECT c7+max(c8)+c9 FROM t9 LIMIT 1) FROM t8 LIMIT 1) FROM t7 ]], { -- 10301, 10302, 10303 @@ -892,7 +892,7 @@ test:do_execsql_test( test:do_execsql_test( "subquery-7.10", [[ - SELECT (SELECT (SELECT c7+c8+max(c9) FROM t9) FROM t8) FROM t7 + SELECT (SELECT (SELECT c7+c8+max(c9) FROM t9 LIMIT 1) FROM t8 LIMIT 1) FROM t7 ]], { -- 30101, 30102, 30103 diff --git a/test/sql-tap/subquery2.test.lua b/test/sql-tap/subquery2.test.lua index 56daf7f..647a240 100755 --- a/test/sql-tap/subquery2.test.lua +++ b/test/sql-tap/subquery2.test.lua @@ -70,7 +70,7 @@ test:do_execsql_test( "subquery2-1.11", [[ SELECT a FROM t1 - WHERE +b=(SELECT x+1 FROM (SELECT DISTINCT f/(a*a) AS x FROM t3)); + WHERE +b IN (SELECT x+1 FROM (SELECT DISTINCT f/(a*a) AS x FROM t3 LIMIT 1)); ]], { -- 1 @@ -81,7 +81,7 @@ test:do_execsql_test( "subquery2-1.12", [[ SELECT a FROM t1 - WHERE b=(SELECT x+1 FROM (SELECT DISTINCT f/(a*a) AS x FROM t3)); + WHERE b IN (SELECT x+1 FROM (SELECT DISTINCT f/(a*a) AS x FROM t3 LIMIT 1)); ]], { -- 1 diff --git a/test/sql-tap/subselect.test.lua b/test/sql-tap/subselect.test.lua index 809ec12..3562c9a 100755 --- a/test/sql-tap/subselect.test.lua +++ b/test/sql-tap/subselect.test.lua @@ -1,6 +1,6 @@ #!/usr/bin/env tarantool test = require("sqltester") -test:plan(26) +test:plan(28) --!./tcltestrunner.lua -- 2001 September 15 @@ -99,7 +99,7 @@ test:do_execsql_test( "subselect-1.3e", [[ SELECT b FROM t1 - WHERE a = (SELECT a FROM t1 UNION SELECT b FROM t1 ORDER BY 1); + WHERE a = (SELECT a FROM t1 UNION SELECT b FROM t1 ORDER BY 1 LIMIT 1); ]], { -- 2 @@ -162,7 +162,7 @@ test:do_test( test:do_execsql_test( "subselect-2.1", [[ - SELECT (SELECT a FROM t1 ORDER BY a), (SELECT a FROM t1 ORDER BY a DESC) + SELECT (SELECT a FROM t1 ORDER BY a LIMIT 1), (SELECT a FROM t1 ORDER BY a DESC LIMIT 1) ]], { -- 1, 5 @@ -232,7 +232,7 @@ test:do_execsql_test( test:do_execsql_test( "subselect-3.4", [[ - SELECT (SELECT x FROM t3 ORDER BY x); + SELECT (SELECT x FROM t3 ORDER BY x LIMIT 1); ]], { -- 1 @@ -242,7 +242,7 @@ test:do_execsql_test( test:do_execsql_test( "subselect-3.5", [[ - SELECT (SELECT x FROM t3 ORDER BY x DESC); + SELECT (SELECT x FROM t3 ORDER BY x DESC LIMIT 1); ]], { -- 6 @@ -338,6 +338,30 @@ test:do_execsql_test( -- }) +-- gh-2366 dissallow subselects returning multiple values +test:do_catchsql_test( + "subselect-5.1", + [[ + CREATE TABLE t5(a int primary key, b int); + INSERT INTO t5 VALUES(1,2); + INSERT INTO t5 VALUES(3,4); + INSERT INTO t5 VALUES(5,6); + INSERT INTO t5 VALUES(6,6); + SELECT (SELECT a FROM t5); + ]], { + -- + 1, "SELECT subquery returned more than 1 row" + -- +}) +test:do_catchsql_test( + "subselect-5.2", + [[ + SELECT b from t5 WHERE a = (SELECT a FROM t5 WHERE b=6); + ]], { + -- + 1, "SELECT subquery returned more than 1 row" + -- +}) test:finish_test() diff --git a/test/sql-tap/tkt1473.test.lua b/test/sql-tap/tkt1473.test.lua index c9b53b1..f042ca3 100755 --- a/test/sql-tap/tkt1473.test.lua +++ b/test/sql-tap/tkt1473.test.lua @@ -1,6 +1,6 @@ #!/usr/bin/env tarantool test = require("sqltester") -test:plan(57) +test:plan(39) --!./tcltestrunner.lua -- 2005 September 19 @@ -118,17 +118,6 @@ test:do_execsql_test( -- Everything from this point on depends on sub-queries. So skip it -- if sub-queries are not available. - -test:do_execsql_test( - "tkt1473-2.2", - [[ - SELECT (SELECT 1 FROM t1 WHERE a=1 UNION ALL SELECT 2 FROM t1 WHERE b=0) - ]], { - -- - 1 - -- - }) - test:do_execsql_test( "tkt1473-2.3", [[ @@ -140,36 +129,6 @@ test:do_execsql_test( }) test:do_execsql_test( - "tkt1473-2.4", - [[ - SELECT (SELECT 1 FROM t1 WHERE a=1 UNION ALL SELECT 2 FROM t1 WHERE b=4) - ]], { - -- - 1 - -- - }) - -test:do_execsql_test( - "tkt1473-2.5", - [[ - SELECT (SELECT 1 FROM t1 WHERE a=1 UNION SELECT 2 FROM t1 WHERE b=4) - ]], { - -- - 1 - -- - }) - -test:do_execsql_test( - "tkt1473-2.6", - [[ - SELECT (SELECT 1 FROM t1 WHERE a=0 UNION ALL SELECT 2 FROM t1 WHERE b=4) - ]], { - -- - 2 - -- - }) - -test:do_execsql_test( "tkt1473-2.7", [[ SELECT (SELECT 1 FROM t1 WHERE a=0 UNION SELECT 2 FROM t1 WHERE b=4) @@ -200,17 +159,6 @@ test:do_execsql_test( }) test:do_execsql_test( - "tkt1473-3.2", - [[ - SELECT EXISTS - (SELECT 1 FROM t1 WHERE a=1 UNION ALL SELECT 2 FROM t1 WHERE b=0) - ]], { - -- - 1 - -- - }) - -test:do_execsql_test( "tkt1473-3.3", [[ SELECT EXISTS @@ -222,39 +170,6 @@ test:do_execsql_test( }) test:do_execsql_test( - "tkt1473-3.4", - [[ - SELECT EXISTS - (SELECT 1 FROM t1 WHERE a=1 UNION ALL SELECT 2 FROM t1 WHERE b=4) - ]], { - -- - 1 - -- - }) - -test:do_execsql_test( - "tkt1473-3.5", - [[ - SELECT EXISTS - (SELECT 1 FROM t1 WHERE a=1 UNION SELECT 2 FROM t1 WHERE b=4) - ]], { - -- - 1 - -- - }) - -test:do_execsql_test( - "tkt1473-3.6", - [[ - SELECT EXISTS - (SELECT 1 FROM t1 WHERE a=0 UNION ALL SELECT 2 FROM t1 WHERE b=4) - ]], { - -- - 1 - -- - }) - -test:do_execsql_test( "tkt1473-3.7", [[ SELECT EXISTS @@ -334,126 +249,6 @@ test:do_execsql_test( }) test:do_execsql_test( - "tkt1473-4.3", - [[ - SELECT ( - SELECT 1 FROM t2 WHERE x=0 - UNION ALL - SELECT 2 FROM t2 WHERE x=1 - UNION ALL - SELECT 3 FROM t2 WHERE x=2 - UNION ALL - SELECT 4 FROM t2 WHERE x=3 - UNION ALL - SELECT 5 FROM t2 WHERE x=4 - UNION ALL - SELECT 6 FROM t2 WHERE y=0 - UNION ALL - SELECT 7 FROM t2 WHERE y=1 - UNION ALL - SELECT 8 FROM t2 WHERE y=2 - UNION ALL - SELECT 9 FROM t2 WHERE y=3 - UNION ALL - SELECT 10 FROM t2 WHERE y=4 - ) - ]], { - -- - 2 - -- - }) - -test:do_execsql_test( - "tkt1473-4.4", - [[ - SELECT ( - SELECT 1 FROM t2 WHERE x=0 - UNION ALL - SELECT 2 FROM t2 WHERE x=-1 - UNION ALL - SELECT 3 FROM t2 WHERE x=2 - UNION ALL - SELECT 4 FROM t2 WHERE x=3 - UNION ALL - SELECT 5 FROM t2 WHERE x=4 - UNION ALL - SELECT 6 FROM t2 WHERE y=0 - UNION ALL - SELECT 7 FROM t2 WHERE y=1 - UNION ALL - SELECT 8 FROM t2 WHERE y=2 - UNION ALL - SELECT 9 FROM t2 WHERE y=3 - UNION ALL - SELECT 10 FROM t2 WHERE y=4 - ) - ]], { - -- - 4 - -- - }) - -test:do_execsql_test( - "tkt1473-4.5", - [[ - SELECT ( - SELECT 1 FROM t2 WHERE x=0 - UNION ALL - SELECT 2 FROM t2 WHERE x=-1 - UNION ALL - SELECT 3 FROM t2 WHERE x=2 - UNION ALL - SELECT 4 FROM t2 WHERE x=-1 - UNION ALL - SELECT 5 FROM t2 WHERE x=4 - UNION ALL - SELECT 6 FROM t2 WHERE y=0 - UNION ALL - SELECT 7 FROM t2 WHERE y=1 - UNION ALL - SELECT 8 FROM t2 WHERE y=2 - UNION ALL - SELECT 9 FROM t2 WHERE y=3 - UNION ALL - SELECT 10 FROM t2 WHERE y=-4 - ) - ]], { - -- - 8 - -- - }) - -test:do_execsql_test( - "tkt1473-4.6", - [[ - SELECT ( - SELECT 1 FROM t2 WHERE x=0 - UNION ALL - SELECT 2 FROM t2 WHERE x=-1 - UNION ALL - SELECT 3 FROM t2 WHERE x=2 - UNION ALL - SELECT 4 FROM t2 WHERE x=-2 - UNION ALL - SELECT 5 FROM t2 WHERE x=4 - UNION ALL - SELECT 6 FROM t2 WHERE y=0 - UNION ALL - SELECT 7 FROM t2 WHERE y=1 - UNION ALL - SELECT 8 FROM t2 WHERE y=-3 - UNION ALL - SELECT 9 FROM t2 WHERE y=3 - UNION ALL - SELECT 10 FROM t2 WHERE y=4 - ) - ]], { - -- - 10 - -- - }) - -test:do_execsql_test( "tkt1473-4.7", [[ SELECT ( @@ -484,126 +279,6 @@ test:do_execsql_test( }) test:do_execsql_test( - "tkt1473-5.3", - [[ - SELECT EXISTS ( - SELECT 1 FROM t2 WHERE x=0 - UNION ALL - SELECT 2 FROM t2 WHERE x=1 - UNION ALL - SELECT 3 FROM t2 WHERE x=2 - UNION ALL - SELECT 4 FROM t2 WHERE x=3 - UNION ALL - SELECT 5 FROM t2 WHERE x=4 - UNION ALL - SELECT 6 FROM t2 WHERE y=0 - UNION ALL - SELECT 7 FROM t2 WHERE y=1 - UNION ALL - SELECT 8 FROM t2 WHERE y=2 - UNION ALL - SELECT 9 FROM t2 WHERE y=3 - UNION ALL - SELECT 10 FROM t2 WHERE y=4 - ) - ]], { - -- - 1 - -- - }) - -test:do_execsql_test( - "tkt1473-5.4", - [[ - SELECT EXISTS ( - SELECT 1 FROM t2 WHERE x=0 - UNION ALL - SELECT 2 FROM t2 WHERE x=-1 - UNION ALL - SELECT 3 FROM t2 WHERE x=2 - UNION ALL - SELECT 4 FROM t2 WHERE x=3 - UNION ALL - SELECT 5 FROM t2 WHERE x=4 - UNION ALL - SELECT 6 FROM t2 WHERE y=0 - UNION ALL - SELECT 7 FROM t2 WHERE y=1 - UNION ALL - SELECT 8 FROM t2 WHERE y=2 - UNION ALL - SELECT 9 FROM t2 WHERE y=3 - UNION ALL - SELECT 10 FROM t2 WHERE y=4 - ) - ]], { - -- - 1 - -- - }) - -test:do_execsql_test( - "tkt1473-5.5", - [[ - SELECT EXISTS ( - SELECT 1 FROM t2 WHERE x=0 - UNION ALL - SELECT 2 FROM t2 WHERE x=-1 - UNION ALL - SELECT 3 FROM t2 WHERE x=2 - UNION ALL - SELECT 4 FROM t2 WHERE x=-1 - UNION ALL - SELECT 5 FROM t2 WHERE x=4 - UNION ALL - SELECT 6 FROM t2 WHERE y=0 - UNION ALL - SELECT 7 FROM t2 WHERE y=1 - UNION ALL - SELECT 8 FROM t2 WHERE y=2 - UNION ALL - SELECT 9 FROM t2 WHERE y=3 - UNION ALL - SELECT 10 FROM t2 WHERE y=-4 - ) - ]], { - -- - 1 - -- - }) - -test:do_execsql_test( - "tkt1473-5.6", - [[ - SELECT EXISTS ( - SELECT 1 FROM t2 WHERE x=0 - UNION ALL - SELECT 2 FROM t2 WHERE x=-1 - UNION ALL - SELECT 3 FROM t2 WHERE x=2 - UNION ALL - SELECT 4 FROM t2 WHERE x=-2 - UNION ALL - SELECT 5 FROM t2 WHERE x=4 - UNION ALL - SELECT 6 FROM t2 WHERE y=0 - UNION ALL - SELECT 7 FROM t2 WHERE y=1 - UNION ALL - SELECT 8 FROM t2 WHERE y=-3 - UNION ALL - SELECT 9 FROM t2 WHERE y=3 - UNION ALL - SELECT 10 FROM t2 WHERE y=4 - ) - ]], { - -- - 1 - -- - }) - -test:do_execsql_test( "tkt1473-5.7", [[ SELECT EXISTS ( @@ -634,66 +309,6 @@ test:do_execsql_test( }) test:do_execsql_test( - "tkt1473-6.3", - [[ - SELECT EXISTS ( - SELECT 1 FROM t2 WHERE x=0 - UNION - SELECT 2 FROM t2 WHERE x=1 - UNION - SELECT 3 FROM t2 WHERE x=2 - UNION - SELECT 4 FROM t2 WHERE x=3 - UNION - SELECT 5 FROM t2 WHERE x=4 - UNION - SELECT 6 FROM t2 WHERE y=0 - UNION - SELECT 7 FROM t2 WHERE y=1 - UNION - SELECT 8 FROM t2 WHERE y=2 - UNION - SELECT 9 FROM t2 WHERE y=3 - UNION - SELECT 10 FROM t2 WHERE y=4 - ) - ]], { - -- - 1 - -- - }) - -test:do_execsql_test( - "tkt1473-6.4", - [[ - SELECT EXISTS ( - SELECT 1 FROM t2 WHERE x=0 - UNION - SELECT 2 FROM t2 WHERE x=-1 - UNION - SELECT 3 FROM t2 WHERE x=2 - UNION - SELECT 4 FROM t2 WHERE x=3 - UNION - SELECT 5 FROM t2 WHERE x=4 - UNION - SELECT 6 FROM t2 WHERE y=0 - UNION - SELECT 7 FROM t2 WHERE y=1 - UNION - SELECT 8 FROM t2 WHERE y=2 - UNION - SELECT 9 FROM t2 WHERE y=3 - UNION - SELECT 10 FROM t2 WHERE y=4 - ) - ]], { - -- - 1 - -- - }) - -test:do_execsql_test( "tkt1473-6.5", [[ SELECT EXISTS ( diff --git a/test/sql-tap/with1.test.lua b/test/sql-tap/with1.test.lua index 528df67..6db8d13 100755 --- a/test/sql-tap/with1.test.lua +++ b/test/sql-tap/with1.test.lua @@ -609,7 +609,7 @@ test:do_execsql_test("8.2-soduko", [[ OR z.z = substr(s, ((ind-1)%9) + (lp-1)*9 + 1, 1) OR z.z = substr(s, (((ind-1)/3) % 3) * 3 + ((ind-1)/27) * 27 + lp - + ((lp-1) / 3) * 6, 1) + + ((lp-1) / 3) * 6, 1) LIMIT 1 ) ) SELECT s FROM x WHERE ind=0; diff --git a/test/sql/gh-2366-whith-select-subquery.result b/test/sql/gh-2366-whith-select-subquery.result new file mode 100644 index 0000000..e6edf2b --- /dev/null +++ b/test/sql/gh-2366-whith-select-subquery.result @@ -0,0 +1,56 @@ +env = require('test_run') +--- +... +test_run = env.new() +--- +... +-- +-- gh-2366: SQL subquery with = +-- +box.sql.execute("CREATE TABLE t1(a int primary key, b int);") +--- +... +box.sql.execute("INSERT INTO t1 VALUES(1,2);") +--- +... +box.sql.execute("INSERT INTO t1 VALUES(3,4);") +--- +... +box.sql.execute("INSERT INTO t1 VALUES(5,6);") +--- +... +box.sql.execute("INSERT INTO t1 VALUES(7,6);") +--- +... +box.sql.execute("select * from t1;") +--- +- - [1, 2] + - [3, 4] + - [5, 6] + - [7, 6] +... +box.sql.execute("SELECT a FROM t1 WHERE b=6 LIMIT (select b from t1 where a =1);") +--- +- - [5] + - [7] +... +box.sql.execute("SELECT b from t1 where a = (SELECT a FROM t1 WHERE b=6);") +--- +- error: SELECT subquery returned more than 1 row +... +box.sql.execute("SELECT b from t1 where a = (SELECT a FROM t1 WHERE b=6 LIMIT (select b-1 from t1 where a =1));") +--- +- - [6] +... +box.sql.execute("SELECT b from t1 where a = (SELECT a FROM t1 WHERE b=6 LIMIT (select b from t1 where a =1));") +--- +- error: SELECT subquery could be only limited with 1 +... +box.sql.execute("SELECT (VALUES(1),(2),(3),(4));") +--- +- error: SELECT subquery returned more than 1 row +... +-- clean-up +box.sql.execute("DROP TABLE t1;") +--- +... diff --git a/test/sql/gh-2366-whith-select-subquery.test.lua b/test/sql/gh-2366-whith-select-subquery.test.lua new file mode 100644 index 0000000..39116df --- /dev/null +++ b/test/sql/gh-2366-whith-select-subquery.test.lua @@ -0,0 +1,23 @@ +env = require('test_run') +test_run = env.new() + +-- +-- gh-2366: SQL subquery with = +-- + +box.sql.execute("CREATE TABLE t1(a int primary key, b int);") +box.sql.execute("INSERT INTO t1 VALUES(1,2);") +box.sql.execute("INSERT INTO t1 VALUES(3,4);") +box.sql.execute("INSERT INTO t1 VALUES(5,6);") +box.sql.execute("INSERT INTO t1 VALUES(7,6);") + +box.sql.execute("select * from t1;") +box.sql.execute("SELECT a FROM t1 WHERE b=6 LIMIT (select b from t1 where a =1);") +box.sql.execute("SELECT b from t1 where a = (SELECT a FROM t1 WHERE b=6);") +box.sql.execute("SELECT b from t1 where a = (SELECT a FROM t1 WHERE b=6 LIMIT (select b-1 from t1 where a =1));") +box.sql.execute("SELECT b from t1 where a = (SELECT a FROM t1 WHERE b=6 LIMIT (select b from t1 where a =1));") + +box.sql.execute("SELECT (VALUES(1),(2),(3),(4));") + +-- clean-up +box.sql.execute("DROP TABLE t1;") \ No newline at end of file -- 2.7.4