Функция
Задает квантифицированное сравнение.
Формат
<предикат принадлежности> : : = | ||||||
<выражение значения> [NOT] IN {<подзапрос> | ||||||
| (<список принадлежащих значений>)} | ||||||
<список принадлежащих значений> : : = | ||||||
<спецификация значения> {, <спецификация значения>}... |
Правила синтаксиса
1) Типы данных первого <выражения значения> и <подзапроса> или же первого <выражения значения> и всех спецификаций <спецификация значения> из <списка принадлежащих значений> должны быть сравнимы между собой.
Общие правила
1) Результат <выражения значения> обозначим . Результат <подзапроса>, как и в <квантифицированном предикате>, обозначим
. Так же будем обозначать значения, заданные в <списке принадлежащих значений>, которые рассматриваются как элементы строк единственного столбца таблицы-столбца.
2) Результат предиката " IN
" равен результату "
=ANY
". Результат предиката "
NOT IN
" равен результату "NOT
IN
".