ГОСТ Р ИСО/МЭК 9075-93 Информационная технология (ИТ). Язык баз данных SQL с расширением целостности
5.16 <квантифицированный предикат>
Функция
Задает квантифицированное сравнение.
Формат
<квантифицированный предикат> : : = | |||
<выражение значения> | |||
<операция сравнения> <квантор> | |||
<подзапрос> | |||
<квантор> : : = | |||
<все> | <некоторые> | |||
<все> : : = ALL | |||
<некоторые>::=SOME | ANY | |||
Правила синтаксиса
1) Типы данных <выражения значения> и <подзапроса> должны быть сравнимы между собой.
Общие правила
1) Результат <выражения значения> обозначим буквой , а результат <подзапроса> - буквой
.
2) Результатом предиката " <операция сравнения> <квантор>
" будет результат неявно заданного <предиката сравнения> "
<операция сравнения>
", примененного для каждого значения из
.
Возможны следующие варианты:
а) если - пустой набор или же результатом неявно заданного <предиката сравнения> для каждого значения
из
является "истина", то результатом предиката "
<операция сравнения> <все>
" будет значение "истина";
b) если хотя бы для одного значения из
результатом неявно заданного <предиката сравнения> будет "ложь", то результатом предиката "
<операция сравнения> <все>
" будет значение "ложь";
c) если хотя бы для одного значения из
результатом неявно заданного <предиката сравнения> будет "истина", то результатом предиката "
<операция сравнения> <некоторые>
" будет значение "истина";