Download:
|
by Mengchi Liu, Weidong Yu
In Proc. Intl. Database Engineering and Applications Symp (IDEAS '97
http://www.cs.uregina.ca/~mliu/papers/rol-IDEAS97.ps
Add To MetaCart
Abstract:
The ROL system is a novel deductive object-oriented database system that has been implemented at the University of Regina. It provides a uniform rule-based declarative language for defining, manipulating and querying databases, which integrates important features of deductive databases and object-oriented databases. It supports object identity, complex objects, classes, class hierarchies, multiple inheritance with overriding and blocking, and schema definition. It also supports structured values such as functor objects and sets, treating them as first class citizens, and providing powerful mechanisms for representing both partial and complete information about sets. This paper describes the query processing mechanism in the ROL system. A novel feature is that it effectively combines the top-down and bottom-up strategies and automatically decides which evaluation strategies to use based on the nature of the query and data in the databases. 1
Citations
|
635
|
Logical foundations of object-oriented and frame-based languages
– Kifer, Lausen, et al.
- 1995
|
|
310
|
Object identity as a query language primitive
– Abiteboul, Kanellakis
- 1989
|
|
261
|
Logic programming and databases
– Ceri, Gottlob, et al.
- 1990
|
|
255
|
Magic sets and other strange ways to implement logic programs
– Bancilhon, Maier, et al.
- 1986
|
|
206
|
On the power of magic
– Beeri, Ramakrishnan
- 1987
|
|
190
|
Data Abstraction: Aggregation and Generalization
– Smith, Smith
- 1977
|
|
96
|
A logic for objects
– Maier
- 1986
|
|
84
|
The LDL system prototype
– Chimenti
- 1990
|
|
60
|
The Aditi deductive database system
– Vaghani, Ramamohanarao, et al.
- 1994
|
|
56
|
Integrating object-oriented data modeling with a rule-based programming paradigm
– Cacace, Ceri, et al.
- 1990
|
|
46
|
A logic for programming with complex objects
– Kifer, Wu
- 1993
|
|
41
|
ROL: A Deductive Object Base Language
– Liu
- 1996
|
|
38
|
Coral++: Adding object-orientation to a logic database language
– Srivastava, Ramakrishnan, et al.
- 1993
|
|
37
|
Design and Implementation of the Glue-Nail Database System
– Derr, Morishita
- 1993
|
|
33
|
LLO: A deductive language with methods and method inheritance
– Lou, Ozsoyoglu
- 1991
|
|
33
|
Design overview of the aditi deductive database system
– Vaghani, Ramamohanarao, et al.
- 1991
|
|
31
|
On the declarative and procedural semantics of deductive object-oriented systems
– Dobbie, Topor
- 1995
|
|
25
|
Design and implementation of ROCK & ROLL: A deductive objectoriented database system. Information Systems
– Barja, Fernandes, et al.
- 1995
|
|
25
|
Towards a Real Horn Clause Language
– Krishnamurthy, Naqvi
- 1988
|
|
24
|
P.: The CORAL deductive system
– Ramakrishnan, Srivastava, et al.
- 1994
|
|
21
|
A deductive and typed object-oriented language
– Bal, Balsters
- 1993
|
|
13
|
LogicBase: A deductive database system prototype
– Han, Liu, et al.
- 1994
|
|
12
|
The Glue-Nail Deductive Database System: Design, Implementation, and Evaluation
– Derr, Morishita, et al.
- 1994
|
|
11
|
An Overview of Rule-based Object Language
– Liu
- 1998
|
|
2
|
The ROL deductive object database system
– Liu, Guo, et al.
- 1997
|
|
1
|
The ROL system user manual, release 2.2
– Liu, Guo, et al.
- 1997
|
