Ceri, S. and Widom, J. (1994) Deriving Incremental Production Rules for Deductive Data. Technical Report. Stanford InfoLab. (Publication Note: Information Systems, v. 19 no.6, September 1994)
BibTeX | DublinCore | EndNote | HTML |
![]()
| PDF 292Kb |
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.
Item Type: | Techreport (Technical Report) | |
---|---|---|
Uncontrolled Keywords: | active database, deductive database, Starburst | |
Subjects: | Computer Science | |
Projects: | Miscellaneous | |
Related URLs: | Project Homepage | http://infolab.stanford.edu/ |
ID Code: | 56 | |
Deposited By: | Import Account | |
Deposited On: | 25 Feb 2000 16:00 | |
Last Modified: | 14 Jan 2009 16:32 |
Download statistics
Repository Staff Only: item control page