Detection for conflicts of dependencies in advanced transaction models

Proceedings of the International Database Engineering and Applications Symposium, IDEAS

Volumn 2005-January, Issue January, 2005, Pages 17-26

  Xin, Tai ^a   Ray, Indrakshi ^a  

^a Department of Ecosystem Science and Sustainability   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATABASE SYSTEMS; SPECIFICATIONS;

ADVANCED TRANSACTION; APPLICATION DEVELOPERS; INFORMATION INTEGRITY; NESTED TRANSACTIONS; SUBTRANSACTIONS;

ENGINEERING RESEARCH;

EID: 74249107802     PISSN: 10988068     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IDEAS.2005.20     Document Type: Conference Paper

References (17)

1. M. Ansari, L. Ness, M. Rusinkiewicz, and A. Sheth. Using Flexible Transactions to Support Multi-System Telecommunication Applications. In Proceeding of the 18th International Conference on Very Large Data Bases, August 1992.
2. V. Atluri, W.-K. Huang, and E. Bertino. An Execution Model for Multilevel Secure Workflows. In 11th IFIP Working Conference on Database Security and Database Security, XI: Status and Prospects, pages 151-165, August 1997.
3. P. C. Attie, M. P. Singh, A. P. Sheth, and M. Rusinkiewicz. Specifying and enforcing intertask dependencies. In 19th International Conference on Very Large Data Bases, August 24-27, 1993, Dublin, Ireland, Proceedings, pages 134-145. Morgan Kaufmann, 1993.
4. E. Bertino, G. Chiola, and L. V. Mancini. Deadlock detection in the face of transaction and data dependencies. Lecture Notes in Computer Science: 19th Int. Conf. on Application and Theory of Petri Nets, ICATPN'98, Lisbon, Portugal, June 1998, 1420:266-285, June 1998.
5. A. Biliris, S. Dar, N. Gehani, H. Jagadish, and K. Ramamritham. ASSET: A System for Supporting Extended Transactions. In Proceedings of ACM SIGMOD International Coference on Management of Data, May 1994.
6. P. Chrysanthis and K. Ramamritham. ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior. In Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data, pages 194-203, May 1990.
7. P. K. Chrysanthis. ACTA, A Framework for Modeling and Reasoning about Extended Transactions Models. Ph.D. Thesis, September 1991.
8. P. K. Chrysanthis and K. Ramamritham. Synthesis of Extended Transaction Models Using ACTA. ACM Transactions on Database Systems, 19:450-491, September 1994.
9. H. Garcia-Molina, J. D. Ullman, and J. Widom. Database Systems: The Complete Book. Prentice-Hall, 2002.
10. L. V. Mancini, I. Ray, S. Jajodia, and E. Bertino. Flexible transaction dependencies in database systems. Distributed and Parallel Databases, 8:399-446, 2000.
11. J. E. Moss. Nested Transactions: an approach to reliable distributed computing. PhD Thesis 260, MIT, Cambridge, MA, April 1981.
12. M. Prochazka. Extending transactions in enterprise javabeans. Tech. Report No. 2000/3, Dep. of SW Engineering, Charles University, Prague, January 2000.
13. M. Rusinkiewicz and A. P. Sheth. Specification and execution of transactional workflows. In Modern Database Systems 1995, pages 592-620, 1995.
14. K. Schwarz, C. Türker, and G. Saake. Analyzing and formalizing dependencies in generalized transaction structures. In Proceedings of the Third International Conference on Integrated Design and Process Technology, pages 55-62, 1998.
15. K. Schwarz, C. Türker, and G. Saake. Integrating execution dependencies into the transaction closure framework. International Journal on Cooperative Information Systems, 8(2-3):111-138, 1999.
16. M. P. Singh. Semantical considerations on workflows: An algebra for intertask dependencies. In Proceedings of the Fifth International Workshop on Database Programming Languages, Electronic Workshops in Computing. Springer, 1995.
17. H. Wuchter and A. Reuter. The ConTract Model. In Database Transaction Models for Advanced Applications, A. K. Elmagarmid Ed., Morgan Kaufmann Publishers, pages 219-263, 1992.