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