F-logic: a higher-order language for reasoning about objects, inheritance, and scheme

We propose a database logic which accounts in a clean declarative fashion for most of the “object-oriented” features such as object identity, complex objects, inheritance, methods, etc. Furthermore, database schema is part of the object language, which allows the user to browse schema and data using the same declarative formalism. The proposed logic has a formal semantics and a sound and complete resolution-based proof procedure, which makes it also computationally attractive.

[1]  Serge Abiteboul,et al.  COL: A Logic-Based Language for Complex Objects , 1988, EDBT.

[2]  Gabriel M. Kuper,et al.  A new approach to database logic , 1984, PODS '84.

[3]  Catriel Beeri,et al.  On the power of languages for manipulation of complex objects , 1987, VLDB 1987.

[4]  Jay Banerjee,et al.  Composite object support in an object-oriented database system , 1987, OOPSLA '87.

[5]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[6]  David S. Touretzky,et al.  A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems , 1987, IJCAI.

[7]  Won Kim,et al.  Multimedia Information Management in an Object-Oriented Database System , 1987, VLDB.

[8]  Daniel G. Bobrow,et al.  Object-Oriented Programming: Themes and Variations , 1989, AI Mag..

[9]  Richard Fikes,et al.  The role of frame-based representation in reasoning , 1985, CACM.

[10]  Peter Buneman,et al.  Using Powerdomains to Generalize Relational Databases , 1991, Theor. Comput. Sci..

[11]  Michael Kifer,et al.  A logic for object-oriented logic programming , 1989, PODS.

[12]  Richard C. T. Lee,et al.  Symbolic logic and mechanical theorem proving , 1973, Computer science classics.

[13]  E. F. Codd,et al.  A relational model of data for large shared data banks , 1970, CACM.

[14]  P. Hayes.  The Logic of Frames , 1981 .

[15]  Teodor C. Przymusinski.  On the Declarative Semantics of Deductive Databases and Logic Programs , 1988, Foundations of Deductive Databases and Logic Programming..

[16]  John McCarthy.  First Order Theories of Individual Concepts and Propositions. , 1979 .

[17]  Michael J. Maher,et al.  Foundations of Deductive Databases and Logic Programming , 1988 .

[18]  David S. Touretzky,et al.  The Mathematics of Inheritance Systems , 1984 .

[19]  Stanley B. Zdonik.  Object-oriented data model , 1990 .

[20]  Christophe Lécluse,et al.  Modeling Inheritance and Genericity in Object Oriented-Databases , 1988, ICDT.

[21]  Catriel Beeri,et al.  Embedding Psi-Terms in a Horn-Clause Logic Language , 1988, JCDKB.

[22]  Gert Smolka,et al.  Inheritance Hierarchies: Semantics and Unification , 1989, J. Symb. Comput..

[23]  David Scott Warren,et al.  C-logic of complex objects , 1989, PODS '89.

[24]  J. W. Lloyd,et al.  Foundations of logic programming; (2nd extended ed.) , 1987 .

[25]  Luca Cardelli,et al.  A Semantics of Multiple Inheritance , 1984, Inf. Comput..

[26]  David Maier,et al.  Incorporating computed relations in relational databases , 1981, SIGMOD '81.

[27]  Setrag Khoshafian,et al.  A calculus for complex objects , 1985, PODS '86.

[28]  Raymond Reiter,et al.  On Inheritance Hierarchies With Exceptions , 1983, AAAI.

[29]  Setrag Khoshafian,et al.  Object identity , 1986, OOPLSA '86.

[30]  E. F. Codd,et al.  A Relational Model for Large Shared Data Banks , 1970 .

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

[32]  François Banciihon.  Object-oriented database systems , 1988, PODS 1988.

[33]  Shamim A. Naqvi,et al.  Towards a Real Horn Clause Language , 1988, VLDB.

[34]  Peter Wegner,et al.  The Object-Oriented Classification Paradigm , 1987, Research Directions in Object-Oriented Programming.

[35]  R. Fisher.  Mathematics of Inheritance , 1933, Nature.

[36]  Michael Kifer,et al.  HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs , 1989, NACLP.

[37]  Michael Kifer,et al.  A logic for object-oriented logic programming , 1989, PODS '89.

[38]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[39]  Amihai Motro,et al.  BAROQUE: a browser for relational databases , 1986, TOIS.

[40]  Catriel Beeri,et al.  Sets and negation in a logic data base language (LDL1) , 1987, PODS.

[41]  David Maier,et al.  Development of an object-oriented DBMS , 1986, OOPLSA '86.

[42]  Fernando Vélez,et al.  O2, an object-oriented data model , 1988, SIGMOD '88.