Sciweavers

VLDB
1992
ACM

A Method for Change Computation in Deductive Databases

13 years 7 months ago
A Method for Change Computation in Deductive Databases
Change computation is an essential component in several capabilities of a deductive database,such as integrity constraints checking, materialized view maintenanceandcondition monitoring. In this paper,we presentageneralmethodfor changecomputation, which is basedon theuseof transition andinternal eventsrules. Theserules explicitly define the insertions,deletionsand modifications induced by a databaseupdate. Standard SLDNF resolution can be used to compute the induced changes,but otherprocedurescould beusedaswell. Our methodgeneralizesandextendsprevious work on change computation methods, and in some cases computes changesin amoreefficient way.
Toni Urpí, Antoni Olivé
Added 11 Aug 2010
Updated 11 Aug 2010
Type Conference
Year 1992
Where VLDB
Authors Toni Urpí, Antoni Olivé
Comments (0)