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
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
An Algebraic Approach to Rule Analysis in Expert Database Systems, 20 th Conf. on Very Large Data Bases, 1994. ,
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
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
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
Materialized View Maintenance and Integrity Constraint Checking: Trading Space for Time, Proc. of the ACM SIGMOD International Conference, 1996. ,
DOI : 10.1145/233269.233361
Promise and Realities of Active Database Systems, Proc. International Conference on Very Large Databases, 1995. ,
Termination and Confluence of Rule Execution, Proc. 2nd Int'l Conf. on Inflormation and Knowledge Management, 1993. ,
Active Database Systems: Triggers and Rules for Advanced Database Processing, 1996. ,
Technopôle de Nancy-Brabois, Campus scientifique, 615 rue du Jardin Botanique, pp.38031-38032 ,
78153 LE CHESNAY Cedex Unité de recherche INRIA Sophia-Antipolis, pp.78153-0249, 2004. ,