empty

empty(a)

Returns true if relation a has no tuples.

Equivalent to count(a) = 0.

Examples

None

empty($S[SNO="S0"])

true

empty(dum)

true

Some

empty($S)

false

empty(dee)

false