Multilevel Atomicity—A New Correctness Criterion for Database Concurrency Control

ACM Transactions on Database Systems (TODS)

Volumn 8, Issue 4, 1983, Pages 484-502

  Lynch, Nancy A ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

atomicity; breakpoint; transaction

Indexed keywords

DATABASE SYSTEMS;

EID: 0020900969     PISSN: 03625915     EISSN: 15574644     Source Type: Journal    
DOI: 10.1145/319996.319999     Document Type: Article

References (14)

1. BERNSTEIN, P. A., AND GOODMAN, N. Concurrency control in distributed database systems. ACM Comput. Suru. 13, 2 (June 1981), 185-221.
2. CLARK, D. Oral presentation at the Fifth Berkeley Workshop on Distributed Data Management and Computer Networks, Feb. 3-5,1981.
3. ESWAREN, K. P., GRAY, N. N., LORIE, R. A., AND TRAIGER, I. L. The notions of consistency and predicate locks in a database system. Commun. ACM 29,ll (Nov. 1976), 624-633.
4. FISCHER, M. J., GRIFFETH, N. D., AND LYNCH, N. A. Global states of a distributed system. In Proc. IEEE Symp. Reliability in Distributed Software and Database Systems, July 1981. Also in IEEE Trans. Softw. Eng. SE 8,3 (May 1982), 198-202.
5. GARCIA-MOLINA, H. Using semantic knowledge for transaction processing in a distributed database. Tech. Rep. 285, Princeton Univ. Dept. of Electrical Engineering and Computer Science, April 1981.
6. GRAY, J. N., LORIE, R. A., PUTZOLU, G. R., AND TRAIGER, L. I. Granularity of locks and degrees of consistency in a shared database. In Proc. IFIP Working Conf. on Modelling of Data Base Management Systems (Freudenstadt, Germany, Jan. 1976), pp. 695-723. Also in Modelling in Data Ease Management Systems, G. M. Nijssen, Ed., Elsevier North-Holland, 19'76, pp. 365-395.
7. LAMPORT, L. Towards a theory of correctness of multi-user database systems. Massachusetts Computer Associates, CA-7610-0712, Oct. 1976.
8. LISKOV, B., AND SCHEIFLER, R. Guardians and actions: linguistic support for robust, distributed programs. In 1982 Ninth Annual ACM SZGACT-SZGPLAN Symp. on Principles of Programming Lunguoges (Albuquerque, Jan. 25-27,1982) pp. 7-19.
9. LYNCH, N. A. Concurrency control for resilient nested transactions. MIT/LCS/TR-285, MIT, Laboratory for Computer Science, Feb. 1983.
10. LYNCH, N. A., FISCHER, M. J. On describing the behavior and implementation of distributed systems. Theor. Cornput. Sci. 13, (Jan. 1981), 17-43.
11. MOSS, J. E. B. Nested transactions: an approach to reliable distributed computing. PhD Dissertation, Tech. Rep. MIT/LCS/TR-260, MIT, Laboratory for Computer Science, Cambridge, Mass., 1981.
12. RANDELL, B. System structures for software fault tolerance. In Proc. Znt. Conf. on Reliable Software (Los Angeles, April 21-23,1975), ACM, New York, 1975, pp. 437-457. Also in SZGPLAN Notices 10,6 (June 1975); also in IEEE Trans. Softw. Eng. 1,2 (June 1975), 220-232.
13. REED, D. P. Naming and synchronization in a decentralized computer system. PhD Dissertation, Tech. Rep. MIT/LCS/TR-205, MIT, Laboratory for Computer Science, Cambridge, Mass., 1978.
14. ROSENKRANTZ, D., STEARNS, R., AND LEWIS, P. System level concurrency control for distributed database systems. ACM Trans. Database Syst. 3,2 (June 1978), 178-198.