Chasing constrained tuple-generating dependencies
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Theoretical Computer Science - Special issue: principles and practice of constraint programming
The complexity of querying indefinite data about linearly ordered domains
Journal of Computer and System Sciences - Special issue: dedicated to the memory of Paris Kanellakis
Consistent query answers in inconsistent databases
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Constraint-generating dependencies
Journal of Computer and System Sciences
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Conditional Dependencies for Horizontal Decompositions
Proceedings of the 10th Colloquium on Automata, Languages and Programming
A cost-based model and effective heuristic for repairing constraints by value modification
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Extending dependencies with conditions
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Improving data quality: consistency and accuracy
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Conditional functional dependencies for capturing data inconsistencies
ACM Transactions on Database Systems (TODS)
On generating near-optimal tableaux for conditional functional dependencies
Proceedings of the VLDB Endowment
Discovering data quality rules
Proceedings of the VLDB Endowment
Incorporating cardinality constraints and synonym rules into conditional functional dependencies
Information Processing Letters
Increasing the Expressivity of Conditional Functional Dependencies without Extra Complexity
ICDE '08 Proceedings of the 2008 IEEE 24th International Conference on Data Engineering
Discovering Conditional Functional Dependencies
ICDE '09 Proceedings of the 2009 IEEE International Conference on Data Engineering
Minimal-change integrity maintenance using tuple deletions
Information and Computation
Consistent query answering: five easy pieces
ICDT'07 Proceedings of the 11th international conference on Database Theory
Consistent query answers on numerical databases under aggregate constraints
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
Towards certain fixes with editing rules and master data
The VLDB Journal — The International Journal on Very Large Data Bases
Discovering conditional inclusion dependencies
Proceedings of the 21st ACM international conference on Information and knowledge management
Extending inclusion dependencies with conditions
Theoretical Computer Science
Hi-index | 0.01 |
This paper proposes a natural extension of conditional functional dependencies (cfd s [14]) and conditional inclusion dependencies (cind s [8]), denoted by cfd p s and cind p s, respectively, by specifying patterns of data values with ***, and *** predicates. As data quality rules, cfd p s and cind p s are able to capture errors that commonly arise in practice but cannot be detected by cfd s and cind s. We establish two sets of results for central technical problems associated with cfd p s and cind p s. (a) One concerns the satisfiability and implication problems for cfd p s and cind p s, taken separately or together. These are important for, e.g., deciding whether data quality rules are dirty themselves, and for removing redundant rules. We show that despite the increased expressive power, the static analyses of cfd p s and cind p s retain the same complexity as their cfd s and cind s counterparts. (b) The other concerns validation of cfd p s and cind p s. We show that given a set $\it \Sigma$ of cfd p s and cind p s on a database D , a set of sql queries can be automatically generated that, when evaluated against D , return all tuples in D that violate some dependencies in $\it \Sigma$. This provides commercial dbms with an immediate capability to detect errors based on cfd p s and cind p s.