A. Aiken, J. M. Hellerstein, and J. Widom, Static analysis techniques for predicting the behavior of active database rules, ACM Transactions on Database Systems, vol.20, issue.1, pp.3-41, 1995.
DOI : 10.1145/202106.202107

E. Baralis, S. Ceri, and S. Paraboschi, Improved rule analysis by means of triggering and activation graphs, Second International Workshop, RIDS' 95, pp.165-181, 1995.
DOI : 10.1007/3-540-60365-4_126

E. Baralis and J. Widom, An Algebraic Approach to Rule Analysis in Expert Database Systems, 20 th Conf. on Very Large Data Bases, 1994.

M. [. Fabret, E. Régnier, and . Simon, An Adaptative Algorithm for Incremental Evaluation of Production Rules, Proc. International Conference on Very Large Databases, 1993.
URL : https://hal.archives-ouvertes.fr/inria-00074803

L. [. Fraternali and . Tanca, A structured approach for the definition of the semantics of active databases, ACM Transactions on Database Systems, vol.20, issue.4, 1995.
DOI : 10.1145/219035.219042

A. P. Karadimce and S. Urban, Conditional term rewriting as a formal basis for analysis of active database rules, Proceedings of IEEE International Workshop on Research Issues in Data Engineering: Active Databases Systems, 1994.
DOI : 10.1109/RIDE.1994.282841

D. [. Ross, S. Srivastava, and . Sudarshan, Materialized View Maintenance and Integrity Constraint Checking: Trading Space for Time, Proc. of the ACM SIGMOD International Conference, 1996.
DOI : 10.1145/233269.233361

A. [. Simon and . Kotz-dittrich, Promise and Realities of Active Database Systems, Proc. International Conference on Very Large Databases, 1995.

]. L. Van, A. Voort, and . Siebes, Termination and Confluence of Rule Execution, Proc. 2nd Int'l Conf. on Inflormation and Knowledge Management, 1993.

J. Widom and S. Ceri, Active Database Systems: Triggers and Rules for Advanced Database Processing, 1996.

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois, Campus scientifique, 615 rue du Jardin Botanique, pp.38031-38032

I. Unité-de-recherche, . Rocquencourt, . Domaine-de-voluceau, and . Rocquencourt, 78153 LE CHESNAY Cedex Unité de recherche INRIA Sophia-Antipolis, pp.78153-0249, 2004.