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

Open Access

1 June 1989

journal article
research article
Published by Association for Computing Machinery (ACM) in ACM SIGMOD Record

Vol. 18 (2) , 134-146
https://doi.org/10.1145/66926.66939

Abstract

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.

Keywords

This publication has 15 references indexed in Scilit:

Using powerdomains to generalize relational databases
Theoretical Computer Science, 1991
C-logic of complex objects
Published by Association for Computing Machinery (ACM) ,1989
O2, an object-oriented data model
Published by Association for Computing Machinery (ACM) ,1988
Embedding ψ-terms in a Horn-clause Logic Language
Published by Elsevier ,1988
Login: a logic programming language with built-in inheritance
The Journal of Logic Programming, 1986
BAROQUE: a browser for relational databases
ACM Transactions on Information Systems, 1986
Development of an object-oriented DBMS
Published by Association for Computing Machinery (ACM) ,1986
The role of frame-based representation in reasoning
Communications of the ACM, 1985
A calculus for complex objects
Published by Association for Computing Machinery (ACM) ,1985
A new approach to database logic
Published by Association for Computing Machinery (ACM) ,1984