A study of the concurrency control and recovery algorithms in nested transaction environment

Computer Journal

Volumn 40, Issue 10, 1997, Pages

  Madria, Sanjay Kumar ^a  

^a SCHOOL OF PHYSICS   (Malaysia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 3543067970     PISSN: 00104620     EISSN: None     Source Type: Journal    
DOI: 10.1093/comjnl/40.10.630     Document Type: Article

References (73)

1. Bernstein, P., Hadzilacos, V. and Goodman, N. (1987) Concurrency Control and Recovery in Database Systems. Addison Wesley, Reading, MA.
2. Moss, J. E. B. (1981) Nested Transactions: An Approach to Reliable Distributed Computing. Ph.D. Thesis. Also, Technical Report MIT/LCS/TR-260 MIT Laboratory for Computer Science, Cambridge, MA.
3. Korth, H. F., Kim, W. and Bancilhon, F. (1990) On long-duration CAD transactions. Information Sci., 46, 73-107.
4. Kim, W., Lorie, R., Mcnabb, D. and Plouffe, W. (1984) A transaction mechanism for engineering design databases. In Proceedings of the 10th International Conference on Very Large Databases, pp. 355-362.
5. Korth, H. F. and Speegle, G. (1990) Long duration transactions in software design projects. In Proceedings of 6th IEEE International Conference on Data Engineering, New York, pp. 568-574.
6. Chrysanthis P. K. (1993) Transaction processing in a mobile computing environment. In Proceedings of IEEE Workshop on Advances in Parallel and Distributed Systems, pp. 77-82.
7. Chen, Q. and Dayal, U. (1996) A transactional nested process management system. In Proceedings of 12th IEEE International Conference on Data Engineering, New Orleans, LA, pp. 566-573.
8. Lynch, N. and Merrit, M. (1988) Introduction to the theory of nested transactions. Theor. Comput. Sci., 62, 123-185.
9. Davies, C. T. (1976) Recovery semantics for DB/DC systems. In Proceedings of 28th ACM National Conference, pp. 136-147.
10. Gray, J. et al. (1981) The recovery manager of the system R database manager. ACM Comput. Surveys, 13, 223-244.
11. Liskov, B. (1988) Distributed computing in Argus. Commun. ACM, 31, 300-312.
12. Liskov, B., Helichy, M., Johnson, P., Leavens, G., Scheifler, R. and Weihl, W. (1983) Preliminary Argus Reference Manual, Programming Methodology Group, Memo 39.
13. Spector, A. and Swedlow, K. (1987) Guide to the Camelot Distributed Transaction Facility, Release I. Available from Carnegie Mellon University, Pittsburgh, PA.
14. Dasgupta, P., Leblanc Jr, R. and Appelbe, W. (1988) The Clouds distributed operating system. In Proceedings of 8th International Conference on Distributed Computing Systems, San Jose, CA.
15. Mueller, E. T., Moore, J. D. and Popek, G. J. (1983) A nested transaction mechanism for Locus. In Proceedings of 9th ACM Symposium on Operating Systems Principles, Bretton Woods, USA.
16. Jessop, W. H., Jackobson, D. M., Baer, J. and Pu, C. (1982) An introduction to the Eden transactional file system. In Proceedings of 2nd IEEE Symposium on Reliability in Distributed Software and Database Systems, Pittsburgh, PA.
17. Encina at http: / /www. transarc.com/afs/transarc.com/public/www/Public/ProdServ/Product/Encina.
18. Harder, T. and Reuter, A. (1983) Principles of transaction oriented database recovery. ACM Comput. Surveys, 15, 287-378.
19. Harder, T. and Rothermel K. (1993) Concurrency control issues in nested transactions. VLDB J., 2, 39-74.
20. Beeri, C., Bernstein, P.A. and Goodman, N. (1989) A model for concurrency in nested transaction system. J. ACM, 36, 230-269.
21. Weikum, G. (1991) Principles and realization strategies of multi-level transaction management. ACM Trans. Database System, 16, 132-180.
22. Moss, J., Griffith, N. and Graham, M. (1986) Abstraction In Concurrency Control And Recovery Management (revised). Technical Report COINS 86.20, University of Massachusetts at Amberest, MA.
23. Garza, J. and Kim, W. (1988) Transaction management in an object oriented database system. In Proceedings of the ACM-SIGMOD Conference on Management of Data, Chicago, IL, pp. 37-45.
24. 2, an object-oriented database system. Lecture Notes in Computer Science, Advances in Object-Oriented Database Systems, 2nd International Workshop on Object Oriented Database Systems. Springer-Verlag, Berlin.
25. Weikum, G., Hasse, C., Brassier, P. and Muth, P. (1990) Multi-level recovery. In Proceedings of 9th ACM Symposium on Principles of Database Systems, Nashville, TN, pp. 109-123.
26. Eswaran, K. P., Gray J. N., Lorie R. A. and Traiger, I. L. (1976) The notion of consistency and predicate locks in database systems. Commun. ACM, 19, 624-633.
27. Lynch, N. (1986) Concurrency control for resilient nested transactions. Adv. Comput. Res., 3, 335-376.
28. Fekete, A., Lynch, N., Merrit, M. and Whiel, W. E. (1987) Nested transactions and read/write locking. In Proceedings of the 6th ACM Symposium on Principles of Database Systems, San Diego, CA, pp. 97-111.
29. Fekete, A., Lynch, N., Merrit, M. and Weihl, W. E. (1990) Commutativity-based locking for nested transactions, J. System Sci., 41, 65-156.
30. Weihl, W. E. (1988) Commutativity-based concurrency control for abstract data types. IEEE Trans. Comput., 37, 1488-1505.
31. Gray, J., Lorie, W., Putzolu, G. and Traiger, I. (1976) Granularity of locks and degree of consistency in a shared Database. In Nijssen, G. (ed.), Modelling in Database Management Systems. Elsevier North-Holland, Amsterdam.
32. Lee, J. K. and Fekete, A. (1991) Multi-granularity locking for nested transaction systems. In Proceedings of MFDBS'91. Lecture notes in Computer Science, 495, 160-172.
33. Lee, J. K. and Fekete, A. (1992) Predicate locking for nested transaction systems. In Proceedings of Australian Database Research Conference, pp. 217-231.
34. Lee, J. K. (1993) Precision locking for nested transaction systems. In Proceedings of Second International Conference on Information and Knowledge Management (CIKM'93), USA.
35. Fekete, A., Lynch, N. and Weihl, W. E. (1990) A serialization graph construction for nested transactions. In Proceedings of the 9th ACM Symposium on Principles of Database Systems, pp. 94-108.
36. Lynch, N. and Tuttle, M. (1988) An Introduction to Input/Output Automata. Technical Memo, MIT/LCS/TM-373, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA.
37. Fekete, A., Lynch, N., Merrit, M. and Whiel, W. E. (1993) Atomic Transactions. Morgan-Kaufmann, USA.
38. Madria, S. K., Maheshwari, S. N. and Chandra, B. (1997) Formalization and correctness of a concurrency control algorithm for an open and safe nested transaction model using I/O automaton model. In Proceedings of 8th International Conference on Management of Data (COMAD'97), Madras, India.
39. Rezende, F. and Harder, T. (1995) Concurrency control in nested transactions with enhanced lock modes for KBMSs. In Proceedings of the 6th International Conference on Database and Expert Systems Applications (DEXA'95), London, UK.
40. Reed, D. P. (1978) Naming and Synchronization in a Decentralized Computer System. Ph.D. Thesis. Also Technical Report MIT/LCS/TR-205, MIT Laboratory for Computer Science, MA.
41. [41 ] Aspnes, J., Fekete, A., Lynch, N., Merrit, M. and Weihl, W. E. (1988) A theory of timestamp based concurrency control for nested transactions. In Proceedings of 14th International Conference on Very Large Databases, pp. 431-444.
42. Gifford, D. (1979) Weighted voting for replicated data. In Proceedings of the 7th Symposium on Operating Systems Principles, Pacific Grove, CA, pp. 150-159.
43. Goldman, K. and Lynch, N. (1994) Nested transactions and quorum consensus. ACM Trans. Database Systems, 19, 537-585.
44. Fu, A. and Kameda, T. (1989) Concurrency control of nested transactions accessing B-trees. In Proceedings of 8th ACM Symposium on Principles of Database Systems, pp. 270-285.
45. Sagiv, Y. (1985) Concurrent operations on B-trees with over taking. In Proceedings of 4th ACM Symposium on Principles of Database Systems, pp. 28-37.
46. Madria, S. K., Maheshwari, S. N. and Chandra, B. (1997) Formalization of linear hash structures using nested transactions and I/O automaton model. IADT'98, Berlin, Germany, to appear.
47. Hadzilacos, T. and Hadzilacos, V. (1991) Transaction synchronization in object bases. J. Comput. System Sci., 43, 2-24.
48. Muth, P., Rakow, T. C, Weikum, G., Brassier, P. and Hasse, C. (1993) Semantic concurrency control in object-oriented database systems. In Proceedings of the 9th IEEE International Conference on Data Engineering, pp. 233-242.
49. Agrawal, D. and El Abbadi, A. (1994) A non-restrictive concurrency control protocol for object oriented databases. Distributed Parallel Databases: An International J., 2, 7-31.
50. Resende, R. F., Agrawal, D. and El Abbadi, A. (1994) Semantic Locking in Object Oriented Database Systems. Technical Report TRCS 94-01, University of California at Santa Barbara, CA.
51. Rys, M., Norrie M. C. and Schek H. J. (1996) Intratransaction parallelism in the mapping of an object model to a relational multi-processor system. In Proceedings of the 22nd VLDB conference, Mumbai, India.
52. Weihl, W. E. (1984) Specifications and Implementation of Atomic Data Types. Ph.D. Thesis. Also Technical Report MIT/LCS/TR-314, MIT Laboratory for Computer Science, Cambridge, MA.
53. Weihl, W. E. (1989) The impact of recovery on concurrency control. In Proceedings of the ACM Symposium on Principles of Database Systems, Philadelphia, PA.
54. Davidson, S. B., Garcia-Molina, H. and Skeen, D. (1985) Consistency in partitioned networks. ACM Comput. Surveys, 17, 456-481.
55. Lomet D. B. (1992) MLR: a recovery method for multi-level systems. In Proceedings of ACM-SIGMOD Conference on Management of Data, San Diego, CA, pp. 185-194.
56. Rothermel, K. and Mohan C. (1989) ARIES/NT: a recovery method based on write-ahead logging for nested transactions. In Proceedings of the 15th VLDB Conference, Amsterdam.
57. Moss, J. E. B. (1987) Log-Based Recovery for Nested Transaction, COINS. Technical Report, University of Massachusetts at Amberest, pp. 87-98. Also in Proceedings of 13th International Conference on VLDB, Brighton, UK.
58. Moss, J. E. B. (1987) Log-Based Recovery for Nested Transaction, COINS. Technical Report, University of Massachusetts at Amberest, pp. 87-98. Also in Proceedings of 13th International Conference on VLDB, Brighton, UK.
59. Mohan, C., Haderle, D., Landsay, B., Pirahesh, H. and Scwartz, P. (1992) ARIES: a transaction recovery method supporting fine-granularity locking and partial rollbacks using write-ahead logging. ACM Trans. Database Systems, 17, 94-162.
60. Madria, S. K. (1995) Concurrency Control and Recovery Algorithms in Nested Transaction Environment and Their Proofs of Correctness. Ph.D. Thesis, Department of Mathematics, Indian Institute of Technology, Delhi, India.
61. Madria, S. K., Maheshwari, S. N., Chandra, B. and Bhargava, B. (1997) Crash recovery algorithm in an open and safe nested transaction model. 8th International Conference on Database and Expert System Applications (DEXA'97), France. Lecture Notes in Computer Science, 1308, Springer Verlag, Berlin.
62. Madria, S. K. and Bhargava, B. (1997) System defined prewrites to increase concurrency in databases. In Proceedings of First East-European Symposium on Advances in Databases and Information Systems (in co-operation with ACM-SIGMOD), St Petersburg, Russia.
63. El Abbadi, A., Skeen, D. and Cristian, F. (1985) An efficient fault-tolerant protocol for replicated data management. In Proceedings of the 4th ACM Symposium on Principles of Database Systems, Portland, OR, pp. 215-228.
64. El Abbadi, A. and Tough, S. (1986) Availability in partitioned replicated databases. In Proceedings of the 5th ACM symposium on Principles of Database Systems, Cambridge, MA, pp. 240-251.
65. Ellis, C. S. (1987) Concurrency in linear hashing. ACM Trans. Database Systems, 2, 195-217.
66. Lechman, P. L. and Yao, S. B. (1981) Efficient locking for concurrent operations on B-trees. ACM Trans. Database Systems, 6, 650-670.
67. Ellis, C. S. (1983) Extendible hashing for concurrent operations and distributed data. In Proceedings of 2nd ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, Atlanta, GA.
68. Kumar, V. (1989) Concurrency control on extendible hashing. Information Process. Lett., 31, 35-41.
69. Hsu, M., Tung, S. S. and Yang, W. P. (1990) Concurrent operations on linear hashing. Information Sci., 31, No 2.
70. Larsen, P. A. (1988) Linear hashing with separators -a dynamic hashing scheme achieving one-access retrieval. ACM Trans. Database Systems, 13, No 3.
71. Lomet, D. (1983) Bounded index exponential hashing. ACM Trans. Database Systems, 8, 136-165.
72. Mohan, C. (1990) ARIES/LHS: A Concurrency Control and Recovery Method Using Write-Ahead Logging for Hashing with Separators. IBM Research Center, San Jose, CA.
73. Enbody, R. J. and Du, H. C. (1988) Dynamic hashing schemes. ACM Comput. Surveys, 20, 85-113.