The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - September (1989 vol.1)
pp: 376-386
ABSTRACT
<p>The authors propose a paradigm for developing, describing, and proving the correctness of concurrency control protocols for replicated databases in the presence of failures or communication restrictions. The approach used is to hierarchically divide the problem of achieving one-copy serializability by introducing the notion of a 'group' that is a higher level of abstraction than transactions. Instead of dealing with the overall problem, the paradigm breaks it into two simpler ones: (1) a local policy for each group that ensures a total order of all transactions in that group; and (2) a global policy that ensures a correct serialization of all groups. The paradigm is used to demonstrate the similarities between several concurrency control protocols by comparing the way they achieve correctness.</p>
INDEX TERMS
group paradigm; concurrency control protocols; proving the correctness; replicated databases; abstraction; serialization; concurrency control; distributed databases; fault tolerant computing; protocols
CITATION
A. El Abbadi, S. Toueg, "The Group Paradigm for Concurrency Control Protocols", IEEE Transactions on Knowledge & Data Engineering, vol.1, no. 3, pp. 376-386, September 1989, doi:10.1109/69.87982
13 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool