DMCA
Conditional functional dependencies for capturing data inconsistencies
| Venue: | TODS |
| Citations: | 72 - 14 self |
BibTeX
@ARTICLE{Fan_conditionalfunctional,
author = {Wenfei Fan and Floris Geerts and Xibei Jia},
title = {Conditional functional dependencies for capturing data inconsistencies},
journal = {TODS},
year = {},
pages = {2008}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We propose a class of integrity constraints for relational databases, referred to as conditional functional dependencies (cfds), and study their applications in data cleaning. In contrast to traditional functional dependencies (fds) that were developed mainly for schema design, cfds aim at capturing the consistency of data by enforcing bindings of semantically related values. For static analysis of cfds we investigate the consistency problem, which is to determine whether or not there exists a nonempty database satisfying a given set of cfds, and the implication problem, which is to decide whether or not a set of cfds entails another cfd. We show that while any set of transitional fds is trivially consistent, the consistency problem is np-complete for cfds, but it is in ptime when either the database schema is predefined or no attributes involved in the cfds have a finite domain. For the implication analysis of cfds, we provide an inference system analogous to Armstrong’s axioms for fds, and show that the implication problem is conp-complete for cfds in contrast to the linear-time complexity for their traditional counterpart. We also present an algorithm for computing a minimal cover of a set of cfds. Since cfds allow data bindings, in some cases cfds may be physically large, complicating detection of constraint violations. We develop techniques for detecting cfd violations in sql as well as novel techniques for checking multiple
Keyphrases
conditional functional dependency data inconsistency implication problem consistency problem schema design database schema traditional counterpart data binding transitional fds inference system novel technique implication analysis integrity constraint constraint violation relational database nonempty database cfd violation cfds aim minimal cover armstrong axiom traditional functional dependency static analysis finite domain linear-time complexity
