DMCA
On the Declarative and Procedural Semantics of Deductive Object-Oriented Systems (1995)
| Venue: | Journal of Intelligent Information Systems |
| Citations: | 37 - 1 self |
BibTeX
@ARTICLE{Dobbie95onthe,
author = {Gillian Dobbie and Rodney Topor and Michael Kifer},
title = {On the Declarative and Procedural Semantics of Deductive Object-Oriented Systems},
journal = {Journal of Intelligent Information Systems},
year = {1995},
volume = {4},
pages = {193--219}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
. We present declarative and procedural semantics for a deductive object-oriented language, Gulog. The declarative semantics is based on preferred minimal models. We describe both bottom-up and top-down query evaluation procedures and show that they are sound with respect to the declarative semantics. The results contribute to our understanding of the interaction of inheritance, overriding and deduction in the presence of both functional and set-valued methods, and multiple inheritance. Keywords: complex objects, deductive databases, fixpoint semantics, procedural semantics, knowledge bases, object-oriented databases, rule based 1. Introduction The aim of this paper is to propose a simple mathematical foundation for objectoriented systems with deduction. In particular, we present a declarative and procedural semantics for a simple language that includes classes, objects, functional and set-valued methods, (multiple) inheritance, overriding, and derived methods and predicates with the...
Keyphrases
procedural semantics deductive object-oriented system set-valued method declarative semantics top-down query evaluation procedure deductive database object-oriented database deductive object-oriented language simple mathematical foundation multiple inheritance objectoriented system fixpoint semantics simple language preferred minimal model knowledge base complex object
