Elena Baralis Jennifer Widom An algebraic approach to static analysis of active database rules. 269-332 2000 25 ACM Trans. Database Syst. 3 http://doi.acm.org/10.1145/363951.363954 db/journals/tods/tods25.html#BaralisW00