Analyzing Repetitive Evaluations of Active Rules Within a Transaction - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1996

Analyzing Repetitive Evaluations of Active Rules Within a Transaction


An active database system automatically triggers rules in response to certain events occuring. Events are issued by transactions or action parts of rules. Repeated executions of rules can be caused by the structure of the initial triggering transaction program and by the structure and execution semantics of rules. Repeated calculations of rules may incur costly redundant computations in rule conditions or actions. The central contribution of this paper is to propose technics for analyzing the behaviour of a transaction and a set of rules triggered by this transaction in order to derive: (i) if a given rule is processed more than once, and (ii) a fine indication of the database changes that may occur between two consecutive executions of the rule. Knowing these changes, it is possible to use existing algorithms that compute useful intermediate expressions in a rule that can be cached and incrementally maintained in order to avoid redundant computations. A notable property of our analysis technics is that they are parametrized by a few essential semantics parameters that define the execution semantics of an active rule language. Thus, our analysis apply to a large class of existing active rule systems.


Other [cs.OH]
Fichier principal
Vignette du fichier
RR-2816.pdf (208.95 Ko) Télécharger le fichier

Dates and versions

inria-00073876 , version 1 (24-05-2006)


  • HAL Id : inria-00073876 , version 1


Françoise Fabret, François Llirbat, Eric Simon. Analyzing Repetitive Evaluations of Active Rules Within a Transaction. [Research Report] RR-2816, INRIA. 1996. ⟨inria-00073876⟩
99 View
32 Download


Gmail Facebook Twitter LinkedIn More