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

  • Michele Bugliesi
  • Hasan M. Jamil
Contributed Papers Advanced Models
Part of the Lecture Notes in Computer Science book series (LNCS, volume 893)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 2.
    H. Aït-Kaci and A. Podelski. Towards a Meaning of LIFE. Technical Report 11, Digital Paris Research Labs, 1991.Google Scholar
  3. 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. 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. 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. 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. 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. 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. 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. 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. 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. 12.
    F.G. McCabe. Logic and Objects. Prentice Hall International, London, 1992.Google Scholar
  13. 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. 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. 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. 16.
    D. S. Touretzky. The Mathematics of Inheritance Systems. Morgan Kaufmann, Los Altos, CA, 1986.Google Scholar

Copyright information

© Springer-Verlag 1995

Authors and Affiliations

  • Michele Bugliesi
    • 1
  • Hasan M. Jamil
    • 2
  1. 1.Dip. di Matematica Pura ed Applicata Università di PadovaItaly
  2. 2.Dept. of Computer ScienceConcordia UniversityCanada

Personalised recommendations