Entity-Relationship Approach - ER '94. Business Modelling and Re-Engineering

13th International Conference on the Entity-Relationship Approach, Manchester, United Kingdom, December 13 - 16, 1994 Proceedings

This volume constitutes the proceedings of the 13th International Conference on the Entity-Relationship Approach, ER '94, held in Manchester, UK in December 1994. The ER '94 book is devoted to business modelling and re-engineering and provides a balanced view between research and practical experience. The 34 full revised papers presented are organized in sections on business process modelling, enterprise modelling, systems evolution, modelling integrity constraints, object-oriented databases, active databases, CASE, reverse engineering, information system modelling, schema coordination, and re-engineering.

This paper proposes to integrate constraint languages with the declarative
specifications of their integrity repair actions. We introduce a rather powerful,
predicate-based language for specifying integrity constraints, then we discuss the
semantics of repair actions as computations which react to constraint violations,
then we establish sufficient conditions for ensuring their termination, and finally
we show how repair actions can be integrated in the SQL2 standard and
implemented by ...