A rule-based update language for complex objects with identity

摘要

This paper deals with the definition of a rule-based update language for complex object databases. Several update operators are introduced, which correspond to basic manipulations of data entities with object identity. These operators can be used in rule bodies for specifying complex update transactions. The syntax and the semantics of the language is given in the framework of CO, a simple data model for complex objects with identity. An interpreter of the language is defined and its correctness is discussed. Finally, the issue of maintaining database consistency with respect to several kinds of integrity constraints is illustrated.