Next: Conservative Determinism vs.
Up: Update Sets and
Previous: Update Sets and
It is reasonable to require that the detection of
inconsistency manifest itself in some way; for example, a nullary function
crash automatically gets value true. To keep the EA logic
clean and simple, we try to minimize the number of things done
automatically, and thus we leave necessary manifestations of inconsistency
to the programmer. This is one application of the pragmatic Occam's razor
of ; substantial programming convenience has not been demonstrated
yet.To fire a family 
of update sets over S , nondeterministically choose
some update set 
and fire it at S . If
, do
nothing. Intentionally, the empty family of update sets means
inconsistency.