DMCA
Deriving Incremental Production Rules for Deductive Data (1994)
| Venue: | Information Systems |
| Citations: | 47 - 3 self |
BibTeX
@ARTICLE{Ceri94derivingincremental,
author = {Stefano Ceri and Jennifer Widom},
title = {Deriving Incremental Production Rules for Deductive Data},
journal = {Information Systems},
year = {1994},
volume = {19},
pages = {467--490}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We show that the production rule mechanism provided by active database systems can be used to quickly and easily implement the logic rule interface of deductive database systems. Deductive rules specify derived relations using Datalog with built-in predicates and stratified negation; the deductive rules are compiled automatically into production rules. We present a materialized approach, in which the derived relations are stored in the database and the production rules automatically and incrementally propagate base relation changes to the derived relations. We also present a non-materialized approach, in which the production rules compute the derived relations on demand. 1 Introduction A considerable amount of research has focused on adding rules to database systems. This work is divisible into two areas: deductive database systems and active database systems. In deductive database systems, logic programming style rules are used to provide a more powerful user interface than that prov...
Keyphrases
deductive data deductive database system production rule incremental production rule derived relation deductive rule active database system logic rule interface propagate base relation change stratified negation production rule mechanism materialized approach introduction considerable amount logic programming style rule non-materialized approach powerful user interface built-in predicate
