Advertisement

Journal of Intelligent Information Systems

, Volume 4, Issue 2, pp 193–219 | Cite as

On the declarative and procedural semantics of deductive object-oriented systems

  • Gillian Dobbie
  • Rodney Topor
Article

Abstract

We present declarative and procedural semantics for a deductive object-oriented language, Gulog. The declarative semantics is based on preferred minimal models. We describe both bottom-up and top-down query evaluation procedures and show that they are sound with respect to the declarative semantics. The results contribute to our understanding of the interaction of inheritance, overriding and deduction in the presence of both functional and set-valued methods, and multiple inheritance.

Keywords

complex objects deductive databases fixpoint semantics procedural semantics knowledge bases object-oriented databases rule based 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abiteboul S. and P. C. Kanellakis, Object identity as a query language primitive. InProc. of the ACM SIGMOD International Conference on the Management of Data, pages 159–173, 1989.Google Scholar
  2. Abiteboul, S. (1990a), Towards a deductive object oriented database language.Data and Knowledge Engineering, 5:263–287, 1990.Google Scholar
  3. Abiteboul S. and S. Grumbach (1990b), COL: A logic-based language for complex objects. In F. Bancilhon and P. Buneman, editors,Advances in Database Programming Languages, pages 347–374. ACM Press/Addison-Wesley (Frontier Series), New York, 1990.Google Scholar
  4. Abiteboul S., G. Lausen, H. Uphoff, and E. Waller, Methods and rules. InProc. of the ACM SIGMOD International Conference on the Management of Data, pages 32–41, Washington, DC, 1993.Google Scholar
  5. Ait-Kaci, H. and R. Nasr, LOGIN: A logic programming language with built-in inheritance.Journal of Logic Programming, 3:185–215, 1986.Google Scholar
  6. Apt, K., H. Blair, and A. Walker, Towards a theory of declarative knowledge. In J. Minker, editor,Foundations of Deductive Databases and Logic Programming, pages 89–148. Morgan Kaufmann, 1988.Google Scholar
  7. Beeri, C., A formal approach to object-oriented databases.Data and Knowledge Engineering, 5:353–382, 1990.Google Scholar
  8. Brass, S. and U. Lipeck, Semantics of inheritance in logical object specifications. In C. Delobel, M. Kifer, and Y. Masunaga, editors,Proceedings of the Second International Conference on Deductive and Object-Oriented Databases, pages 411–430, Munich, Germany, 1991.Google Scholar
  9. Cardelli, L., A semantics of multiple inheritance.Semantics of Data Types, pages 51–67, 1984. Published as Lecture Notes in Computer Science 173 by Springer-Verlag.Google Scholar
  10. Chen, W. and D. Warren, C-Logic of complex objects. InProc. 8th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Philadelphia, PA, March, 1989.Google Scholar
  11. Delobel, C., M. Kifer, and Y. Masunaga, editors,Proceedings of the Second International Conference on Deductive and Object-Oriented Databases, Munich, Germany, 1991. Springer-Verlag. Published as Lecture Notes in Computer Science 566 by Springer-Verlag.Google Scholar
  12. Dietrich, S. W., Extension Tables: Memo Relations in Logic Programming. InProc. 3rd Symposium on Logic Programming, pages 264–272, San Francisco, California, 1987.Google Scholar
  13. Dobbie, G. and R. W. Topor (1993a), A model for inheritance and overriding in deductive object-oriented systems. InProc. 16th Australian Computer Science Conference, pages 625–634, Brisbane, Australia, 1993.Google Scholar
  14. Dobbie, G. and R. W. Topor (1993b), Representing inheritance and overriding in Datalog. InProc. of the Deductive Database Workshop in conjunction with ICLP'93, Budapest, Hungary, 1993.Google Scholar
  15. Dobbie, G. (1994a),Foundations of Deductive Object-Oriented Database Systems. Thesis, University of Melbourne, 1994.Google Scholar
  16. Dobbie, G. and R. W. Topor (1994b), On the declarative and procedural semantics of deductive object-oriented systems. Technical Report, Department of Computer Science, Victoria University of Wellington, 1994.Google Scholar
  17. Hill, P. M. and R. W. Topor, A semantics for typed logic programs. In F. Pfenning, editor,Types in Logic Programming, pages 1–62. MIT Press, Cambridge, Massachusetts, 1992.Google Scholar
  18. Kifer, M., G. Lausen, and J. Wu, Logical foundations of object-oriented and frame-based languages. Technical Report 90/14 (revised), Department of Computer Science, State University of New York at Stony Brook, 1990. Further revised as Technical Report 93/06, April 1993.Google Scholar
  19. Kifer, M. and J. Wu, A logic for object-oriented logic programming (Maier's O-logic revisited). InProc. 8th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Philadelphia, PA, March, 1989.Google Scholar
  20. Kim, W., J.-M. Nicolas, and S. Nishio, editors,Proceedings of the First International Conference on Deductive and Object-Oriented Databases, Kyoto, Japan, 1989.Google Scholar
  21. Laenens, E. and D. Vermeir, Assumption-free semantics for ordered logic programs: On the relationship between well-founded and stable partial models.Journal of Logic and Computation, 1(2):159–185, 1992.Google Scholar
  22. Lawley, M. J., A Prolog interpreter for F-logic. Unpublished report, Griffith University, 1993.Google Scholar
  23. Lou, Y. and Z. M. Ozsoyoglu, LLO: An object-oriented deductive language with methods and method inheritance. InProc. of the ACM SIGMOD International Conference on the Management of Data, pages 198–207, 1991.Google Scholar
  24. Maier, D., A logic for objects. Technical Report CS/E-86-012, Oregon Graduate Center, Beaverton, OR, 1986.Google Scholar
  25. McCabe, F. G.,Logic and Objects. Prentice Hall, 1992.Google Scholar
  26. Mumick, I. S. and K. A. Ross, SWORD: A declarative object-oriented database. In S. Ceri, K. Tanaka, and S. Tsur, editors,Proceedings of the Third International Conference on Deductive and Object-Oriented Databases, Phoenix, 1993.Google Scholar
  27. Naqvi, S. and S. Tsur,A Logical Language for Data and Knowledge Bases. Computer Science Press, New York, 1989.Google Scholar
  28. Przymusinski, T., On the declarative semantics of deductive databases and logic programs. In J. Minker, editor,Foundations of Deductive Databases and Logic Programming, pages 193–216. Morgan Kaufmann, 1988.Google Scholar
  29. Touretzky, D. S.,The Mathematics of Inheritance Systems. Morgan Kaufmann, Los Altos, CA, 1986.Google Scholar

Copyright information

© Kluwer Academic Publishers 1995

Authors and Affiliations

  • Gillian Dobbie
    • 1
  • Rodney Topor
    • 2
  1. 1.Department of Computer ScienceVictoria UniversityWellingtonNew Zealand
  2. 2.School of Computing and Information TechnologyGriffith UniversityNathanAustralia

Personalised recommendations