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...

Full description

Saved in:
Bibliographic Details
Main Authors: Kifer, Michael, Lausen, Georg
Format: Conference Proceeding
Language:English
Subjects:
Computing methodologies > Artificial intelligence > Knowledge representation and reasoning > Semantic networks
Information systems > Data management systems > Database design and models
Information systems > Data management systems > Query languages
Software and its engineering > Software notations and tools > Context specific languages > Specialized application languages
Software and its engineering > Software notations and tools > Formal language definitions > Semantics
Theory of computation > Semantics and reasoning
Theory of computation > Semantics and reasoning > Program semantics
Theory of computation > Theory and algorithms for application domains > Database theory > Database query languages (principles)
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0163-5808
DOI:10.1145/67544.66939