A Derivation Path Recording Method for Integrity Checking in Deductive Databases