Nested Transaction Model: A Comprehensive Review of Mechanisms, Challenges, Applications, and Future Prospects
Keywords:
Challenges of Nested Transactions, Commit Protocols, Concurrency Control, Database Applications, Deadlock Detection.Abstract
This review paper explores the foundational and advanced elements of nested transaction models in database systems, presenting a structured analysis across key areas. Beginning with an introduction to nested transactions, the paper reviews essential concurrency control and commit protocols tailored for nested environments, highlighting their impact on transaction management. Deadlock detection techniques are analysed with a focus on their applicability and efficiency in nested scenarios. The study also examines various recovery models designed to maintain consistency and reliability within nested transactions. Key research issues are identified, pinpointing gaps and limitations in current methodologies. The paper further discusses challenges associated with implementing nested transactions, including performance constraints and scalability issues. Applications of nested transactions within database contexts are presented, alongside broader applications in complex data environments, showcasing the versatility and potential of these models. Finally, future research directions are proposed, emphasizing areas for improvement and innovation, followed by a comprehensive conclusion summarizing insights gained and their implications for advancing nested transaction models in database systems.
Downloads
References
T. C. a. C. E. Begg, Database Systems: A Practical Approach to Design, Implementation and Management, II, Ed., Boston, MA: Addison-Wesley Longman Publishing Co., Inc., 1998.
M. T. Ö. a. P. Valduriez, Principles of Distributed Database Systems, IV, Ed., Springer, 2020, pp. pp. 1-674.
K. Ramamritham, “Real-time databases,” Distributed and Parallel Databases, vol. 01, no. 02, pp. 199-226, 1993.
R. A. a. H. Garcia-Molina, “Scheduling Real-Time Transactions: A Performance Evaluation,” in 34th International Conference on Very Large Data Bases, 1988.
J. S. a. W. Zhao, “On real-time transactions,” in ACM SIGMOD , March 1988..
M. C. a. M. L. J. Haritsa, “Data Access Scheduling in Firm Real-Time Database Systems,” International Journal of Real-Time Systems, vol. 4, no. 3, 1992.
M. M. a. A. K. S. U. Shanker, “Distributed real-time database systems: Background and literature review,” International Journal of Distributed and Parallel Databases, vol. 23, no. 2, p. 127–149, 2008.
J. Gray, “A Transaction Model,” in ICALP, 1980.
J. Gray, “Notes on database operating systems,” in Lecture Notes in Computer Science,Operating Systems -- An Advanced Course, vol. 60, Berlin, Springer-Verlag, 1978, pp. 393-481.
J. Gray, “The recovery manager of the system R database manager,” ACM Computing Surveys, vol. 13, p. 223–244 , 1981.
S. M. Y. B. H. K. a. A. S. R. Rastogi, “On correctness of non-serializable executions,” in 12th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1993.
S. A. a. V. Vianu, “Equivalence and optimization of relational transactions,” Journal of the ACM, vol. 35, pp. 70-120, 1988.
J. Gray, “Why do computers stop and what can be done about it,” in CIPS (Canadian Information Processing Society) Edmonton '87 Conference Tutorial Notes, Edmonton, Canada, 1987.
H. Papadimitriou, “Serializability of concurrent database updates,” Journal of the ACM, vol. 26, no. 4, p. 631–653, 1979.
P. M. L. I. a. D. J. R. R. E. Stearns, “Concurrency controls for database systems,” in 17th Symposium on Foundations of Computer Science, 1976.
H. T. K. a. C. H. Papadimitriou, “An optimality theory of concurrency control for databases,” in ACM SIGMOD International Conference on Management of Data, 1979.
M. J. C. a. M. Livny, “Distributed Concurrency Control Performance: A Study of Algorithm, Distribution, and Replication,” in 14th VLDB Conference, Los Angeles, California, 1988.
Y. C. a. L. Gruenwald, “Research Issues for a Real-Time Nested Transaction Model,” in 2nd IEEE Workshop on Real-Time Applications, July 1994.
M. O. A. E. B. Medjahed, “Generalization of ACID Properties,” in Encyclopedia of Database Systems, Boston, MA, 2009.
H. G.-M. a. K. Salem, “Sagas,” in ACM SIGMOD International Conference on Management of Data, 1987.
M. R. a. A. Sheth, Specification and execution of transactional workflows, K. W, Ed., ACM Press/Addison-Wesley, 1995, p. 592–620.
Pu, “Superdatabases for composition of heterogeneous databases,” in 4th International Conference on Data Engineering, 1988.
Z. a. B. Bhargava, Flex Transactions, Ö. M. Liu L., Ed., Boston, MA: Springer, 2009.
J. E. B. Moss, “Nested Transactions: An Approach to Reliable Distributed Computing,” Cambridge, MA, , 1981.
G. Weikum, “ Principles and realization strategies of multi-level transaction management,” ACM Trans. Database System, vol. 16, no. 1, p. 132–180, 1991.
G. W. a. H. Schek, “Multi-level transactions and open nested transactions,” 1991.
L. A. Bjork, “Recovery scenario for a DB/DC system,” in ACM Annual Conference, 1973.
T. Davies, “Recovery semantics for a DB/DC system,” in ACM Annual Conference, 1973.
R. Guerraoui, “Nested transaction: Reviewing the coherence contract,” Elsevier Sciences Journal, vol. 84, p. 161–172, 1995.
G. Karabatis, “Nested Transaction Models,” in Encyclopedia of Database Systems, New York, 2017.
Buchmann, “Open Nested Transaction Models,” in Encyclopedia of Database Systems, New York, 2016.
H. S. H. a. M. E. E.-S. A. A. EI-Sayed, “Effect of shaping characteristics on the performance of nested transactions,” Information and Software Technology, vol. 43, no. 10, pp. 579-590, 2001.
T. H. a. K. Rothermel, “Concurrency Control Issue in Nested Transactions,” VLDB J, vol. 2, no. 1, pp. 39-74, 1993.
P. A. B. a. N. Goodman, “Concurrency control in distributed database systems,” ACM Computing Surveys, vol. 13, no. 2, p. 185–222, 1981.
V. H. a. N. G. P. A. Bernstein, Concurrency Control and Recovery in Database Systems, Addison Wesley, 1987.
R. H. Thomas, “A majority consensus approach to concurrency control for multiple copy databases,” ACM Transactions on Database Systems, 1979.
H. T. K. a. J. T. Robinson, “On optimistic methods for concurrency control,” ACM Transactions on Database Systems, vol. 6, no. 2, p. 213–226, 1981.
J. N. G. R. A. L. a. I. L. T. K. P. Eswaran, “The notions of consistency and predicate locks in a database system,” Communications of the ACM, vol. 19, no. 11, p. 624–633, 1976.
P. A. A. a. J. D. Day, “A principle for resilient sharing of distributed resources,” in 2nd Int. Conf. on Software Engineering, 1976.
M. Stonebraker, “Concurrency control and consistency of multiple copies of data in distributed INGRES,” IEEE Transactions on Software Engineering, vol. 5, no. 3, pp. 188-194, May 1979.
L. a. R. O. C. Mohan, “Transaction management in the r* distributed database management system,” ACM Transactions on Database Systems, vol. 11, no. 4, p. 378–396, 1986.
Tandem, “Nonstop SQL – a distributed high-performance, high-availability implementation of SQL,,” in Int. Workshop on High-Performance Transaction Systems,, 1987.
Tandem, “A benchmark of NonStop SQL on the debit credit transaction,” in ACM SIGMOD Int. Conf. on Management of Data, 1988.
Borr, “High performance SQL through low-level system integration,” in ACM SIGMOD Int. Conf. on Management of Data, 1988.
H. a. J. P. Verjus, “An algorithm for maintaining the consistency of multiple copies,” in 1st Int. Conf. on Distributed Computing Systems, 1979.
P. Reed, “Naming and synchronization in a decentralized computer system,” Cambridge, Mass., Sept., 1978.
P. Reed, “Implementing Atomic Actions on Decentralized Data,” ACM Transactions on Computer Systems,, vol. 1, pp. 3-23, 1983.
B. a. B. Mahbod, “Generalized version control in an object-oriented database,” in IEEE 4th Int. Conf. Data Engineering, February, 1988.
H. T. C. a. W. Kim, “A unifying framework for versions in a CAD environment,” in Int. Conf. Very Large Data Bases, Kyoto, Japan, 1986.
H. T. C. a. W. Kim, “Versions and change notification in an object-oriented database system,” in Design Automation Conference, 1988.
K. a. K. Y. L. A. Chiu, “Comparing two-phase locking and optimistic concurrency control protocols in multiprocessor real-time databases,” in 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshopon Object-Oriented Real-Time Systems, 1997.
M. C. a. M. L. R. Agrawal, “Concurrency Control Performance Modeling: Alternatives and Implications,” ACM Transactions on Database Systems, Dec. 1987.
K. R. a. S. C. J. A. Stankovic, “Evaluation of a Flexible Task Scheduling Algorithm for Distributed Hard Real-Time Systems,” IEEE Transactions on Computers, vol. 34, no. 12, pp. 1130-1143, Dec. 1985.
J. L. P. a. A. Silberschatz, Operating System Concepts, Addison-Wesley Publishing Company, 1985.
J. A. S. a. D. T. J. Huang, “On using priority inheritance in real-time databases,” in Twelfth. IEEE Real-Time Systems Symposium, 1991.
S. D. a. L. Sha, “Sources of Unbounded Priority Inversion in Real-Time Systems and a Comparative Study of Possible Solutions,” ACM Operating Systems Review, p. 110–120, 1992.
W. u. Haque, “Transaction Processing in Real-Time Database Systems,” 1993.
N. Lynch, “Concurrency control for resilient nested transactions,” Advances in Computing Research, vol. 3, p. 335–376, 1986.
N. L. a. M. Merrit, “Introduction to the theory of nested transactions,” Cambridge, Mass, 1986.
N. L. M. M. a. W. E. W. A. Fekete, “Nested transactions and read/write locking,” in 6th ACM Symposium on Principles of Database Systems, San Diego, CA, 1987.
J. K. L. a. A. Fekete, “Multi-granularity locking for nested transaction systems,” in MFDBS'91, 1991.
N. L. M. M. a. W. E. W. A. Fekete, “Commutativity-based locking for nested transactions,” Journal of System Sciences, vol. 41, p. 65–156, 1990.
S. N. M. a. B. C. S. K. Madria, “Formalization and correctness of a concurrency control algorithm for an open and safe nested transaction model using I/O automaton model,” in 8th International Conference on Management of Data (COMAD'97), Madras, India, 1997.
R. a. T. Harder, “Concurrency control in nested transactions with enhanced lock modes for KBMSs,” in 6th International Conference on Database and Expert Systems Applications (DEXA'95), London, UK,, 1995.
K. G. a. N. Lynch, “Nested transactions and quorum consensus,” ACM Transactions on Database Systems, vol. 19, p. 537–585, 1994.
F. a. T. Kameda, “Concurrency control of nested transactions accessing B-trees,” in 8th ACM Symposium on Principles of Database Systems, 1989.
S. N. M. a. B. C. S. K. Madria, “Formalization of linear hash structures using nested transactions and I/O automaton model,” in IADT 98, Berlin, Germany, 1997.
S. L. A. a. A. M. A. M. Abdouli, “A System Supporting Nested Transactions in DRTDBSs,” in 1st International High-Performance Computing, September 2005.
S. A. Majed Abdouli, “Scheduling distributed real-time nested transactions,” in IEEE ISORC, IEEE Computer Society, 2005.
J. H. a. K. Ramamritham, “The prompt real-time commit protocol,” IEEE Transactions on Parallel and Distributed Systems, 2000.
P. G. Ceri S, Distributed Database Principles and Systems, New York: McGraw-Hill, 1984.
M. J. H. L. Chandy M, “Distributed deadlock detection,” ACM Trans Comput Syst. , vol. 1, no. 2, pp. 144-56, 1983.
RC, “Some Deadlock Properties in Computer Systems,” ACM Comput Surveys, vol. 4, no. 3, pp. 179-96, 1972.
R. A. Gray J, Transaction Processing: Concepts and Techniques, San Mateo: : Morgan Kaufmann Publ, 1993.
R. M, “Hierarchical Deadlock Detection for Nested Transactions,” Distrib Comput. , vol. 4, no. 3, pp. 123-129, 1991.
N. M. Sinha MK, “A Priority Based Distributed Deadlock Detection Algorithm,” IEEE Trans Softw Eng. , vol. 11, no. 1, pp. 67-80, 1985.
M. Rukoz, A distributed solution for detecting deadlock in distributed nested transaction systems, vol. 392, J. R. M. Bermond, Ed., Berlin, Heidelberg: In Distributed Algorithms,Lecture Notes in Computer Science,Springer, 1989.
S. C. M. Dong C. Shin, “A deadlock detection algorithm for nested transaction model,” Microprocessing and Microprogramming, vol. 28, no. 1, pp. 9-14, 1990.
T. H. A. G. a. J. L. R. F. Resende, “Detection arcs for deadlock management in nested transactions and their performance,” in Advances in Databases, BNCOD ,Lecture Notes in Computer Science,Springer, Berlin,Heidelberg, 1997.
S. K. Madria, “A Study of the Concurrency Control and Recovery Algorithms in Nested Transaction Environment.,” The Computer Journal, vol. 40, no. 10, pp. 630-639, 1997.
N. L. a. W. E. W. Alan Fekete, “A serialization graph construction for nested transactions.,” in Ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems (PODS '90), New York, NY, USA, 1990.
H. C. B. P. a. M. P. Weikum, “Multi-level recovery,” in 9th ACM Symposium on Principles of Database Systems, Nashville, TN, 1990.
K. a. M. C. Rothermel, “ARIES/NT: a recovery method based on write-ahead logging for nested transactions,” in In Proceedings of the 15th international conference on Very large data bases (VLDB '89), San Francisco,CA,USA, 1989.
H. D. L. B. P. H. a. S. P. Mohan, “ARIES: a transaction recovery method supporting fine-granularity locking and partial rollbacks using write-ahead logging,” ACM Trans. Database Systems, vol. 17, no. 1, pp. 94-162, 1992.
K. R. Theo Haerder, “Concepts for transaction recovery in nested transactions,” in ACM SIGMOD, 1987.
Liskov, “Distributed programming in Argus,” Commun. ACM, vol. 31, no. 3, p. 300–312, 1988.
&. D. M. &. H. M. &. J. P. &. S. R. &. W. W. Liskov, Argus Reference Manual, 1987.
R. F. P. a. G. B. Z. Spector, “Camelot: a flexible, distributed transaction processing system,” in Digest of Papers, COMPCON Spring 88 Thirty-Third IEEE Computer Society International Conference, San Francisco, CA, USA,, 1988.
R. J. L. a. W. F. A. P. Dasgupta, “The Clouds distributed operating system: functional description, implementation details and related work,” in The 8th International Conference on Distributed, San Jose, CA, USA, 1988.
M. J. J. D. N. J.-L. B. a. C. P. W. H. Jessop, “The Eden transaction based file system,” in 2nd Symp. Reliability in Distributed Software and Database Systems, 1982.
D. M. a. G. J. P. Erik T. Mueller, “A nested transaction mechanism for LOCUS,” in ninth ACM symposium on Operating systems principles (SOSP '83), New York, NY, USA, 1983.
“Security Service Specification, Version 1.0,” 1996.
Downloads
Published
How to Cite
Issue
Section
License
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
All papers should be submitted electronically. All submitted manuscripts must be original work that is not under submission at another journal or under consideration for publication in another form, such as a monograph or chapter of a book. Authors of submitted papers are obligated not to submit their paper for publication elsewhere until an editorial decision is rendered on their submission. Further, authors of accepted papers are prohibited from publishing the results in other publications that appear before the paper is published in the Journal unless they receive approval for doing so from the Editor-In-Chief.
IJISAE open access articles are licensed under a Creative Commons Attribution-ShareAlike 4.0 International License. This license lets the audience to give appropriate credit, provide a link to the license, and indicate if changes were made and if they remix, transform, or build upon the material, they must distribute contributions under the same license as the original.
