Skip to main content
SpringerLink
Log in

Incremental inheritance model for an OODBMS

  • Object-Oriented Databases I
  • Conference paper
  • First Online:
Database and Expert Systems Applications (DEXA 1997)

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

Included in the following conference series:

  • 113 Accesses

Abstract

The semantics of inheritance presented in this paper is based on the incremental modification mechanism that is formalized by the generator associated with class, modification function, and the building inheritance operators. The model is based upon an intuitive explanation of the proper use and purpose of inheritance, and is essentially dedicated to dynamic (i.e. run-time) inheritance of properties, for OODBMS. A simple typing of inheritance is derived by Cook's constraint, that defines the conditions of the validity of generator derivation. We show by using the subtyping relation defined in the 02 OODBMS, the correctness of the proposed model (i.e. the Cook's constraint is respected). And therefore, the integration of our incremental model in O2 is valid.

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. Abadi and L. Cardelli, “On subtyping and matching”. ECOOP'95 Proceedings 1995, pp 145–167.

    Google Scholar 

  2. M. Adiba, C. Collet, “Objets et bases de données le SGBD 02”. Edition Hermès, 1993.

    Google Scholar 

  3. R. M. Amadio and L. Cardelli, “Subtyping recursive types”. ACM Transactions on Programming Languages and Systems, 15(4), 1993, pp 575–631.

    Google Scholar 

  4. M. Atkinson, F. Bancilhon, D. Dewih, K.Dittrich, D. Maier, S. Zdonick, “The Object-Oriented Database System Manifesto”. DOOD'89 Proceedings, 1989, pp 25–42.

    Google Scholar 

  5. H. P. Barendregt, “The Lambda Calculus Its syntax and semantics” volume 103 of studies in Logic and The foundations of Mathematics. North-Holland, 1981.

    Google Scholar 

  6. M. Benattou, L. Lakhal, “Héritage incrémental: Modèle, Méthode, Validation”. Ingénierie des systèmes d'information, 4(5), 1996, pp 637–661.

    Google Scholar 

  7. M. Benattou, L. Lakhal, “Incremental Inheritance Mechanism and its Message Evaluation Method”. BIWIT'97 Proceedings 1997, IEEE Computer Society Press (to appear).

    Google Scholar 

  8. D. G. Bobrow, K. Kahn, G. Kiczales, L. Masinter, M.Stefik, F.Zdybel, “Common-Loops: Mergin Lisp and Object-Oriented Programming”. OOPSLA'86 Proceedings, 1986, pp 17–29.

    Google Scholar 

  9. G. Bracha, W. Cook, “Mixin based inheritance”, OOPSLA'90 Proceedings, 1990, pp 303–311.

    Google Scholar 

  10. L. Cardelli, “A semantics of multiple inheritance”. Information and Computation, 76, 1988, pp 138–164.

    Google Scholar 

  11. G. Castagna, “Covariance and contravariance: conflict without a cause”. ACM Transaction On Programming Language and System, 17(6), 1995, pp 805–843.

    Google Scholar 

  12. W. R. Cook, J. Palsberg, “A Denotational Semantics of Inheritance and its Correctness”. OOPSALA'89 Proceedings, 1989, pp 433–443.

    Google Scholar 

  13. W. R. Cook, W. L. Hill, P. S. Canning, “Inheritance Is not Subtyping”. ACM Symposium On Principales of Programming languages, 1990, ACM, pp 125–135.

    Google Scholar 

  14. R. Ducournau, M. Habib, M. Huchard, M.L. Mugnier, “Monotonic Conflict Resolution Mechanism for Inheritance”. OOPSALA'92 Proceedings, 1992, pp 16–24.

    Google Scholar 

  15. R. Ducournau, M. Habib, Huchard M., Mugnier M.L. “Proposal for a monotonic multiple inheritance linearisation”. OOPSLA'94 Proceedings, 1994, pp 164–175.

    Google Scholar 

  16. R. Ducournau, M. Habib, Huchard M., Mugnier M.L, Napoli A. “Le point sur l'héritage multiple”. Technique et Science Informatique, 14(3), 1995, pp 309–345.

    Google Scholar 

  17. A. Goldberg, D. Robson, “SMALLTALK-80: the language and its implementation”. Adison-wesley, 1983.

    Google Scholar 

  18. A. V. Hense, “Denotational semantics of an object-oriented programming language with explicit wrapper”. Formal aspect of computing, 1993, (5), pp 181–207.

    Google Scholar 

  19. W. Kim, N. Ballou, H. Chou, J. F. Garza and D. Woelk, “Features of the Orion Object-Oriented Database System”. Object-Oriented Concepts, Databases and Applications, W. Kim and F. Lochovsky (Ed), ACM Press, New York, 1989, pp 251–282.

    Google Scholar 

  20. C. Lamb, G. Landis, J. Orenstein, D. Weinreb, “The objectStore System”. CALM, 34(10), 1991, pp 50–63.

    Google Scholar 

  21. C. Lecluse, P. Richard, F. Velez, “02 An Object-Oriented Data Model”. SIGMOD Proceedings, 1988, pp 424–433.

    Google Scholar 

  22. D. McAllester R. Zabih. “Boolean classes”. OOPSLA'87 Proceedings, 1987, pp 482–493.

    Google Scholar 

  23. N. Minsky D. Rozenshtein. “A Law-based approch to object-oriented Propgramming”. AMC Conf. OOPSLA'87 Proceedings, 1987, pp 417–423.

    Google Scholar 

  24. B. Meyer, “Object-oriented Software Construction”. Prence Hall, 1988.

    Google Scholar 

  25. A. Snyder “Encapsulation and inheritance in object-oriented programming languages”. OOPSLA'86 Proceedings, 1986, pp 38–45.

    Google Scholar 

  26. A. Snyder, “Inheritance in Object-oriented Programming Languages”. (Eds), Inheritance hierarchie in knowledge representation and programming languages, Wiley, London 1991, pp 153–171.

    Google Scholar 

  27. M. Stefik and D. G. Bobrow. “Object-oriented Programming: Themes and Variation”. The AI Magazine, 6(4), 1986.

    Google Scholar 

  28. G. L. STeele Jr, “Common Lisp: the language”. Second Edition Digital Press 1990.

    Google Scholar 

  29. B. Stroustrup. “Multiple Inheritance Fot C++”. EUUGS'87 Proceedings, 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Complexe Scientifique des Cézeaux, LIMOS Université Blaise Pascal Clermont-Ferrand II, 63177, Aubière cedex, France

    Mohammed Benattou & Lotfi Lakhal

Authors
  1. Mohammed Benattou
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lotfi Lakhal
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Abdelkader Hameurlain A Min Tjoa

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Benattou, M., Lakhal, L. (1997). Incremental inheritance model for an OODBMS. In: Hameurlain, A., Tjoa, A.M. (eds) Database and Expert Systems Applications. DEXA 1997. Lecture Notes in Computer Science, vol 1308. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022019

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-69580-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation