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

SCOPUSTM   
Citations

23
checked on Dec 7, 2017

WEB OF SCIENCETM
Citations

13
checked on Nov 29, 2017

Page view(s)

69
checked on Dec 4, 2017

Google ScholarTM

Check

Altmetric


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