Skip to main content
SpringerLink
Log in

Object integrity using rules

  • Conference paper
  • First Online:
ECOOP'91 European Conference on Object-Oriented Programming (ECOOP 1991)

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

Included in the following conference series:

Abstract

Integrity maintenance in object-oriented systems has so far received little attention. This paper is an attempt to fill this gap. It describes a mechanism for maintaining integrity in an object-oriented database, implemented for the O2 system, and which uses the production rule approach to constraint maintenance. Object integrity is ensured by objects themselves — the rules which are activated when selected events take place. The approach presented is original, in the sense that it takes full advantage of the object-oriented paradigm, considering constraints as first-class citizens which can be inherited, and defined independently of any application. Furthermore, we support maintenance of not only static but also some types of dynamic constraints, as well as constraints on object behavior.

This research was developed while the author was on sabbatical leave at GIP AltaÏr, BP 105, 78153 Le Chesnay-Cedex, France. The support of this research was provided by GIP AltaÏr and by grant CNPq — Brazil — 200.168-89.4

This research was partially developed while the author was working for Gip AltaÏr. The support for this research was provided by GIP AltaÏr and by ONR under Contract N00014-88-K-0559

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. F. Bancilhon, S. Cluet, and C. Delobel. A query-language for an object-oriented database system. In Proceedings of the Second Workshop on DataBase Programming Languages, Salishan, Oregon, USA, June 1989. Morgan Kaufman.

    Google Scholar 

  2. C. Bauzer-Medeiros and P. Pfeffer. A Mechanism for Managing Rules in an Object-Oriented Database. Technical Report 65-90, GIP AltaÏr, Rocquencourt, France, 7 janvier 1991.

    Google Scholar 

  3. J. Castilho, M. Casanova, and A. Furtado. A Temporal Framework for Database Specifications. In Proceedings of VLDB, pages 280–291, 1982.

    Google Scholar 

  4. S. Ceri and J. Widom. Deriving Production Rules for Constraint Maintenance. In Proceedings of the 16th VLDB, pages 566–577, 1990.

    Google Scholar 

  5. O. Deux and al. The Story of O 2. Special Issue of IEEE Transactions on Knowledge and Data Engineering, 2(1), March 1990.

    Google Scholar 

  6. U. Dayal, B. Blaustein, A. Buchmann, U. Chakravarty, M. Hsu, R. Ledin, D. McCarthy, A. Rosenthal, S. Sarin, M.J. Carey, M. Livny, and R. Jaurhy. The HiPAC Project: Combining Active Databases And Timing Constraints. SIGMOD RECORD, 17(1), March 1988.

    Google Scholar 

  7. The Committee for Advanced DBMS Function. Third Generation Data Base System Manifesto. In Proceedings of SIGMOD'90, Atlantic City, May 1990.

    Google Scholar 

  8. S. Hudson and R. King. Cactis: a Self-Adaptive, Concurrent Implementation of an Object-Oriented Database Management System. ACM TODS, 14(3):291–321, 1989.

    Article  Google Scholar 

  9. K. Hulsmann and G. Saake. Representation of the Historical Information Necessary for Temporal Integrity Monitoring. In Proceedings of the 2nd EDBT, pages 378–392, 1990.

    Google Scholar 

  10. M. Jarke, S. Mazumdar, E. Simon, and D. Stemple. Assuring Database Integrity. Submitted for publication, 1989.

    Google Scholar 

  11. A. Kotz, K, Dittrich, and J. Mulle. Supporting Semantic Rules by a Generalized Event/Trigger Mechanism. In Proceedings of the 1st EDBT, pages 76–91, 1988.

    Google Scholar 

  12. W. Kim, J. F. Garza, N. Ballou, and D. Woelk. Architecture of the ORION Next-Generation Database System. IEEE Transactions on Knowledge and Data Engineering, 2(1):109–124, March 1990.

    Article  Google Scholar 

  13. C. Kung. On verification of database temporal constraints. In Proceedings of the ACM SIGMOD, pages 169–179, 1985.

    Google Scholar 

  14. U. Lipeck. Transformation of Dynamic Integrity Constraints into Transaction Specifications. In Proceedings of ICDT, pages 323–337, 1988.

    Google Scholar 

  15. C. Lécluse and P. Richard. Modeling Complex Structures in Object-Oriented Database. In Proceedings of PODS, 1989.

    Google Scholar 

  16. Christophe Lécluse and Philippe Richard. Data Base Schemas and Types Systems for DBPL. Rapport Technique 55-90, GIP AltaÏr, Rocquencourt, France, 29 août 1990.

    Google Scholar 

  17. J. Mylopoulos, P. Bernstein, and H. Wong. A Language Facility for Designing Database-Intensive Applications. ACM TODS, 5(3):185–207, 1980.

    Article  Google Scholar 

  18. M. Morgenstern. Constraint Equations: Declarative Expression of Constraints with Automatic Enforcement. In Proceedings of the 10th VLDB, pages 291–300, 1984.

    Google Scholar 

  19. R. Nassif, Y. Qiu, and J. Zhu. Extending the Object-Oriented Paradigm to Support Relationships and Constraints. In Proceedings of the IFIP Conference Object Oriented Database Systems — Analysis, Design and Construction, 1990.

    Google Scholar 

  20. M. Stonebraker, A. Jhingran, J. Goh, and S. Potamianos. On Rules, Procedures, Caching and Views in Database Systems. In Procedings of the ACM SIGMOD, pages 281–290, 1990.

    Google Scholar 

  21. A. Shepherd and L. Kerschberg. PRISM: a Knowledge Based System for Semantic Integrity Specification and Enforcement in Database Systems. In Proceedings of ACM SIGMOD, pages 307–315, 1984.

    Google Scholar 

  22. T. Sellis, C. Lin, and L. Raschid. Implementing Large Productions Systems in a DBMS Environment: Concepts and Algorithms. In Proceedings of ACM SIGMOD, pages 404–412, 1989.

    Google Scholar 

  23. S. Urban and L. Delcambre. Constraint Analysis for Specifying Perspectives of Class Objects. In Proceedings of the 5th IEEE Conference on Data Engineering, pages 10–17, 1989.

    Google Scholar 

  24. V. Vianu. Database Survivability Under Dynamic Constraints. Acta Informatica, 25:55–84, 1988.

    Article  MATH  MathSciNet  Google Scholar 

  25. J. Widom and S. Finkelstein. Set Oriented Production Rules in Relational Database Systems. In Proceedings of the ACM SIGMOD, pages 259–270, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DCC-IMECC-UNICAMP-CP 6065, 13081, Campinas SP, Brazil

    Claudia Bauzer Medeiros

  2. Department of Computer Science, University of Colorado, 80309-0430, Boulder, CO, USA

    Patrick Pfeffer

Authors
  1. Claudia Bauzer Medeiros
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Patrick Pfeffer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Pierre America

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Medeiros, C.B., Pfeffer, P. (1991). Object integrity using rules. In: America, P. (eds) ECOOP'91 European Conference on Object-Oriented Programming. ECOOP 1991. Lecture Notes in Computer Science, vol 512. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0057024

Download citation

  • DOI: https://doi.org/10.1007/BFb0057024

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54262-9

  • Online ISBN: 978-3-540-47537-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation