Object-Oriented Serializability in Real-Time Concurrency Control

摘要

We have already presented a real-time concurrency control of object-oriented database systems by introducing priority of process scheduling. In this paper, we discuss object-oriented serializability and deadlock avoidance in our real-time concurrency control. We give theorems, their detailed proofs and examples which guarantee object-oriented serializability and deadlock avoidance in transaction processing of the object-oriented databases.