are a
set of relations, a tuple
of relation
is a dangling tuple if
is not in the relation
is called
a universal relation since it involves all the attributes in the
universe defined by
.

expressions like branch-loan
loan-customer
are possible but meaningless.