Reftections on sorne fundamental issues of rule-based incremental update propagation
Document typeConference report
PublisherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Rights accessOpen Access
This paper addresses two fundamental aspects of update propagation in deductive databases: 1. How to incrementally compute the sets of updates induced by a deductive rule from the changes of the data sets on which the rule depends? and 2. How to express such incremental definitions by meaos of deductive rules defining induced updates? Both problems have already been addressed by many authors in various contexts. The motivation for coming up with yet another such paper comes from the impression that sorne of the very basic assumptions and justifications of the approaches proposed in literature have not been understood well enough. In this paper we therefore investigate the basic algebraic laws of incremental change computation as well as their direct encoding in form of deductive rules from a new perspective. In addition we address the problems arising when the entire process of update propagation is driven by a (semi-)naive fixpoint procedure applied to the rules encoding the incremental definitions of induced updates.
CitationManthey, R. Reftections on sorne fundamental issues of rule-based incremental update propagation. A: "Proceedings of the 5th International Workshop on the Deductive Approach to Information Systems and Databases". Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1994, p. 255-276.