Integrity Control Based on Object Behaviour

摘要

We observe that constraint-based integrity control can be successful only ifcosiderable knowledge of the real work is available. For many complex application domains, however, this not the case. We describe how in these contexts, integrity can be defined by means of a set of trusted basic facts, and procedures which are believed to generate reliable new facts. We then show that the object-oriented data model is well-suited to support this alternative database integrity paradigm. We use an example from the oil industry to illustrate our ideas. We discuss the applicability of existing specification techniques as a target formalism in this context. (Copyright (c) University of Twente 1995.)