Integrity Constraints Checking in Historical Deductive Databases