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.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.