Davide Martinenghi, Henning Christiansen. Efficient Integrity Checking for Databases with Recursive Views. In Johann Eder, Hele-Mai Haav, Ahto Kalja, Jaan Penjam, editors, Advances in Databases and Information Systems, 9th East European Conference, ADBIS 2005, Tallinn, Estonia, September 12-15, 2005, Proceedings. Volume 3631 of Lecture Notes in Computer Science, pages 109-124, Springer, 2005. [doi]
Abstract is missing.