Abstract-The paper proposes an extension of CFDS [1], referred to as extended Conditional Functional Dependencies (eCFDs). In contrast to CFDs, eCFDs specify patterns of semantically related values in terms of disjunction and inequality, and are capable of catching inconsistencies that arise in practice but cannot be detected by CFDs. The increase in expressive power does not incur extra complexity: we show that the satisfiability and implication analyses of eCFDs remain NPcomplete and CONP -complete, respectively, the same as their CFDS counterparts. In light of the intractability, we present an algorithm that approximates the maximum number of eCFDs that are satisfiable. In addition, we revise SQL techniques for detecting CFD violations, and show that violations of multiple eCFDs can be captured via a single pair of SQL queries. We also introduce an incremental SQL technique for detecting eCFD violations in response to database updates. We experimentally verify the effectiveness and efficiency of our SQL -based detection methods.
Bravo et al. define eCFD, an extension of CFDs, to specify patterns of semantically related values in terms of disjunction and inequality REF .
Increasing the Expressivity of Conditional Functional Dependencies without Extra Complexity
2008 IEEE 24th International Conference on Data Engineering
2008 IEEE 24th International Conference on Data Engineering
Computer Science