Incorporating cardinality constraints and synonym rules into conditional functional dependencies

Wenguang Chen,Wenfei Fan,Shuai Ma
DOI: https://doi.org/10.1016/j.ipl.2009.03.021
IF: 0.851
2009-01-01
Information Processing Letters
Abstract:We propose an extension of conditional functional dependencies (CFDs), denoted by CFDcs, 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 CFDcs remain NP-complete and coNP-complete, respectively, the same as their counterparts for CFDs. We also identify tractable special cases.
What problem does this paper attempt to address?