Abstract: This paper develops a technique for detecting violations of conditional functional dependencies in distributed database systems. For a given database that has a set of functional ...