Efficient Integrity Checking for Databases with Recursive Views.

Davide Martinenghi, Henning Christiansen

Browse the full ADBIS paper archive.