This position paper considers several existing relational database rule languages with a focus on exploring the fundamental differences between deductive and active databases. We find that deductive and active databases do not form two discernible classes, but rather they delineate two ends of a spectrum of database rule languages. We claim that this spectrum also corresponds to a notion of abstraction level, with deductive rule languages at a higher level and active rule languages at a lower level. 1 Introduction Research on incorporating rule processing into database systems historically has been divided into two distinct areas: deductive databases and active databases. In deductive databases, logic programming style rules are used to pr...
. This paper reviews research on the formal specification of active behaviour, indicating both what ...
This paper illustrates a prototype system, called GPRS, supporting the Generalized Production Rules ...
Database Logic was proposed in the late 1970's as a generalization of first-order logic in order to ...
The notion of a deductive database has emerged during the 1970s in order to describe database system...
This paper presents an active rule language for the ROCK & ROLL deductive object-oriented databa...
. This paper presents an active rule language for the ROCK & ROLL deductive object-oriented data...
Projet SABREDeductive databases provide a formal framework to study rule-based query languages that ...
Object-oriented database systems provide expressive power and the potential for reuse, extensibility...
This paper is concerned with the problem of combining deductive and object-oriented features to prod...
The author will not pretend to be unbiased in the matter of comparing the deductive and object-orien...
Integrating a production rules facility into a database system provides a uniform mechanism for a nu...
Deductive database technology represents an important step towards the goal of developing highly-dec...
Abstract. Logic and databases have gone a long way together since the advent of relational databases...
Object-oriented database system supports the powerful concepts of data abstraction and complex data ...
This paper presents an approach to the development of a deductive object-oriented database system, d...
. This paper reviews research on the formal specification of active behaviour, indicating both what ...
This paper illustrates a prototype system, called GPRS, supporting the Generalized Production Rules ...
Database Logic was proposed in the late 1970's as a generalization of first-order logic in order to ...
The notion of a deductive database has emerged during the 1970s in order to describe database system...
This paper presents an active rule language for the ROCK & ROLL deductive object-oriented databa...
. This paper presents an active rule language for the ROCK & ROLL deductive object-oriented data...
Projet SABREDeductive databases provide a formal framework to study rule-based query languages that ...
Object-oriented database systems provide expressive power and the potential for reuse, extensibility...
This paper is concerned with the problem of combining deductive and object-oriented features to prod...
The author will not pretend to be unbiased in the matter of comparing the deductive and object-orien...
Integrating a production rules facility into a database system provides a uniform mechanism for a nu...
Deductive database technology represents an important step towards the goal of developing highly-dec...
Abstract. Logic and databases have gone a long way together since the advent of relational databases...
Object-oriented database system supports the powerful concepts of data abstraction and complex data ...
This paper presents an approach to the development of a deductive object-oriented database system, d...
. This paper reviews research on the formal specification of active behaviour, indicating both what ...
This paper illustrates a prototype system, called GPRS, supporting the Generalized Production Rules ...
Database Logic was proposed in the late 1970's as a generalization of first-order logic in order to ...