The serializability of transactions in object bases

The object-oriented paradigm is an important area of research not only in programming languages but also in databases and operating systems. Databases and operating systems require concurrent access to objects. This paper provides a model of concurrent access to objects, based on the concept of transactions, in such systems. It rigorously formulates the different types of transactions that participate in an object-based system and the types of histories (or logs) that must be maintained. Finally, a definition of object serializability (called O-serializability) is introduced and a graph theoretic tool is described that defines precisely when a given execution sequence is serializable