Checking functional consistency in deductive databases