Increasing the expressivity of conditional functional dependencies without extra complexity

  • Bravo L
  • Fan W
  • Geerts F
 et al. 
  • 15

    Readers

    Mendeley users who have this article in their library.
  • 35

    Citations

    Citations of this article.

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 NP - complete 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.

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document

Authors

  • Loreto Bravo

  • Wenfei Fan

  • Floris Geerts

  • Shuai Ma

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free