Luciano Caroprese Sergio Greco Ester Zumpano Active Integrity Constraints for Database Consistency Maintenance. 1042-1058 2009 21 IEEE Trans. Knowl. Data Eng. 7 http://dx.doi.org/10.1109/TKDE.2008.226 db/journals/tkde/tkde21.html#CaropreseGZ09