Davide Martinenghi Henning Christiansen Efficient Integrity Checking for Databases with Recursive Views. 109-124 2005 conf/adbis/2005 ADBIS http://dx.doi.org/10.1007/11547686_9 db/conf/adbis/adbis2005.html#MartinenghiC05