The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - July (1983 vol.9)
pp: 470-486
B. Bhargava , Department of Computer Science, University of Pittsburgh
ABSTRACT
An event order based model for specifying and analyzing concurrency control algorithms for distributed database systems has been presented. An expanded notion of history that includes the database access events as well as synchronization events is used to study the correctness, degree of concurrency, and other aspects of the algorithms such as deadlocks and reliability. The algorithms are mapped into serializable classes that have been defined based on the order of synchronization events such as lock points, commit point, arrival of a transaction, etc,.
INDEX TERMS
time stamp, Causal graph, concurrency control, correctness, deadlock, degree of concurrency, distributed system, event order, history, reliability, serializability
CITATION
B. Bhargava, C.T. Hua, "A Causal Model for Analyzing Distributed Concurrency Control Algorithms", IEEE Transactions on Software Engineering, vol.9, no. 4, pp. 470-486, July 1983, doi:10.1109/TSE.1983.234783
39 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool