Test for Empty Relations

The exists construct returns the value true if the argument subquery is nonempty.

• exists r ⇔ r ≠ Ø

• not exists r ⇔ r = Ø