Detecting Violations of Conditional Functional Dependencies in Distributed Database | IEEE Conference Publication | IEEE Xplore