A Framework for Checking Integrity Constraints in a Distributed Database | IEEE Conference Publication | IEEE Xplore