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.
Similar content being viewed by others
References
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.
Abiteboul, S. (1990a), Towards a deductive object oriented database language.Data and Knowledge Engineering, 5:263–287, 1990.
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.
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.
Ait-Kaci, H. and R. Nasr, LOGIN: A logic programming language with built-in inheritance.Journal of Logic Programming, 3:185–215, 1986.
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.
Beeri, C., A formal approach to object-oriented databases.Data and Knowledge Engineering, 5:353–382, 1990.
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.
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.
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.
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.
Dietrich, S. W., Extension Tables: Memo Relations in Logic Programming. InProc. 3rd Symposium on Logic Programming, pages 264–272, San Francisco, California, 1987.
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.
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.
Dobbie, G. (1994a),Foundations of Deductive Object-Oriented Database Systems. Thesis, University of Melbourne, 1994.
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.
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.
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.
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.
Kim, W., J.-M. Nicolas, and S. Nishio, editors,Proceedings of the First International Conference on Deductive and Object-Oriented Databases, Kyoto, Japan, 1989.
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.
Lawley, M. J., A Prolog interpreter for F-logic. Unpublished report, Griffith University, 1993.
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.
Maier, D., A logic for objects. Technical Report CS/E-86-012, Oregon Graduate Center, Beaverton, OR, 1986.
McCabe, F. G.,Logic and Objects. Prentice Hall, 1992.
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.
Naqvi, S. and S. Tsur,A Logical Language for Data and Knowledge Bases. Computer Science Press, New York, 1989.
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.
Touretzky, D. S.,The Mathematics of Inheritance Systems. Morgan Kaufmann, Los Altos, CA, 1986.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Dobbie, G., Topor, R. On the declarative and procedural semantics of deductive object-oriented systems. J Intell Inf Syst 4, 193–219 (1995). https://doi.org/10.1007/BF00961874
Issue Date:
DOI: https://doi.org/10.1007/BF00961874