Skip to main content
SpringerLink
Log in

Specification and Implementation of Consistency Constraints in Object-Oriented Database Systems: Applying Programming-by-Contract

  • Conference paper
Datenbanksysteme in Büro, Technik und Wissenschaft

Part of the book series: Informatik aktuell ((INFORMAT))

Abstract

We describe an approach to the specification and implementation of consistency constraints in object-oriented database systems, adopting the programming-by-contract paradigm developed for object-oriented programming. We also investigate how consistency constraints specified in programming-by-contract can be transformed into production rules of an active, object-oriented database system.

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 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.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. A. Aiken, J. Widom, J.M. Hellerstein: Behaviour of Database Production Rules: Termination, Confluence, and Observable Determinism. Proc. ACM-SIGMOD Intl. Conf. on Management of Data, San Diego, June, 1992.

    Google Scholar 

  2. M. Atkinson, F. Bancilhon, DJ. DeWitt, K.R. Dittrich, D. Maier, S.B. Zdonik: The Object-Oriented Database System Manifesto (a Political Pamphlet). Proc. 1st Intl. Conf. on Deductive and Object-Oriented Databases, 1989.

    Google Scholar 

  3. C. Bauzer-Medeiros, P. Pfeffer: Object Integrity Using Rules. Proc. European Conference on Object-Oriented Programming, Geneva, Switzerland. LNCS 512, Springer 1991

    Google Scholar 

  4. S. Ceri, J. Widom: Deriving Production Rules for Constraint Maintenance. Proc. of the 16th Intl. Conf. on Very Large Data Bases, Brisbane, Australia, August 1990.

    Google Scholar 

  5. S. Ceri, P. Fraternali, S. Paraboschi: Constraint Management in Chimera. Bulletin of the IEEE Technical Committee on Data Engineering 17: 2, June 1994.

    Google Scholar 

  6. C. Collet, T. Coupaye, T. Svensen: NAOS: Efficient and Modular Reactive Capabilities in an Object-Oriented Database System. Proc. of the 20th Intl. Conf. on Very Large Data Bases, Santiago, Chile, September 1994.

    Google Scholar 

  7. O. Deux: The 02 System. Communications of the ACM 34: 10, 1991.

    Article  Google Scholar 

  8. R. Elmasri, S.B. Navathe: Fundamentals of Database Systems. Benjamin/Cummings Publishing, 1989.

    Google Scholar 

  9. S. Gatziu, A. Geppert, K.R. Dittrich: Integrating Active Mechanisms into an Object- Oriented Database System. Proc. of the 3 Intl. Workshop on Database Programming Languages (DBPL), Nafplion, Greece, August 1991.

    Google Scholar 

  10. S. Gatziu, K.R. Dittrich: Events in an Active Object-Oriented Database System. In N.W. Paton, H.W. Williams (eds): Proc. Workshop on Rules in Database Systems, Edinburgh, UK, September 1993 ( Workshops in Computing, Springer-Verlag, 1994 ).

    Google Scholar 

  11. N. Gehani, H.V. Jagadish: Ode as an Active Database: Constraints and Triggers. Proc. 17th Intl. Conf. on Very Large Data Bases, Barcelona, Spain, September 1991.

    Google Scholar 

  12. P.W.P.J. Grefen, R.A. de By, P.M.G. Apers: Integrity Control in Advanced Database Systems. Bulletin IEEE Technical Committee on Data Engineering 17: 2, June 1994.

    Google Scholar 

  13. A.M. Kotz: Triggermechanismen in Datenbanksystemen. IFB 201, Springer 1989.

    Google Scholar 

  14. C. Lamb, G. Landis, J. Orenstein, D. Weinreb: The ObjectStore Database System. Special Issue on Next-Generation Database Systems. CACM 34: 10, 1991.

    Google Scholar 

  15. U.W. Lipeck, M. Gertz, G. Saake: Transitional Monitoring of Dynamic integrity Constraints. Bull. IEEE Technical Committee on Data Engineering 17: 2, June 1994.

    Google Scholar 

  16. B. Meyer: Object-Oriented Software Construction. Prentice Hall, New York, 1988.

    Google Scholar 

  17. B.Meyer: Applying “Design by Contract„ IEEE Computer 25:10, 1992.

    Article  Google Scholar 

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

    Google Scholar 

  19. T. Sheard, D. Stemple: Automatic Verification of Database Transaction Safety. ACM Trans, on Database Systems 14: 3, 1989.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut fuer Informatik, Universitaet Zuerich, Switzerland

    Andreas Geppert & Klaus R. Dittrich

Authors
  1. Andreas Geppert
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Klaus R. Dittrich
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, Albert-Ludwigs-Universität Freiburg, Am Flughafen 17, D-79110, Freiburg, Germany

    Georg Lausen

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Geppert, A., Dittrich, K.R. (1995). Specification and Implementation of Consistency Constraints in Object-Oriented Database Systems: Applying Programming-by-Contract. In: Lausen, G. (eds) Datenbanksysteme in Büro, Technik und Wissenschaft. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-79646-3_19

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-79646-3_19

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-59095-8

  • Online ISBN: 978-3-642-79646-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation