Stanford InfoLab Publication Server

Deriving Incremental Production Rules for Deductive Data

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)




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
Related URLs:Project Homepage
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