Next: Remark
Up: Static Algebras and
Previous: Locations and Updates
An update set 
over a state S is a set of updates of S.
Loc() =
{Loc(
) :
}.
For each l
Loc(),
.
An update set is consistent at the given state S if every
is a singleton set; otherwise is inconsistent.
To fire a consistent at the given state S , fire all its members
simultaneously. The result is a new state S' with the same vocabulary
and carrier as S . If
l
Loc()
then
S'(l)
is the only
element of 
;
otherwise S'(l) = S(l).
To fire an
inconsistent update set at the given state S , do nothing; the new
state S' equals S .