<Предикат exists> (<exists predicate>)

Функция

Специфицирует проверку множества на пустоту.

Формат

<exists predicate> ::=

EXISTS <subquery>

Синтаксические правила

Нет.

Общие правила

Пусть S обозначает результат <подзапроса> (<subquery>).

Результатом "EXISTS S" является либо true, либо false.

Результатом "EXISTS S" является true, если и только если S не пусто.