A Proof Procedure for Data Dependencies
Journal of the ACM (JACM)
Journal of Computer and System Sciences
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
Constraint-generating dependencies
Journal of Computer and System Sciences
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Answer sets for consistent query answering in inconsistent databases
Theory and Practice of Logic Programming
Schema mappings, data exchange, and metadata management
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
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
Clio grows up: from research prototype to industrial tool
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Minimal-change integrity maintenance using tuple deletions
Information and Computation
Database repairing using updates
ACM Transactions on Database Systems (TODS)
Query reformulation with constraints
ACM SIGMOD Record
Consistent query answering in databases
ACM SIGMOD Record
Putting context into schema matching
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
ICDT'07 Proceedings of the 11th international conference on Database Theory
Conditional functional dependencies for capturing data inconsistencies
ACM Transactions on Database Systems (TODS)
Dependencies revisited for improving data quality
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On generating near-optimal tableaux for conditional functional dependencies
Proceedings of the VLDB Endowment
Propagating functional dependencies with conditions
Proceedings of the VLDB Endowment
Discovering data quality rules
Proceedings of the VLDB Endowment
A revival of integrity constraints for data cleaning
Proceedings of the VLDB Endowment
Relative information completeness
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Estimating the confidence of conditional functional dependencies
Proceedings of the 2009 ACM SIGMOD International Conference on Management of data
Proceedings of the 2009 ACM SIGMOD International Conference on Management of data
Conditional Dependencies: A Principled Approach to Improving Data Quality
BNCOD 26 Proceedings of the 26th British National Conference on Databases: Dataspace: The Final Frontier
Analyses and Validation of Conditional Dependencies with Built-in Predicates
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
Proceedings of the VLDB Endowment
Relative information completeness
ACM Transactions on Database Systems (TODS)
Towards certain fixes with editing rules and master data
Proceedings of the VLDB Endowment
Data Auditor: exploring data quality and semantics using pattern tableaux
Proceedings of the VLDB Endowment
Proceedings of the VLDB Endowment
Polymorphic queries for P2P systems
Information Systems
Differential dependencies: Reasoning and discovery
ACM Transactions on Database Systems (TODS)
Formalization and reasoning about spatial semantic integrity constraints
Data & Knowledge Engineering
Towards certain fixes with editing rules and master data
The VLDB Journal — The International Journal on Very Large Data Bases
Using functional dependencies for reducing the size of a data cube
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Improving the Data Quality of Drug Databases using Conditional Dependencies and Ontologies
Journal of Data and Information Quality (JDIQ)
Discovering conditional inclusion dependencies
Proceedings of the 21st ACM international conference on Information and knowledge management
A sound and complete chase procedure for constrained tuple-generating dependencies
Journal of Intelligent Information Systems
Meta-modeling of inclusion dependency constraints
Proceedings of the 6th Balkan Conference in Informatics
Editorial: Efficient discovery of similarity constraints for matching dependencies
Data & Knowledge Engineering
Extending inclusion dependencies with conditions
Theoretical Computer Science
ACM SIGMOD Record
Hi-index | 0.00 |
This paper introduces a class of conditional inclusion dependencies (CINDs), which extends traditional inclusion dependencies (INDs) by enforcing bindings of semantically related data values. We show that CINDs are useful not only in data cleaning, but are also in contextual schema matching [7]. To make effective use of CINDs in practice, it is often necessary to reason about them. The most important static analysis issue concerns consistency, to determine whether or not a given set of CINDs has conflicts. Another issue concerns implication, i.e., deciding whether a set of CINDs entails another CIND. We give a full treatment of the static analyses of CINDs, and show that CINDs retain most nice properties of traditional INDs: (a) CINDs are always consistent; (b) CINDs are finitely axiomatizable, i.e., there exists a sound and complete inference system for implication of CINDs; and (c) the implication problem for CINDs has the same complexity as its traditional counterpart, namely, PSPACE-complete, in the absence of attributes with a finite domain; but it is EXPTIME-complete in the general setting. In addition, we investigate the interaction between CINDs and conditional functional dependencies (CFDs), an extension of functional dependencies proposed in [9]. We show that the consistency problem for the combination of CINDs and CFDs becomes undecidable. In light of the undecidability, we provide heuristic algorithms for the consistency analysis of CFDs and CINDs, and experimentally verify the effectiveness and efficiency of our algorithms.