Improving Integrity Constraint Checking in Deductive Databases