Skip to main content
SpringerLink
Log in

Nested Transactions with Integrity Constraints

  • Conference paper
  • First Online:
Transactions and Database Dynamics (FoMLaDO 1999)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1773))

Abstract

This paper presents a solution to check integrity constraints in database systems supporting nested transactions. Using nested transactions allows to introduce parallelism inside a transaction and to partially recover failing transactions by defining a hierarchy of sub-transactions. If a constraint is violated by some sub-transactions, it is possible to reach the validation of the nested transaction, even if some part of it had to be aborted. In our solution, (i) only constraints that might be violated are checked, (ii) constraints are checked as soon as possible during the execution of the nested transaction and (iii) as few sub-transactions as possible are aborted. We do not interfere with the execution control of nested transactions and users do not have to add any control code in the definition of constraints or of transactions. The main idea of our solution is to attach the checking of a constraint to the smallest common ancestor of the sub-transactions which could violate the constraint.

This work was partially financed by CDCH-UCV y CONICIT Venezuela and by CNRS-France.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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.

    Article  Google Scholar 

  4. P. A. Bernstein and E. Newcomer. Transaction Processing for the Systems Professional. Morgan Kaufmann Publishers, 1996.

    Google Scholar 

  5. B. T. Blaustein. Esforcing Database Assertions. PhD thesis, Harvard University, Cambridge, MA, 1981.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Article  Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Article  Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  14. A. K. Elmagarmid, editor. Database Transaction Models For Advanced Applications. Morgan Kaufmann Publishers, 1992.

    Google Scholar 

  15. D. Enser and I. Stevenson. Oracle8 Design Tips. O’Reilly & Associates, 1997.

    Google Scholar 

  16. J. L. Eppinger, L. B. Mummert, and A.Z. Spector, editors. Camelon and Avalon — A Distributed Transaction Facility. Morgan Kaufmann Publishers, 1991.

    Google Scholar 

  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.

    Article  MATH  Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  20. J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publishers, 1993.

    Google Scholar 

  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.

    Article  Google Scholar 

  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.

    Article  Google Scholar 

  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.

    Google Scholar 

  24. T. Härder and K. Rothermel. Concurrency Control Issues in Nested Transactions. The VLDB Journal, 2(1):39–74, January 1993.

    Article  Google Scholar 

  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.

    Google Scholar 

  26. IBM Corporation. IBM Database Referencial Integrity Usage Guide, 1989.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Article  Google Scholar 

  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.

    Google Scholar 

  30. B. Liskov. Distributed Computing in Argus. Communications of the ACM, 31(3):300–312, March 1988.

    Article  MathSciNet  Google Scholar 

  31. N. A. Lynch. Concurrency Control for Resilient Nested Transactions. Advances in Computing Research, 3:335–373, 1986.

    MathSciNet  Google Scholar 

  32. S. K. Madria. A study of Concurrency Control and Recovery Algorithms in Nested Transaction Environment. The Computer Journal, 40(10):630–639, 1997.

    Article  Google Scholar 

  33. S. Monties. Cohérence des Bases d’Objets Multiversion. PhD thesis, Université de Paris I, Paris, France, 1997.

    Google Scholar 

  34. J. E. B. Moss. Nested Transactions: An Approach to Reliable Distributed Computing. MIT Press, Cambridge, MA, 1985.

    Google Scholar 

  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.

    Google Scholar 

  36. J.-M. Nicolas. Logic for Improving Integrity Checking in Relational Data Bases. Acta Informatica, 18(3):227–253, 1982.

    Article  MATH  MathSciNet  Google Scholar 

  37. P.-Y. Policella. Cohérence dans les Bases de Données Orientées Objet. PhD thesis, Université de Paris XI, Paris, France, 1996.

    Google Scholar 

  38. A. Reuter and H. Wächter. The ConTract Model. Bulletin of the IEEE Technical Committee on Data Engineering, 14(1):39–44, 1991.

    Google Scholar 

  39. M. Rukoz. Hierarchical Deadlock Detection for Nested Transactions. Distributed Computing, 4:123–129, 1991.

    Article  MATH  MathSciNet  Google Scholar 

  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.

    Google Scholar 

  41. T. Sheard and D. Stemple. Automatic Verification on Database Transaction Safety. ACM Transactions on Database Systems, 14(3):322–368, September 1989.

    Article  Google Scholar 

  42. Sybase Inc. Press, Emeryville, CA (USA). Sybase SQL Server, 1989.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  45. J. Widom and S. Ceri, editors. Active Database Systems — Triggers and Rules for Advanced Database Processing. Morgan Kaufmann Publishers, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIP6, Case 169, Université P&M Curie, 4, place Jussieu, 75252, Paris cedex 5, France

    Anne Doucet, Stephane Gançarski & Claudia León

  2. CCPD, U.C.V. Apdo. 47002, 1041A, Los Chaguaramos Caracas, Venezuela

    Claudia León & Marta Rukoz

Authors
  1. Anne Doucet
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stephane Gançarski
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Claudia León
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Marta Rukoz
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Technical and Business Information Systems, University of Magdeburg, P.O. Box 4120, 39016, Magdeburg, Germany

    Gunter Saake

  2. UBS AG, Flurstrasse 62, 8098, Zürich, Switzerland

    Kerstin Schwarz

  3. Swiss Federal Institute of Technology (ETH) Zürich Institute of Information Systems, ETH Zentrum, 8092, Zürich, Switzerland

    Can Türker

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Doucet, A., Gançarski, S., León, C., Rukoz, M. (2000). Nested Transactions with Integrity Constraints. In: Saake, G., Schwarz, K., Türker, C. (eds) Transactions and Database Dynamics. FoMLaDO 1999. Lecture Notes in Computer Science, vol 1773. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46466-2_7

Download citation

  • DOI: https://doi.org/10.1007/3-540-46466-2_7

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67201-2

  • Online ISBN: 978-3-540-46466-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation