Discovering Denial Constraints
Integrity Constraints (ICs) provide a valuable tool for enforcing correct application semantics. However, designing ICs requires experts and time. Proposals for automatic discovery have been made for some formalisms, such as functional dependencies and their extension conditional functional dependencies. Unfortunately, these dependencies cannot express many common business rules. For example, an American citizen cannot have lower salary and higher tax rate than another citizen in the same state. In this paper, the authors tackle the challenges of discovering dependencies in a more expressive integrity constraint language, namely Denial Constraints (DCs).