Abstract
We consider the addition of set-valued methods and multiple inheritance to a simple deductive object-oriented language we defined and studied previously. We show how the previously defined declarative semantics can be extended to provide a natural semantics for inheritance and overriding in this more general setting, and similarly extend our previously defined evaluation procedures.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
S. Abiteboul. Towards a deductive object oriented database language. Data and Knowledge Engineering, 5:263–287, 1990.
S. Abiteboul and S. Grumbach. 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.
S. Abiteboul and P. C. Kanellakis. Object identity as a query language primitive. In Proc. of the ACM SIGMOD International Conference on the. Management of Data, pages 159–173, 1989.
S. Abiteboul, G. Lausen, H. Uphoff, and E. Waller. Methods and rules. In Proc. of the ACM SIGMOD International Conference on the Management of Data, pages 32–41, 1993.
H. Ait-Kaci and R. Nasr. LOGIN: A logic programming language with built-in inheritance. Journal of Logic Programming, 3:185–215, 1986.
K. Apt, H. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundations of Deductive Databases and Loyic Programming, pages 89–148. Morgan Kaufmann, 1988.
C. Beeri. A formal approach to object-oriented databases. Data and Knowledge Engineering, 5:353–382, 1990.
S. Brass and U. Lipeck. Semantics of inheritance in logical object specifications. Proceedings of the Second International Conference on Deductive and Object-Oriented Databases, pages 411–430, 1991.
C. Delobel, 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.
S. W. Dietrich. Extension Tables: Memo Relations in Logic Programming. In Proc. 3rd Symposium on Logic Programming, pages 264–272, San Francisco, California., 1987.
G. Dobbie and R. W. Topor. A model lor inheritance and overriding in deductive object-oriented systems. In Proc. 16th Australian Computer Science Conference, pages 625–634, Brisbane, Australia, 1993.
G. Dobbie and R. W. Topor. A model for sets and multiple inheritance in deductive object-oriented systems. Technical report, Collaborative Information Technology Research Institute, University of Melbourne, 1993.
G. Dobbie and R. W. Topor. Representing inheritance and overriding in Datalog. In Proc. of the Deductive Database Workshop in conjunction with ICLP'93, Budapest, Hungary, 1993.
M. Kifer, 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.
W. Kim, J.-M. Nicolas, and S. Nishio, editors. Proceedings of the First International Conference on Deductive and Object-Oriented Databases, Kyoto, Japan, 1989.
M. J. Lawley. A Prolog interpreter for F-logic. Unpublished report, Griffith University, 1993.
F. G. McCabe. Logic and Objects. Prentice Hall, 1992.
T. Przymusinski. 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.
T. C. Przymusinski. Semantics of disjunctive logic programs and deductive databases. Proceedings of the Second International Conference on Deductive and Object-Oriented Databases, pages 85–107, 1991.
D. S. Touretzky. The Mathematics of Inheritance Systems. Morgan Kaufmann, Los Altos, CA, 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dobbie, G., Topor, R. (1993). A model for sets and multiple inheritance in deductive object-oriented systems. In: Ceri, S., Tanaka, K., Tsur, S. (eds) Deductive and Object-Oriented Databases. DOOD 1993. Lecture Notes in Computer Science, vol 760. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57530-8_31
Download citation
DOI: https://doi.org/10.1007/3-540-57530-8_31
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57530-6
Online ISBN: 978-3-540-48212-3
eBook Packages: Springer Book Archive