Verification of Knowledge Bases based on Containment Checking
a proof procedure for data dependencies .