empty

empty(a)

Returns true if relation a has no tuples.

Equivalent to count(a) = 0.

Examples

true

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

true

empty(dum)

true

false

empty($S)

false

empty(dee)

false