[jira] [Created] (CALCITE-1845) Quantified comparison predicates (SOME, ANY, ALL)

["Julian Hyde (JIRA)" <ji...@apache.org>]

Julian Hyde created CALCITE-1845:
------------------------------------

             Summary: Quantified comparison predicates (SOME, ANY, ALL)
                 Key: CALCITE-1845
                 URL: https://issues.apache.org/jira/browse/CALCITE-1845
             Project: Calcite
          Issue Type: Bug
            Reporter: Julian Hyde
            Assignee: Julian Hyde


Support quantified comparison predicates (SOME, ANY, ALL), per the SQL standard.

{quote}
<comp op> ::=
    <equals operator>
  \| <not equals operator>
  \| <less than operator>
  \| <greater than operator>
  \| <less than or equals operator>
  \| <greater than or equals operator>

<quantifier> ::=
    <all>
  \| <some>

<all> ::= ALL

<some> ::=
      SOME
  \| ANY

The result of “R <comp op> <quantifier> T” is derived by the application of the implied <comparison predicate> “R <comp op> RT” to every row RT in T.

Case:
* a) If T is empty or if the implied <comparison predicate> is True for every row RT in T, then “R <comp op> <all> T” is True.
* b) If the implied <comparison predicate> is False for at least one row RT in T, then “R <comp op> <all> T” is False.
* c) If the implied <comparison predicate> is True for at least one row RT in T, then “R <comp op> <some> T” is True.
* d) If T is empty or if the implied <comparison predicate> is False for every row RT in T, then “R <comp op> <some> T” is False.
* e) If “R <comp op> <quantifier> T” is neither True nor False, then it is Unknown.
{quote}



--
This message was sent by Atlassian JIRA
(v6.4.14#64029)