This Article 
 Bibliographic References 
 Add to: 
Modular Concurrency Control and Failure Recovery
February 1988 (vol. 37 no. 2)
pp. 146-159
An approach to concurrency control is presented; it is based on the decomposition of both the database and the individual transactions. This approach is a generalization of serializability theory in that the set of permissible transaction schedules contains all the serializable schedules. In addition to providing a higher degree of concurrency than that provided by serializability theory, this

[1] J. E. Allchin and M. S. McKendry, "Synchronization and recovery of actions,"Oper. Syst. Rev., vol. 19, Jan. 1982.
[2] R. Attar, P. A. Bernstein, and N. Goodman, "Site initialization, recovery and backup in a distributed database system,"IEEE Trans. Software Eng., Nov. 1984.
[3] K. P. Eswaran, J. N. Gray, R. A. Lorie, and I. L. Traiger, "The notions of consistency and predicate locks in a database system,"Commun. ACM, vol. 19, no. 11, pp. 624-633, Nov. 1976.
[4] H. Garcia-Molina, "Using semantic knowledge for transaction processing in a distributed database,"ACM Trans. Database Syst., vol. 8, no. 2, June 1983.
[5] H. T. Kung and C. H. Papadimitriou, "An optimal theory of concurrency control for databases," inProc. SIGMOD Int. Conf. Management Data, ACM, 1979, pp. 116-126.
[6] N. A. Lynch, "Multi-level atomicity-A new correctness criterion for database concurrency control,"ACM Trans. Database Syst., vol. 8, Dec. 1983.
[7] C. Mohan, D. Fussell, Z. M. Kedem, and A. Silberschatz, "Lock conversion in non-two-phase locking protocols,"IEEE Trans. Software Eng., Jan. 1985.
[8] C. Mohan, B. Lindsay, and R. Obermarck, "Transaction management in the R*distributed database management system,"ACM Trans. Database Syst., vol. 11, Dec. 1986.
[9] C. H. Papadimitriou and P. C. Kanellakis, "On concurrency control by multiple versions,"ACM Trans. Database Syst., Mar. 1984.
[10] C.H. Papadimitriou,The Theory of Database Concurrency Control. Rockville, MD: Computer Science Press, 1986.
[11] P. M. Schwarz and A. Z. Spector, "Synchronization shared abstract types,"ACM Trans. Comput. Syst., Aug. 1984.
[12] Schwarz, "Transactions on typed objects," Ph.D. Dep. Comput. Sci., Carnegie-Mellon University, 1984.
[13] L. Sha, "Modular concurrency control and failure recovery-Consistency, correctness and optimality," Ph.D. dissertation, Dep. Elec. Comput. Eng., Carnegie-Mellon University, 1985.
[14] A. Silberschatz and Z. Kedem, "Consistency in hierarchical database systems,"J. Ass. Comput. Mach., vol. 27, Jan. 1980.
[15] W. E. Weihl and B. Liskov, "Specification and implementation of resilient atomic data types," inProc. SIGPLAN Symp. Programming Language Issues, June 1983.

Index Terms:
modular concurrency control; database decomposition; transaction decomposition; fault tolerance; generalized serialisability theory; correct execution of transactions; failure recovery; consistency; failure safety; database theory; distributed databases; fault tolerant computing; modules; system recovery.
L. Sha, J.P. Lehoczky, E.D. Jensen, "Modular Concurrency Control and Failure Recovery," IEEE Transactions on Computers, vol. 37, no. 2, pp. 146-159, Feb. 1988, doi:10.1109/12.2144
Usage of this product signifies your acceptance of the Terms of Use.