Tarantool development patches archive
 help / color / mirror / Atom feed
From: "n.pettik" <korablev@tarantool.org>
To: tarantool-patches@freelists.org
Cc: Vladislav Shpilevoy <v.shpilevoy@tarantool.org>
Subject: [tarantool-patches] Re: [PATCH 6/6] sql: discard numeric conversion by unary plus
Date: Fri, 12 Oct 2018 14:19:13 +0300	[thread overview]
Message-ID: <A21308AC-2F74-4FBB-B171-8C92AA711150@tarantool.org> (raw)
In-Reply-To: <050a58c0-759e-28d2-5389-e7bad74826f6@tarantool.org>


> On 27 Sep 2018, at 23:24, Vladislav Shpilevoy <v.shpilevoy@tarantool.org> wrote:
> 
> See 1 comment below.
> 
> On 17/09/2018 23:32, Nikita Pettik wrote:
>> In SQLite unary plus behaves as implicit conversion to numeric type.
>> Consider following example:
>> CREATE TABLE t1 (id INT PRIMARY KEY, a TEXT, b BLOB);
>> INSERT INTO t1 VALUES (1, '99', '99');
>> SELECT * FROM t1 WHERE a = b; (*)
>> SELECT * FROM t1 WHERE +a = +b; (**)
>> Since BLOB and TEXT are incompatible, result of (*) would be empty set.
>> However, comparison in second query (**) would be of <NUMERIC> types,
>> and result set would consist of one tuple [1, '99', '99'].
>> Lets discard this conversion produced by unary plus, since it implicitly
>> affects result set of query and no one other DB support such behaviour.
>> Instead, simply use type of operand it is related to.
> 
> So unary minus is ok?

Yep, unary minus doesn’t affect types.
You can check it modifying example from commit message:

CREATE TABLE t1 (id INT PRIMARY KEY, a TEXT, b BLOB);
INSERT INTO t1 VALUES (1, '99', '99');
SELECT * FROM t1 WHERE a = b;
SELECT * FROM t1 WHERE -a = -b;

Result is the same.
Also, for the sake of clarity, added note to commit message
concerning this case:
...

    Lets discard this conversion produced by unary plus, since it implicitly
    affects result set of query and no one other DB support such behaviour.
    Instead, simply use type of operand it is related to.
    Note, that unary minus doesn't affect types in any way.

  reply	other threads:[~2018-10-12 11:19 UTC|newest]

Thread overview: 39+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-09-17 20:32 [tarantool-patches] [PATCH 0/6] Introduce strict typing for SQL Nikita Pettik
2018-09-17 20:32 ` [tarantool-patches] [PATCH 1/6] sql: split conflict action and affinity for Expr Nikita Pettik
2018-09-19  2:16   ` [tarantool-patches] " Konstantin Osipov
2018-09-27 20:24   ` Vladislav Shpilevoy
2018-10-12 11:18     ` n.pettik
2018-09-17 20:32 ` [tarantool-patches] [PATCH 2/6] sql: annotate SQL functions with return type Nikita Pettik
2018-09-27 20:23   ` [tarantool-patches] " Vladislav Shpilevoy
2018-10-12 11:18     ` n.pettik
2018-09-17 20:32 ` [tarantool-patches] [PATCH 3/6] sql: pass true types of columns to Tarantool Nikita Pettik
2018-09-19  2:23   ` [tarantool-patches] " Konstantin Osipov
2018-10-12 11:19     ` n.pettik
2018-09-27 20:23   ` Vladislav Shpilevoy
2018-10-12 11:18     ` n.pettik
2018-10-17 21:45       ` Vladislav Shpilevoy
2018-10-23 23:28         ` n.pettik
2018-10-29 21:32           ` Vladislav Shpilevoy
2018-11-02  2:36             ` n.pettik
2018-09-17 20:32 ` [tarantool-patches] [PATCH 4/6] sql: enforce implicit type conversions Nikita Pettik
2018-09-19  2:25   ` [tarantool-patches] " Konstantin Osipov
2018-09-27 20:24   ` Vladislav Shpilevoy
2018-10-12 11:19     ` n.pettik
2018-10-17 21:45       ` Vladislav Shpilevoy
2018-10-23 23:28         ` n.pettik
2018-10-29 21:32           ` Vladislav Shpilevoy
2018-11-02  2:36             ` n.pettik
2018-11-02 11:15               ` Vladislav Shpilevoy
2018-11-02 13:26                 ` n.pettik
2018-09-17 20:32 ` [tarantool-patches] [PATCH 5/6] sql: return result-set type via IProto Nikita Pettik
2018-09-19  2:26   ` [tarantool-patches] " Konstantin Osipov
2018-09-27 20:24   ` Vladislav Shpilevoy
2018-10-12 11:19     ` n.pettik
2018-10-17 21:45       ` Vladislav Shpilevoy
2018-10-23 23:28         ` n.pettik
2018-09-17 20:32 ` [tarantool-patches] [PATCH 6/6] sql: discard numeric conversion by unary plus Nikita Pettik
2018-09-27 20:24   ` [tarantool-patches] " Vladislav Shpilevoy
2018-10-12 11:19     ` n.pettik [this message]
2018-09-27 20:24 ` [tarantool-patches] Re: [PATCH 0/6] Introduce strict typing for SQL Vladislav Shpilevoy
2018-10-12 11:18   ` n.pettik
2018-11-03  2:41 ` Kirill Yukhin

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=A21308AC-2F74-4FBB-B171-8C92AA711150@tarantool.org \
    --to=korablev@tarantool.org \
    --cc=tarantool-patches@freelists.org \
    --cc=v.shpilevoy@tarantool.org \
    --subject='[tarantool-patches] Re: [PATCH 6/6] sql: discard numeric conversion by unary plus' \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox