Belief Revision for Deductive Databases