next up previous contents
Next: Insert Rules Up: THE OBJECT-PROTOCOL MODEL Previous: Protocol Constraints

Update Rules

In a database state associated with an OPM schema, all object class, protocol class and attribute constraints defined in the previous sections must be enforced. In this section, we define the rules for maintaining these constraints under object and protocol insertions, object and protocol deletions, and attribute updates.