
in the following operations:
is inserted into
, the
system must ensure that there is a tuple
in
such that
, i.e.
is deleted from
, the system
must compute the set of tuples in
that reference
:
If this set is not empty, either reject delete command, or delete also
the tuples that reference
.
is new value of tuple,

to ensure that we are not removing a value referenced by tuples
in
.