Incorporating cardinality constraints and synonym rules into conditional functional dependencies

  • Authors:

  • Wenguang Chen;Wenfei Fan;Shuai Ma

  • Affiliations:

  • Peking University, China;University of Edinburgh, UK and Bell Laboratories, USA;University of Edinburgh, UK

  • Venue:
  • Information Processing Letters
  • Year:
  • 2009

Quantified Score

Hi-index 0.89

Visualization

Abstract

We propose an extension of conditional functional dependencies (CFDs), denoted by CFD^cs, to express cardinality constraints, domain-specific conventions, and patterns of semantically related constants in a uniform constraint formalism. We show that despite the increased expressive power, the satisfiability and implication problems for CFD^cs remain NP-complete and coNP-complete, respectively, the same as their counterparts for CFDs. We also identify tractable special cases.