Using Semantic Knowledge of Transactions to Increase Concurrency

ACM Transactions on Database Systems (TODS)

Volumn 14, Issue 4, 1989, Pages 503-525

  Farrag, Abdel Aziz ^a   Özsu, M Tamer ^b  

^a DALHOUSIE UNIVERSITY   (Canada)

^b UNIVERSITY OF ALBERTA   (Canada)

Author keywords

breakpoint; concurrency control; Database; locking; semantic knowledge; transaction

Indexed keywords

CONCURRENCY CONTROL; SEMANTIC KNOWLEDGE; SERIALIZABILITY;

DATABASE SYSTEMS;

EID: 0024885855     PISSN: 03625915     EISSN: 15574644     Source Type: Journal    
DOI: 10.1145/76902.76905     Document Type: Article

References (19)

1. Aho, A., Hopcroft, J., and Ullman, J. The Design and Analysis of Computer Algorithms. Addison-Wesley, Reading, Mass. 1974.
2. Apers, P., and Wiederhold, G. Transaction handling in a loosely coupled environment. In Proceedings of the International Computing Symposium 85: A Broad Perspective of Current Developments, G. Bucci and G. Valle, Eds. (Florence, Mar. 1985) North-Holland, Amsterdam, 1985, pp. 27–36.
3. Bayer, R., Heller, H., and Reiser, A. Parallelism and recovery in database systems. ACM Trans. Database Syst. 5, 2 (June 1980), 139–156.
4. Bernstein, P., and Goodman, N. On concurrency control in distributed database systems. ACM Comput. Surv. 13, 2 (June 1981), 185–221.
5. Cordon, R., and Garcia-Molina, H. The performance of a concurrency control mechanism that exploits semantic knowledge. In Proceedings of the IEEE 5th International Conference on Distributed Computing Systems (Denver, Colo., May 1985). IEEE, New York, 1985, pp. 350–358.
6. Eswaran, K. P., Gray, J. N., Lorie, R. A., and Traiger, I. L. The notions of consistency and predicate locks in a database system. Commun. ACM 19, 11 (Nov. 1976), 624–633.
7. Farrag, A. A. Dynamic timestamp ordering mechanisms for controlling concurrency in a database system. Submitted for publication.
8. Farrag, A. A., and Ozsu, M. T. Towards a general concurrency control algorithm for database systems. IEEE Trans. Softw. Eng. SE-13,10 (Oct. 1987), 1073–1079.
9. Fischer, M., and Lynch, N. Global states of a distributed system. IEEE Trans. Softw. Eng. 8, 3 (July 1981), 198–202.
10. Garcia-Molina, H. Using semantic knowledge for transaction processing in a distributed database. ACM Trans. Database Syst. 8, 2 (June 1983), 186–213.
11. Gray, J. N. Notes on database operating systems. In Operating Systems: An Advanced Course. Lecture Notes in Computer Science. Springer-Verlag, New York, 1978, pp. 393–481.
12. Holt, R. Some deadlock properties of computer systems. ACM Comput. Surv. 4, 3 (Dec. 1972), 179–195.
13. Kung, H. T., and Papadimitriou, P. H. An optimality theory of database concurrency control. In Proceedings of the International Conference on the Management of Data (Boston, Mass., May 30-June, 1979). ACM, New York, 1979, pp. 116–126.
14. Kung, H. T., and Robinson, J. T. On optimistic methods for concurrency control. ACM Trans. Database Syst. 6, 2 (June 1981), 213–226.
15. Lamport, L. Towards a theory of correctness of multi-user database systems. Massachusetts Computer Associates, Tech. Rep. CA 766-0712, Oct. 1976.
16. Lynch, N. Multilevel atomicity—A new correctness criterion for database concurrency control. ACM Trans. Database Syst. 8, 4 (Dec. 1983), 484–502.
17. Reed, D. P. Naming and synchronization in decentralized computer systems. Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, MIT Tech. Rep.-205, Cambridge, Mass. Sept. 1978.
18. 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.
19. Rypka, D., and Lucido, A. P. Deadlock detection and avoidance for shared logical resources. IEEE Trans. Softw. Eng. 5, 5 (Sept. 1979), 465–471.