Inheritance is the main theme of schema design for the object-oriented software and objectoriented database [10]. It supports class hierarchy design and capture the is-a relationship between a class and its superclass...
详细信息
The issues of schema evolution and temporal object models are generally considered to be orthogonal and are handled independently. This is unrealistic because to properly model applications that need incremental desig...
详细信息
Deductive object-oriented databases (DOODs) seek to combine the complementary benefits of the deductive and the object-oriented paradigms in the context of databases. Research into DOODs has now been taking place for ...
详细信息
Experiences of both researchers and practitioners with the development of object-oriented database systems help us to evaluate the real contributions of object-oriented modeling principles and show the limits and poss...
详细信息
This paper describes a new approach for supporting reactive capability in an advanced object-oriented database system called ADOME-I1. Besides having a rich set of pre-defined composite event expressions and a well-de...
详细信息
To improve performance of object-oriented database processing, integration between parallel and objectoriented technologies is sought. In this paper, we concentrate on path expression queries. Parallelization of path ...
详细信息
The present development in the database area is highly influenced by the object-oriented principles of data modeling. On the contrary to the previously successful relational approach, it lacks rigorous theoretical sup...
详细信息
This paper describes the architecture and several key aspects of FIODBS, an interoperable object-database system developed by Fudan University,P.R. ***, it presents a common object model, which provides basic OO featu...
详细信息
We present an elegant technique to reduce inheritance and encapsulation to pure deduction. The reduction technique presented in this paper makes it possible to model object-oriented database features in a purely deduc...
详细信息
ISBN:
(纸本)1558604707
We present an elegant technique to reduce inheritance and encapsulation to pure deduction. The reduction technique presented in this paper makes it possible to model object-oriented database features in a purely deductive system. Encapsulation has been given a formal treatment for the first time by introducing the so called context-resolution scheme. The completion technique presented in this paper elegantly tackles inheritance with overriding and conflict resolution by avoiding non-monotonic reasoning. We show that the completion based reduction technique is robust and appealing compared to any other known rewriting based approaches. We propose an object-oriented front-end language called the Datalog++, and discuss a rewriting scheme to the acclaimed Datalogneg for this language that exploits the con text resolution and completion techniques presented here. We claim that our approach outperforms other known approaches in the literature in terms of its modeling capabilities and efficiency. Unlike mast others, an implementation based on our reduction technique does not require meta-Lnterprctation and consequently readily exploits the rich set of optimization techniques available in Datalogneg.
Derivations in object-oriented databases are supported currently by means of imperative methods or by using deductive or even active rules. As imperative languages are difficult to analyze in order to extract dependen...
详细信息
暂无评论