Towards a Logical-Object Oriented Programming Language for Databases

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.

[1]  Serge Abiteboul,et al.  Towards a Deductive Object-Oriented Database Language , 1990, Data Knowl. Eng..

[2]  Domenico Saccà,et al.  Extending logic programming , 1990, SIGMOD '90.

[3]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[4]  Dale Miller,et al.  A Theory of Modules for Logic Programming , 1986, SLP.

[5]  Letizia Tanca,et al.  Logic Programming and Databases , 1990, Surveys in Computer Science.

[6]  O. Deux,et al.  The Story of O2 , 1990, IEEE Trans. Knowl. Data Eng..

[7]  Shamim A. Naqvi,et al.  A Logical Language for Data and Knowledge Bases , 1989 .

[8]  Won Kim,et al.  Features of the ORION Object-Oriented Database System , 1989, Object-Oriented Concepts, Databases, and Applications.

[9]  Peter Wegner.  Dimensions of object-based language design , 1987, OOPSLA 1987.

[10]  Maurizio Gabbrielli,et al.  Contributions to the Semantics of Open Logic Programs , 1992, FGCS.

[11]  Jean-Marc Andreoli,et al.  LO and behold! Concurrent structured processes , 1990, OOPSLA/ECOOP '90.

[12]  Kevin Wilkinson,et al.  Overview of the Iris DBMS , 1989, Research Foundations in Object-Oriented and Semantic Database Systems.

[13]  Serge Abiteboul,et al.  Object identity as a query language primitive , 1989, SIGMOD '89.

[14]  Hassan Aït-Kaci,et al.  LOGIN: A Logic Programming Language with Built-In Inheritance , 1986, J. Log. Program..

[15]  David Scott Warren,et al.  Objects as Intensions , 1988, ICLP/SLP.

[16]  Francis G. McCabe,et al.  Logic and objects , 1992, Prentice Hall International Series in Computer Science.

[17]  Carlo Zaniolo.  Object Identity and Inheritance in Deductive Databases - an Evolutionary Approach , 1989, DOOD.

[18]  Letizia Tanca,et al.  Integrating object-oriented data modelling with a rule-based programming paradigm , 1990, SIGMOD '90.

[19]  D. Pedreschi,et al.  Composition Operators for Logic Theories , 1990 .