Consistency Verification of Deductive Database Schemes