Deductive databases result from the integration of relational database and logic
programming techniques. However, significant problems remain inherent in this simple …

We present an indexing technique providing support for queries involving complex, nested
objects and inheritance hierarchies. This technique is compared with two techniques …

We show how classical datalog semantics can be used directly and very simply to provide
semantics to a syntactic extension of datalog with methods, classes, inheritance …

In this paper, we study the problem of how to maximize the throughput of a multimedia
system, given a fixed amount of buffer space and disk bandwidth both pm-determined at …

This paper presents an approach to the development of a practical deductive objectoriented
database (DOOD) system baaed upon the integration of a logic query language with an …

This paper presents an approach to the development of a deductive object-oriented
database system, describing the key design decisions and their consequences for …

This paper presents a novel deductive object-oriented database language, called ROL
(Rule-based Object Language), which is being developed at the University of Regina. ROL …

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 …

We present an elegant technique to reduce inher-itance and encapsulation to pure
deduction. The reduction technique presented in this paper makes it possible to model …

This paper presents an overview of a novel strongly typed deductive object database
language, called Rule-based Object Language, which is being developed at the University …