Integrity Constraints Checking In Deductive Databases.

Antoni Oliv

Browse the full VLDB paper archive.