Integrity checking methods in deductive databases: a comparative evaluation