Please use this identifier to cite or link to this item:
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.
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
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.


checked on May 29, 2020


checked on May 29, 2020

Page view(s)

checked on May 12, 2020

Google ScholarTM



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