<value expression> <relational op>
<quantifier> <subquery>
<quantifier> :: = ANY | ALL | SOME
Предложение SELECT подзапроса <subquery> должно содержать одно, и только одно, выражение значения <value expression>. Все значения, выведенные подзапросом <subquery>, составляют набор результатов <result set>. <value expression> сравнивается, используя оператор связи <relational operator>, с каждым членом набора результатов <result set>. Это сравнение оценивается следующим образом:
· Если <quantifier> = ALL и каждый член набора результатов <result set> делает это сравнение верным, <quantified predicate> верен.
· Если <quantifier> = ANY и имеется по крайней мере один член из набора результатов <result set>, который делает верным это сравнение, то <quantified predicate> является верным.
· Если набор результатов <result set> пуст, то <quantified predicate> верен, если <quantifier> = ALL , и неверен а ином случае.
· Если <quantifier> = SOME, эффект - тот же, что и для ANY.
· Если <quantified predicate> неверен и не неверен, он неизвестен.
<exists predicate>
Синтаксис:
EXISTS (<subquery>)
Если подзапрос <subquery> выводит одну или более строк вывода, <exists predicate> верен; и неверен в ином случае.
