A stable model semantics for behavioral inheritance in deductive object oriented languages | SpringerLink
Skip to main content

A stable model semantics for behavioral inheritance in deductive object oriented languages

  • Contributed Papers
  • Conference paper
  • First Online:
Database Theory — ICDT '95 (ICDT 1995)

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

Included in the following conference series:

Abstract

We present a model for deductive object oriented query languages with inheritance and overriding. In this model, we consider a DAG like dynamic isa hierarchy and we account for both value or attribute inheritance and method inheritance or code sharing. We show that these two types of inheritance can be treated uniformly within an elegant declarative setting. We then propose a novel semantics for the non-monotonic behavior resulting from the combination of overriding, dynamic selfbinding and the dynamic structure of the isa hierarchy. This semantics is reminiscent of the stable model semantics of logic programs with negation. We also isolate a syntactic condition that guarantees the existence of a unique stable model for a program. This condition, in its turn, is inspired by the local stratification condition of perfect model semantics for programs with negation. Finally we define a bottom-up procedure that computes the unique stable model of a stratified program.

Partially supported by “Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo” of C.N.R. grant n. 93.00898.PF69.

Partially supported by grants from the Canadian Commonwealth Scholarship and Fellowship Plan and the University of Dhaka, Bangladesh.

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. H. Aït-Kaci and R. Nasr. Login: a logic programming language with built-in inheritance. Journal of Logic Programming, 3:182–215, 1986.

    Google Scholar 

  2. H. Aït-Kaci and A. Podelski. Towards a Meaning of LIFE. Technical Report 11, Digital Paris Research Labs, 1991.

    Google Scholar 

  3. M. Bugliesi. A declarative view of inheritance in logic programming. In K. Apt, editor, Proc. Joint Int. Conference and Symposium on Logic Programming, pages 113–130. The MIT Press, 1992.

    Google Scholar 

  4. M. Bugliesi and M. H. Jamil. A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages. Technical Report 6, Dip. di Matematica Pura ed Applicata, Univ. di Padova, 1994.

    Google Scholar 

  5. G. Dobbie and R. Topor. A Model for Inheritance and Overriding in Deductive Object-Oriented Systems. In Sixteen Australian Computer Science Conference, January 1988.

    Google Scholar 

  6. G. Dobbie and R. Topor. A Model for Sets and Multiple Inheritance in Deductive Object-Oriented Systems. Technical report, School of Computing and Information Technology, Griffith University, Nathan Qld 4111, Australia, January 1993.

    Google Scholar 

  7. Michael Gelfond and Vladimir Lifschitz. The Stable Model Semantics for Logic Programming. In R. A. Kowalski and K. A. Bowen, editors, Proc. 5th Int. Conference on Logic Programming, pages 1081–1086. The MIT Press, 1988.

    Google Scholar 

  8. H. M. Jamil. Semantics of Behavioral Inheritance in Deductive Object-Oriented Databases. PhD Thesis (in preparation), Department of Computer Science, Concordia University, Canada, 1994.

    Google Scholar 

  9. H. M. Jamil and L. V. S. Lakshmanan. Orlog: A Logic for Semantic Object-Oriented Models. In Proc. of the International Conference on Information and Knowledge Management, Baltimore, Maryland, pages 584–592, November 1992.

    Google Scholar 

  10. M. Kifer, G. Lausen, and J. Wu. Logical Foundations for Object-Oriented and Frame-Based Languages. Technical Report TR-93/06, Department of Computer Science, SUNY at Stony Brook, 1993. (accepted to Journal of ACM).

    Google Scholar 

  11. E. Laesen and D. Vermeir. A Fixpoint Semantics for Ordered Logic. Journal of Logic and Computation, 1(2):159–185, 1990.

    Google Scholar 

  12. F.G. McCabe. Logic and Objects. Prentice Hall International, London, 1992.

    Google Scholar 

  13. L. Monteiro and A. Porto. A transformational view of inheritance in Logic Programming. In D.H.D. Warren and P. Szeredi, editors, Proc. 7th Int. Conference on Logic Programming, pages 481–494. The MIT Press, 1990.

    Google Scholar 

  14. L. Monteiro and A. Porto. Syntactic and Semantic Inheritance in Logic Programming. In J. Darlington and R. Dietrich, editors, Workshop on Declarative Programming. Workshops in Computing, Springer-Verlag, 1991.

    Google Scholar 

  15. Teodor Przymusinski. Perfect Model Semantics. In R. A. Kowalski and K. A. Bowen, editors, Proc. 5th Int. Conference on Logic Programming, pages 1081–1096. The MIT Press, 1988.

    Google Scholar 

  16. D. S. Touretzky. The Mathematics of Inheritance Systems. Morgan Kaufmann, Los Altos, CA, 1986.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Georg Gottlob Moshe Y. Vardi

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bugliesi, M., Jamil, H.M. (1995). A stable model semantics for behavioral inheritance in deductive object oriented languages. In: Gottlob, G., Vardi, M.Y. (eds) Database Theory — ICDT '95. ICDT 1995. Lecture Notes in Computer Science, vol 893. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58907-4_18

Download citation

  • DOI: https://doi.org/10.1007/3-540-58907-4_18

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58907-5

  • Online ISBN: 978-3-540-49136-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics