Integrity constraint checking in stratified databases
Journal of Logic Programming
A theorem-proving approach to database integrity
Foundations of deductive databases and logic programming
New Generation Computing
New Generation Computing
Constraint checking with partial information
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Consistent query answers in inconsistent databases
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Database Management Systems
Drawing Updates From Derivations
ICDT '90 Proceedings of the Third International Conference on Database Theory
Practical Applications of Triggers and Constraints: Success and Lingering Issues (10-Year Award)
VLDB '00 Proceedings of the 26th International Conference on Very Large Data Bases
Database Updates through Abduction
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
A Logical Framework for Querying and Repairing Inconsistent Databases
IEEE Transactions on Knowledge and Data Engineering
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
A three-valued semantics for querying and repairing inconsistent databases
Annals of Mathematics and Artificial Intelligence
Repair localization for query answering from inconsistent databases
ACM Transactions on Database Systems (TODS)
Repair checking in inconsistent databases: algorithms and complexity
Proceedings of the 12th International Conference on Database Theory
Active Integrity Constraints for Database Consistency Maintenance
IEEE Transactions on Knowledge and Data Engineering
Dialectic proof procedures for assumption-based, admissible argumentation
Artificial Intelligence
Modeling, Measuring and Monitoring the Quality of Information
ER '09 Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives
Toward a uniform cause-based approach to inconsistency-tolerant database semantics
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems: Part II
Inconsistency-Tolerant Integrity Checking
IEEE Transactions on Knowledge and Data Engineering
Consistent query answering: five easy pieces
ICDT'07 Proceedings of the 11th international conference on Database Theory
| Hi-index | 0.00 |
The consistency of databases can be supported by enforcing integrity constraints on the stored data. Constraints that are violated should be repaired by eliminating the causes of the violations. Traditionally, repairs are conceived to be total. However, it may be unfeasible to eliminate all violations. We show that it is possible to get by with partial repairs that tolerate extant inconsistencies. They may not eliminate all causes of integrity violations but preserve the consistent parts of the database. Remaining violations can be controlled by measuring inconsistency, and further reduced by inconsistency-tolerant integrity checking.