Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
A theorem-proving approach to database integrity
Foundations of deductive databases and logic programming
Constraint checking with partial information
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Materialized view maintenance and integrity constraint checking: trading space for time
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Database Management Systems
Measuring inconsistency in knowledgebases
Journal of Intelligent Information Systems
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Classifying integrity checking methods with regard to inconsistency tolerance
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Repair checking in inconsistent databases: algorithms and complexity
Proceedings of the 12th International Conference on Database Theory
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
SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
Data Quality Maintenance by Integrity-Preserving Repairs that Tolerate Inconsistency
QSIC '11 Proceedings of the 2011 11th International Conference on Quality Software
Managing uncertainty in databases and scaling it up to concurrent transactions
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
| Hi-index | 0.00 |
A large diversity of different approaches to integrity checking has been proposed in the literature. We present a generic approach to integrity checking that is based on inconsistency metrics. It subsumes many known approaches to integrity checking by a uniform abstraction. As opposed to traditional approaches to integrity checking, it permits the tolerance of extant (i.e., surviving) inconsistency. Inconsistency metrics have been widely studied in the literature, but, so far, their applicability to integrity checking has largely remained unaddressed.