Abstract
This paper presents an approach for the integration of logic and object-oriented paradigms. A hierarchy of languages is defined starting from a logical notion of object, based on the concept of evolving theory. They are based on LDL language, which captures the notion of state evolution. In order to achieve the mapping from object-oriented paradigm to a logical-object oriented programming language, the notions of object, message passing, class and inheritance are reinterpreted in the context of logic programming.
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. In W Kim et al., editor, Proc. First Int'l Conf. on Deductive and Object-Oriented Databases, pages 419–438, 1989.
S. Abiteboul and P. Kanellakis. Object Identity as a Query Language Primitive. In Proc. Int'l Conf. ACM on Management of Data, pages 159–173, 1989.
H. Ait-Kaci and R. Nasr. Login: a Logic Programming Language With Built-in Inheritance. Journal of Logic Programming, 3:185–215, 1986.
J. M. Andreoli and R. Pareschi. LO and behold! Concurrent Structured Processes. In N. Meyrowitz, editor, Proc. Int'l Conf. on Object-Oriented Programming: Systems, Languages, and Applications, pages 1–13, 1990.
A. Bossi, M. Gabbrielli, G. Levi, and M. C. Meo. Contributions to the Semantics of Open Logic Programs. Technical Report TR 17/91, Dipartimento di Informatica, Università di Pisa, 1991.
A. Brogi, P. Mancarella, F. Turini, and D. Pedreschi. Composing Operators for Logic Theories. In J. W. Lloyd, editor, Computational Logic, pages 117–134. Springer-Verlag, Berlin, 1990.
A. D. Burt, P. M. Hill, and J. W. Lloyd. Preliminary Report on the Logic Programming Language Gödel. Technical Report TR 90-02, Computer Science Department, Univeristy of Britstol, 1990.
F. Cacace, S. Ceri, S. Crespi-Reghizzi, L. Tanca, and R. Zicari. The Logres project: Integrating Object-Oriented Data Modelling with a Rule-Based Programming Paradigm. Technical Report TR 89-039, Politecnico di Milano, 1989.
W. Chen and D. S. Warren. Objects as Intensions. In R.A. Kowalski and K.A. Bowen, editors, Proc. Fifth Int'l Conf. on Logic Programming, pages 404–419. The MIT Press, Cambridge, Mass., 1988.
J. S. Conery. Logical Objects. In R.A. Kowalski and K.A. Bowen, editors, Proc. Fifth Int'l Conf. on Logic Programming, pages 420–434. The MIT Press, Cambridge, Mass., 1988.
B. J. Cox. Object-Oriented Programming. Addison-Wesley, 1986.
D. H. Fishman et al. Overview of the Iris DBMS. In W. Kim and F. H. Lochovsky, editors, Object-Oriented Concepts, Databasases, and Applications, pages 219–250. Addison-Wesley, 1989.
Deux et al. The Story of O2. IEEE Tran. on Knowledge and Data Eng., 2(1):91–108, 1990.
W. Kim et al. Features of the ORION Object-Oriented Database System. In W. Kim and F. H. Lochovsky, editors, Object-Oriented Concepts, Databasases, and Applications, pages 251–282. Addison-Wesley, 1989.
E. Laenens, D. Saccà, and D. Vermeir. Extending logic programming. In Proc. Int'l Conf. ACM on Management of Data, pages 184–193, 1990.
C. Maindreville and E. Simon. Modelling Non Detrministic Queries and Updates In Deductive Databases. In F. Bancilhon and D. J. DeWitt, editors, Proc. Fourteenth Int'l Conf. on Very Large Data Bases, pages 395–406, 1988.
F.G. McCabe. Logic and Objects. PhD thesis, University of London, November 1988.
D. Miller. A Theory of Modules for Logic Programming. In Proc. IEEE Symposium on Logic Programming, pages 106–114, 1986.
L. Monteiro and A. Porto. Objects as Situated Theories. Technical report, Esprit, 1990. Basic Research Action n. 3020.
S. Naqvi and S. Tsur. A Logical Language for Data and Knowledge Bases. Computer Science Press, 1989.
L. Tanca S. Ceri, G. Gottlob. Logic Programming and Databases. Springer-Verlag, Berlin, 1990. Second edition.
P. Wegner. Dimensions of Object-Based Language Design. In L. Power and Z. Weiss, editors, Proc. Int'l Conf. on Object-Oriented Programming: Systems, Languages, and Applications, pages 168–182, 1987.
C. Zaniolo. Object Identity and Inheritance in Deductive Databases — an Evolutionary Approach. In W Kim et al., editor, Proc. First Int'l Conf. on Deductive and Object-Oriented Databases, pages 106–114, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bertino, E., Montesi, D. (1992). Towards a logical-object oriented programming language for databases. In: Pirotte, A., Delobel, C., Gottlob, G. (eds) Advances in Database Technology — EDBT '92. EDBT 1992. Lecture Notes in Computer Science, vol 580. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0032430
Download citation
DOI: https://doi.org/10.1007/BFb0032430
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55270-3
Online ISBN: 978-3-540-47003-8
eBook Packages: Springer Book Archive