Concurrency control for cooperating transactions in an object-oriented database

We describe a concurrency control model that supports cooperative data sharing among transactions. Setializability is replaced by applicationand data-specific coneemess criteria that are explicitly defined by programmers. The model is relevant to applications that provide computer support for cooperative activities, such as office information systems, graphical programming environments, and CAD tools for electronic or mechanical domaim. Its context is an object-oriented database: an object is accessed only by operanons defined on its abstract type [ZW].