Please use this identifier to cite or link to this item: https://doi.org/10.1145/507234.507237
Title: A Logical Foundation for Deductive Object-Oriented Databases
Authors: Liu, M.
Dobbie, G.
Ling, T.W. 
Keywords: Declarative semantics
Deductive databases
Nonmonotonic multiple inheritance
Object-oriented databases
Rule-based languages
Issue Date: 2002
Citation: Liu, M., Dobbie, G., Ling, T.W. (2002). A Logical Foundation for Deductive Object-Oriented Databases. ACM Transactions on Database Systems 27 (1) : 117-151. ScholarBank@NUS Repository. https://doi.org/10.1145/507234.507237
Abstract: Over the past decade, a large number of deductive object-oriented database languages have been proposed. The earliest of these languages had few object-oriented features, and more and more features have systematically been incorporated in successive languages. However, a language with a clean logical semantics that naturally accounts for all the key object-oriented features, is still missing from the literature. This article takes us another step towards solving this problem. Two features that are currently missing are the encapsulation of rule-based methods in classes, and nonmonotonic structural and behavioral inheritance with overriding, conflict resolution and blocking. This article introduces the syntax of a language with these features. The language is restricted in the sense that we have omitted other object-oriented and deductive features that are now well understood, in order to make our contribution clearer. It then defines a class of databases, called well-defined databases, that have an intuitive meaning and develops a direct logical semantics for this class of databases. The semantics is based on the well-founded semantics from logic programming. The work presented in this article establishes a firm logical foundation for deductive object-oriented databases.
Source Title: ACM Transactions on Database Systems
URI: http://scholarbank.nus.edu.sg/handle/10635/39708
ISSN: 03625915
DOI: 10.1145/507234.507237
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.