1. E. Baralis and J. Widom. An algebraic approach to static analysis of active database rules. In ACM Transactions on Database Systems, volume 25(3), pages 269–332, September 2000.
2. S. Ceri, P.Fraternali, S. Paraboschia, and L. Tanca. Automatic gerneration of production rules for integrity maintenance. In ACM Transactions on Database Systems, volume 19(3), pages 367–422, 1994.
3. E.W. Dijkstra and C.S. Scholten. Predicate calculus and program semantics. Springer-Verlag, Texts and Monographs in Computer Science, 1989.
4. M. Balaban, S. Jurk. Effect Preservation As A Means For Achieving Update Consistency. In 5th International Conf. on Flexible Query Answering Systems,Lecture Notes in Computer Science, 2002 (to appear).
5. M. Balaban, S. Jurk. Intentions of Operations — Characterization and Preservation. In 2nd International Workshop on Evolution and Change in Data Management,Lecture Notes in Computer Science, 2002 (to appear).