Skip to main content
SpringerLink
Log in

Consistency checking in object oriented databases: A behavioral approach

  • Conference paper
  • First Online:
Information and Knowledge Management Expanding the Definition of “Database” (CIKM 1992)

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

Included in the following conference series:

Abstract

This paper presents a mechanism to enforce consistency in object oriented DBMS using pre-conditions and post-conditions on methods. This mechanism is coupled with an exception mechanism to allow deferred controls and semantic tolerance. Conditions are defined using SQL-like expressions and methods composition. A prototype which has been implemented on the O2 object oriented database management system (DBMS) is also described in this paper.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Adiba, C.Collet, P.Dechamboux, B.Defude,: Integrated tools for Object Oriented Persistent Application Development. DEXA Conf. Valence, September 1992

    Google Scholar 

  2. M. Atkinson, F. Bancilhon, D. De Witt, K. Dittrich, D. Maier, S. Zdonick: The Object Oriented Database System Manifesto. DOOD Conf. Kyoto, December 1989

    Google Scholar 

  3. N.S.Barghouti, G.E.Kaiser: Concurrency control in advanced database applications. ACM Computing Surveys, Vol. 23, No. 3, September 1991

    Google Scholar 

  4. A.P. Buchmann, R.S. Carrera, M.A. Vasquez-Galindo: A Generalized Constraint and Exception Handler for an Object oriented CAD-DBMS. Proc. of the Int. Workshop on Object oriented Database Systems, Pacific-Grove CA 23–26 September 1986

    Google Scholar 

  5. CACM: Special Issue: Next Generation DBMS. Com. of the ACM, Vol. 34, No. 10, October 1991

    Google Scholar 

  6. D. Cohen: Compiling complex database transition triggers. Proc. of the ACM SIGMOD Conf., Portland, Oregon, May 1989

    Google Scholar 

  7. U. Dayal, B. Blaustein, A. Buchmann, U. Chakravarthy, M. Hsu, R. Ledin, D. McCarthy, A. Rosenthal, S. Sarin: The HiPAC Project: Combining Active Databases and Timing Constraints. SIGMOD Record, Vol. 17, No. 1, March 1988

    Google Scholar 

  8. U. Dayal, M. Hsu, R. Ledin: A transaction model for long running activities. VLDB Int. Conf. 1991

    Google Scholar 

  9. B. Defude, H. Martin: Object oriented approach and new database application requirements. Proc. 4th. Int. Symp. on computer and information science ISCIS. Cesme Turkey, November 1989

    Google Scholar 

  10. O. Deux & al.: The story of O2. IEEE Trans. Knowl. Data Eng., Vol. 2, No. 1, March 1990

    Google Scholar 

  11. E. Dewayne, E. Perry: The Inscape program: Construction and evolution environment. Technical Report. AT&T Bell Laboratories, August 1986

    Google Scholar 

  12. K. Dittrich & al.: An Event/Trigger Mechanism to Enforce Complex Consistency Constraints in Design Databases. SIGMOD Record, Vol. 15, No. 3, September 1986

    Google Scholar 

  13. C. Esculier: Non monotonic knowledge evolution in VLKDBS. Proc. VLDB Conf., Brisbane, August 1990

    Google Scholar 

  14. A. Goldberg, D. Robson: Smalltalk-80: The Language and its Implementation. Addison-Wesley, Reading, MA 1983

    Google Scholar 

  15. C.A.R. Hoare: An Axiomatic Approach to computer programming. CACM pp 576–580 October 1969

    Google Scholar 

  16. C. Lecluse, P. Richard, F. Velez: O2, an object-oriented data model. Proc. of the SIGMOD Conf., Chicago, 1988

    Google Scholar 

  17. H. Martin: Controle de la cohérence dans les bases objets: une approche par le comportement. PhD Thesis Grenoble University, January 1991

    Google Scholar 

  18. B. Meyer: Object-oriented Software Construction. C.A.R. Hoare Series Editer 1988

    Google Scholar 

  19. J.M. Nicolas: Logic for improving Integrity Checking in Relational Data Bases. Acta Informatica Vol 18, Fasc. 3 December 1982

    Google Scholar 

  20. M. Stonebraker: Implementation of Integrity Constraints and Views by Query Modification. Int. Conf. on the management of data, Proc. of ACM-SIGMOD, San Jose CA May 1975

    Google Scholar 

  21. M.H. van der Voort, M.L. Kersten: Facets of Database Triggers. Report CS-R9122. CWI P.O. Box 4079, 1009 AB Amsterdam Netherlands, 1991

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IMAG-Campus, Laboratoire de Génie Informatique, BP 53X 38041, Grenoble Cedex, France

    Herve Martin & Michel Adiba

  2. Institut National des Télécommunications, 9, Rue Charles Fourier, 91011, Evry Cedex, France

    Bruno Defude

Authors
  1. Herve Martin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michel Adiba
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Bruno Defude
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Timothy W. Finin Charles K. Nicholas Yelena Yesha

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Martin, H., Adiba, M., Defude, B. (1993). Consistency checking in object oriented databases: A behavioral approach. In: Finin, T.W., Nicholas, C.K., Yesha, Y. (eds) Information and Knowledge Management Expanding the Definition of “Database”. CIKM 1992. Lecture Notes in Computer Science, vol 752. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57419-0_4

Download citation

  • DOI: https://doi.org/10.1007/3-540-57419-0_4

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57419-4

  • Online ISBN: 978-3-540-48148-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation