This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Causal Model for Analyzing Distributed Concurrency Control Algorithms
July 1983 (vol. 9 no. 4)
pp. 470-486
ASCII Text
x 
 
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.
 
 
BibTex
x
 
@article{ 10.1109/TSE.1983.234783,
author = {B. Bhargava and C.T. Hua},
title = {A Causal Model for Analyzing Distributed Concurrency Control Algorithms},
journal ={IEEE Transactions on Software Engineering},
volume = {9},
number = {4},
issn = {0098-5589},
year = {1983},
pages = {470-486},
doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1983.234783},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - JOUR
JO - IEEE Transactions on Software Engineering
TI - A Causal Model for Analyzing Distributed Concurrency Control Algorithms
IS - 4
SN - 0098-5589
SP470
EP486
EPD - 470-486
A1 - B. Bhargava,
A1 - C.T. Hua,
PY - 1983
KW - time stamp
KW - Causal graph
KW - concurrency control
KW - correctness
KW - deadlock
KW - degree of concurrency
KW - distributed system
KW - event order
KW - history
KW - reliability
KW - serializability
VL - 9
JA - IEEE Transactions on Software Engineering
ER -
 
B. Bhargava, Department of Computer Science, University of Pittsburgh
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
Usage of this product signifies your acceptance of the Terms of Use.