{Specification, Verification and Explanation of Violation for Data Aware Compliance Rules}