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.

• Type: Conference
• Year: 1992
• Where: VLDB
• Authors: Toni Urpí, Antoni Olivé
• Keywords: Change Computation, Change Computation Methods, Database, Transition Andinternal Eventsrules, VLDB 1992