1. Aiken, A., Hellerstein, J., Widow, J.: Static analysis techniques for predicting the behavior of active database rules. ACM TODS 20(1), 3–41 (1995)
2. Lecture Notes in Computer Science;E. Baralis,1995
3. Baralis, E., Widow, J.: An algebraic approach to rule analysis in expert database systems. In: Proc. of VLDB 1994, pp. 475–486 (1994)
4. Chun, M., Bien, Z.: Fuzzy petri net representation and reasoning methods for rulebased decision making systems. IECE Trans. Fundamentals E76(A/6) (1993)
5. Ceri, S., Widow, J.: Deriving production rules for constraint maintenance. In: Proc. of VLDB 1990, pp. 566–577 (1990)