Предикат exists
Предикат exists имеет следующий синтаксис:
lt;exists predicate> ::= EXISTS <subquery>
Значением этого предиката всегда является true или false, и это значение равно true тогда и только тогда, когда результат вычисления подзапроса не пуст.