9.5.12　EXISTS述語（データベースアクセス機能）

形式

EXISTS  副問い合わせ

機能

EXISTS述語（exists predicate）は，空集合比較する。

一般規則

副問い合わせの結果が空でない場合，EXISTS述語は真となる。結果が空の場合は偽となる。