From Relational to Object-Oriented Integrity Simplification

M. Jeusfeld, M. Jarke

	    Relational integrity checking technology can be transfered
	    to deductive object bases by utilizing a simple logical
	    framework for objects. The principles of object identity,
	    aggregation and classification allow a more efficient
	    constraint control by finer granularity of updates, composite
	    updates and semantic constraint simplification. In many
	    cases, meta-level constraints and deductive rules can be
	    handled efficiently by a stepwise compilation approach. An
	    extended integrity subsystem with these features has been
	    implemented in the deductive object base ConceptBase.