Please use this identifier to cite or link to this item:
|Title:||A Logical Foundation for Deductive Object-Oriented Databases|
Nonmonotonic multiple inheritance
|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|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on May 19, 2018
WEB OF SCIENCETM
checked on Apr 2, 2018
checked on Apr 21, 2018
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.