Nested transactions with integrity constraints

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1773, Issue , 2000, Pages 130-149

  Doucet, Anne ^a   Gançarski, Stephane ^a   León, Claudia ^a,b   Rukoz, Marta ^b  

^a UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

^b UNIVERSIDAD CENTRAL DE VENEZUELA   (Venezuela)

Author keywords

Integrity constraints; Nested transactions; Partial abort

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

CHECK INTEGRITY; CONTROL CODES; EXECUTION CONTROL; INTEGRITY CONSTRAINTS; NESTED TRANSACTIONS; PARTIAL ABORT;

ARTIFICIAL INTELLIGENCE;

EID: 84943327556     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46466-2_7     Document Type: Conference Paper

References (45)

1. Transarc Encina Product Information. http://www.transarc.com/Product/Txseries/Encina/.
2. Transarc Solutions. http://www.transarc.com/Solutions/index.html.
3. V. Benzaken and A. Doucet. Thémis: A Database Programming Language Handling Integrity Constraints. The VLDB Journal, 4(3):493-517, July 1995.
4. P. A. Bernstein and E. Newcomer. Transaction Processing for the Systems Professional. Morgan Kaufmann Publishers, 1996.
5. B. T. Blaustein. Esforcing Database Assertions. PhD thesis, Harvard University, Cambridge, MA, 1981.
6. E. Boertjes, P. W. P. J. Grefen, J. Vonk, and P. M. G. Apers. An Architecture for Nested Transactions Support on Standard Database Systems. In G. Quirchmayr, E. Schweighofer, and T. J. M. Bench-Capon, editors, Proc. 9th Int. Conf. Database and Expert Systems Applications, DEXA'98, Vienna, Austria, August 1998, LNCS, Vol. 1460, pages 448-459, Springer-Verlag, 1998.
7. S. Ceri, P. Fraternali, S. Paraboschi, and L. Tanca. Automatic Generation of Production Rules for Integrity Maintenance. ACM Transactions on Database Systems, 19(3):367-422, September 1994.
8. S. Ceri and J. Widom. Deriving Production Rules for Constraint Management. In D. McLeod, R. Sacks-Davis, and H.-J. Schek, editors, Proc. of the 16th Int. Conf. on Very Large Data Bases, VLDB'90, Brisbane, Australia, August 1990, pages 566-577, Morgan Kaufmann Publishers, 1990.
9. P. K. Chrysanthis and K. Ramamritham: ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior. In H. Garcia-Molina and H. V. Jagadish, editors, Proc. of the 1990 ACM SIGMOD Int. Conf. on Management of Data, Atlantic City, NJ, USA, ACM SIGMOD Record, Vol. 19, No. 2, pages 194-203, ACM Press, 1990.
10. P. K. Chrysanthis and K. Ramamritham. Synthesis of Extended Transaction Models Using ACTA. ACM Transactions on Database Systems, 19(3):450-491, September 1994.
11. U. Dayal, M. Hsu, and R. Ladin. A Transaction Model for Long-Running Activities. In G. M. Lohmann, A. Sernadas, and R. Camps, editors, Proc. of the 17th Int. Conf. on Very Large Data Bases, VLDB'91, Barcelona, Spain, September 1991, pages 113-122, Morgan Kaufmann Publishers, 1991.
12. B. Defude and H. Martin. Integrity checking for Nested Transactions. In R.Wagner and H. Thoma, editors, Database and Expert System Applications, Proc. of the 7th Int. Workshop., DEXA'96, Zurich, Switzerland, September 1996, pages 147-152, IEEE Computer Society Press, 1996.
13. A. Doucet, S. Gançarski, G. Jomier, and S. Monties. Integrity Constraints in Multiversion Databases. In R. Morrison and J. B. Keane, editors, Advances in Databases: 14th British National Conf. on Databases, BNCOD 14, Edinburgh, UK, July 1996, LNCS, Vol. 1094, pages 56-73, Springer-Verlag, 1996.
14. A. K. Elmagarmid, editor. Database Transaction Models For Advanced Applications. Morgan Kaufmann Publishers, 1992.
15. D. Enser and I. Stevenson. Oracle8 Design Tips. O'Reilly & Associates, 1997.
16. J. L. Eppinger, L. B. Mummert, and A.Z. Spector, editors. Camelon and Avalon | A Distributed Transaction Facility. Morgan Kaufmann Publishers, 1991.
17. C. Fahrner, T. Marx, and S. Philippi: DICE: Declarative Integrity Constraint Embedding into the Object Database Standard ODMG-93. Data & Knowledge Engineering, 23(2):119-145, August 1997.
18. H. Garcia-Molina and K. Salem. Sagas. In U. Dayal and I. L. Traiger, editors, Proc. of the 1987 ACM SIGMOD Int. Conf. on Management of Data, San Franscisco, CA, USA, ACM SIGMOD Record, Vol. 16, No. 3, pages 249-259, ACM Press, 1987.
19. J. Gray. The Transaction Concept: Virtues and Limitations. In C. Zaniolo and C. Delobel, editors, Proc. of the 7th Int. Conf. on Very Large Data Bases, VLDB'81, Cannes, France, September 1981, pages 144-154, IEEE Computer Society Press, 1981.
20. J. Gray and A. Reuter: Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publishers, 1993.
21. P. W. P. J. Grefen and P. M. G. Apers. Integrity Control in Relational Database Systems - An Overview. Data & Knowledge Engineering, 10:187-223, 1993.
22. P. W. P. J. Grefen and J. Widom. Protocols for Integrity Constraint Checking in Federated Databases. Distributed and Parallel Databases, 5(4):327-355, October 1997.
23. A. Gupta and J. Widom. Local Verification of Global Integrity Constraints in Distributed Databases. In P. Buneman and S. Jajodia, editors, Proc. of the 1993 ACM SIGMOD Int. Conf. on Management of Data, Washington, D.C., USA, ACM SIGMOD Record, Vol. 22, No. 2, pages 49-58, ACM Press, 1993.
24. T. Härder and K. Rothermel. Concurrency Control Issues in Nested Transactions. The VLDB Journal, 2(1):39-74, January 1993.
25. A. Hsu and T. Imielinski. Integrity Checking for Multiple Updates. In S. Navathe, editor, Proc. of the 1985 ACM SIGMOD Int. Conf. on Management of Data, May 1985, Austin, Texas, USA, ACM SIGMOD Record, Vol. 14, No. 4, pages 152-168, ACM Press, 1985.
26. IBM Corporation. IBM Database Referencial Integrity Usage Guide, 1989.
27. H. V. Jagadish and X. Qian. Integrity Maintenance in an OODB. In L.-Y. Yuan, editor, Proc. of the 18th Int. Conf. on Very Large Data Bases, VLDB'92, Vancouver, Canada, pages 469-480, Morgan Kaufmann Publishers, 1992.
28. H. F. Korth and G. D. Speegle. Formal Aspects of Concurrency Control in Long- Duration Transactions Systems Using the NT/PV Model. ACM Transactions on Database Systems, 19(3):492-535, September 1994.
29. C. León, M. Rukoz, and M. Rivas. Una Herramienta Java para Aplicacionnes Distribuidas de Tratamiento de Imágenes Biomémedicas. In Proc. XXIV Conferencia Latinoamericana de Informática, PANEL'98, October 1998, Quito, Ecuador, pages 855-866, Centro de Estudios Latinoamericanos de Informática, 1998.
30. B. Liskov. Distributed Computing in Argus. Communications of the ACM, 31(3):300-312, March 1988.
31. N. A. Lynch. Concurrency Control for Resilient Nested Transactions. Advances in Computing Research, 3:335-373, 1986.
32. S. K. Madria. A study of Concurrency Control and Recovery Algorithms in Nested Transaction Environment. The Computer Journal, 40(10):630-639, 1997.
33. S. Monties. Cohérence des Bases d'Objets Multiversion. PhD thesis, Université de Paris I, Paris, France, 1997.
34. J. E. B. Moss. Nested Transactions: An Approach to Reliable Distributed Computing. MIT Press, Cambridge, MA, 1985.
35. J. E. B. Moss. Log-Based Recovery for Nested Transactions. In P. M. Stocker and W. Kent, editors, Proc. of the 13th Int. Conf. on Very Large Data Bases, VLDB'87, Brighton, England, September 1-4, 1987, pages 427-432, Morgan Kaufmann Publishers, 1987.
36. J.-M. Nicolas. Logic for Improving Integrity Checking in Relational Data Bases. Acta Informatica, 18(3):227-253, 1982.
37. P.-Y. Policella. Cohérence dans les Bases de Données Orientées Objet. PhD thesis, Université de Paris XI, Paris, France, 1996.
38. A. Reuter and H. Wächter. The ConTract Model. Bulletin of the IEEE Technical Committee on Data Engineering, 14(1):39-44, 1991.
39. M. Rukoz. Hierarchical Deadlock Detection for Nested Transactions. Distributed Computing, 4:123-129, 1991.
40. K. Schwarz, C. Türker, and G. Saake. Analyzing and Formalizing Dependencies in Generalized Transaction Structures. In M. Tamer Özsu, A. Dogac, and Ö Ulusoy, editors, Proc. of the Third Int. Conf. on Integrated Design and Process Technology, IDPT - Volume 2, Int. Workshop on Issues and Applications of Database Technology, IADT'98, July 1998, Berlin, Germany, pages 55-62, Society for Design and Process Science, 1998.
41. T. Sheard and D. Stemple. Automatic Verification on Database Transaction Safety. ACM Transactions on Database Systems, 14(3):322-368, September 1989.
42. Sybase Inc. Press, Emeryville, CA (USA). Sybase SQL Server, 1989.
43. G. Weikum. A Theoretical Foundation of Multi-Level Concurrency Control. In Proc. of the 5th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS'86, March 1986, Cambridge, MA, USA, pages 31-42, ACM Press, 1986.
44. G. Weikum and H.-J. Schek. Concepts and Applications of Multilevel Transactions and Open Nested Transactions. In A. K. Elmagarmid, editor, Database Transaction Models for Advanced Applications, pages 515-553, Morgan Kaufmann Publishers, 1992.
45. J. Widom and S. Ceri, editors. Active Database Systems - Triggers and Rules for Advanced Database Processing. Morgan Kaufmann Publishers, 1996.