Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity

To maintain integrity, constraint violations should be prevented or repaired. However, it may not be feasible to avoid inconsistency, or to repair all violations at once. Based on an abstract concept of violation measures, updates and repairs can be checked for keeping inconsistency bounded, such that integrity violations are guaranteed to never get out of control. This measure-based approach goes beyond conventional methods that are not meant to be applied in the presence of inconsistency. It also generalizes recently introduced concepts of inconsistency-tolerant integrity maintenance.

[1]  Günther Pernul,et al.  Advances in Conceptual Modeling - Challenging Perspectives, ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings , 2009, ER Workshops.

[2]  John W. Lloyd,et al.  Updating knowledge bases , 1990, New Generation Computing.

[3]  Lakhmi C. Jain,et al.  Knowledge-Based Intelligent Information and Engineering Systems , 2004, Lecture Notes in Computer Science.

[4]  Zongmin Ma,et al.  Intelligent Databases: Technologies and Applications , 2006 .

[5]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .

[6]  Jan Chomicki,et al.  Consistent Query Answering: Five Easy Pieces , 2007, ICDT.

[7]  Serge Abiteboul,et al.  A transaction-based approach to relational database specification , 1989, JACM.

[8]  Keith Lehrer.  Relevant deduction and minimally inconsistent sets , 1973 .

[9]  Jennifer Widom,et al.  Constraint checking with partial information , 1994, PODS.

[10]  John W. Dawson,et al.  The compactness of first-order logic:from gödel to lindström , 1993 .

[11]  Jean-Marie Nicolas.  Logic for improving integrity checking in relational data bases⋆ , 2004, Acta Informatica.

[12]  Torsten Schaub,et al.  Inconsistency Tolerance , 2005, Lecture Notes in Computer Science.

[13]  Robert A. Kowalski,et al.  A Theorem-Proving Approach to Database Integrity , 1988, Foundations of Deductive Databases and Logic Programming..

[14]  Hendrik Decker.  The Range Form of Databases and Queries or: How to Avoid Floundering , 1989, ÖGAI.

[15]  John W. Lloyd,et al.  Updating knowledge bases II , 1991, New Generation Computing.

[16]  Thomas Eiter,et al.  Repair localization for query answering from inconsistent databases , 2008, TODS.

[17]  Anthony Hunter,et al.  Quasi-classical Logic: Non-trivializable classical reasoning from incosistent information , 1995, ECSQARU.

[18]  Heinz Bauer,et al.  Maß- und Integrationstheorie , 1992 .

[19]  Hendrik Decker.  Consistent Explanations of Answers to Queries in Inconsistent Knowledge Bases , 2011, ExaCt.

[20]  Sergio Greco,et al.  A three-valued semantics for querying and repairing inconsistent databases , 2007, Annals of Mathematics and Artificial Intelligence.

[21]  Hendrik Decker,et al.  Inconsistency-Tolerant Integrity Checking , 2011, IEEE Transactions on Knowledge and Data Engineering.

[22]  Andrew C. Jones,et al.  Adapting integrity enforcement techniques for data reconciliation , 2001, Inf. Syst..

[23]  Maurice Bruynooghe,et al.  Distance semantics for database repair , 2007, Annals of Mathematics and Artificial Intelligence.

[24]  Giuseppe Berio,et al.  Enterprise Integration, Interoperability and Networking, Proceedings of the 5th IFAC/IFIP EI2N'2010 workshop, Lecture Notes in Computer Sciences, On the Move to Meaningful Internet Systems: OTM 2010: International Workshops, Hersonissou, Crete, Greece , 2010 .

[25]  Anthony Hunter,et al.  Approaches to Measuring Inconsistent Information , 2005, Inconsistency Tolerance.

[26]  Hendrik Decker,et al.  Answers that Have Integrity , 2010, SDKB.

[27]  V. S. Subrahmanian,et al.  How Dirty Is Your Relational Database? An Axiomatic Approach , 2007, ECSQARU.

[28]  Henning Christiansen,et al.  Transaction Management with Integrity Checking , 2005, DEXA.

[29]  Phan Minh Dung,et al.  Dialectic proof procedures for assumption-based, admissible argumentation , 2006, Artif. Intell..

[30]  John Mylopoulos,et al.  Accomodating Integrity Constraints During Database Design , 1996, EDBT.

[31]  Liz Sonenberg,et al.  Integrity Constraint Checking in Stratified Databases , 1987, J. Log. Program..

[32]  Helmut Seidl,et al.  Exact XML Type Checking in Polynomial Time , 2007, ICDT.

[33]  Georges Gardarin,et al.  Advances in Database Technology — EDBT '96 , 1996, Lecture Notes in Computer Science.

[34]  Sin Yeung Lee,et al.  Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases , 1996, VLDB.

[35]  Anthony Hunter,et al.  On the measure of conflicts: Shapley Inconsistency Values , 2010, Artif. Intell..

[36]  Matthias Thimm,et al.  Measuring Inconsistency in Probabilistic Knowledge Bases , 2009, UAI.

[37]  Francesc D. Muñoz-Escoí,et al.  Revisiting and Improving a Result on Integrity Preservation by Concurrent Transactions , 2010, OTM Workshops.

[38]  Wenfei Fan,et al.  Keys with Upward Wildcards for XML , 2001, DEXA.

[39]  Antonis C. Kakas,et al.  The role of abduction in logic programming , 1998 .

[40]  Erhard Rahm,et al.  Data Cleaning: Problems and Current Approaches , 2000, IEEE Data Eng. Bull..

[41]  Moshe Y. Vardi.  On the integrity of databases with incomplete information , 1985, PODS.

[42]  Guilin Qi,et al.  Computing inconsistency measure based on paraconsistent semantics , 2011, J. Log. Comput..

[43]  Hendrik Decker,et al.  Modeling, Measuring and Monitoring the Quality of Information , 2009, ER Workshops.

[44]  Jef Wijsen,et al.  Database repairing using updates , 2005, TODS.

[45]  Hendrik Decker,et al.  Integrity Checking and Maintenance in Relational and Deductive Database and Beyond , 2007 .

[46]  Jan Chomicki,et al.  Consistent query answers in inconsistent databases , 1999, PODS '99.

[47]  Hendrik Decker.  Inconsistency-Tolerant Integrity Checking Based on Inconsistency Metrics , 2011, KES.

[48]  Anthony Hunter,et al.  Measuring Inconsistency through Minimal Inconsistent Sets , 2008, KR.

[49]  Hendrik Decker,et al.  Drawing Updates From Derivations , 1990, ICDT.

[50]  Sergio Greco,et al.  A Logical Framework for Querying and Repairing Inconsistent Databases , 2003, IEEE Trans. Knowl. Data Eng..

[51]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[52]  Jennifer Widom,et al.  Practical Applications of Triggers and Constraints: Successes and Lingering Issues , 2000 .

[53]  Henning Christiansen,et al.  On Simplification of Database Integrity Constraints , 2006, Fundam. Informaticae.

[54]  Rajeev Rastogi,et al.  A cost-based model and effective heuristic for repairing constraints by value modification , 2005, SIGMOD '05.

[55]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[56]  Hendrik Decker.  Causes of the Violation of Integrity Constraints for Supporting the Quality of Databases , 2011, ICCSA.

[57]  Jolita Ralyté,et al.  Service-Driven Information Systems Evolution: Handling Integrity Constraints Consistency , 2009, PoEM.

[58]  Phokion G. Kolaitis,et al.  Repair checking in inconsistent databases: algorithms and complexity , 2009, ICDT '09.

[59]  Jennifer Widom,et al.  Practical Applications of Triggers and Constraints: Success and Lingering Issues (10-Year Award) , 2000, VLDB.

[60]  Hendrik Decker.  Extending Inconsistency-Tolerant Integrity Checking by Semantic Query Optimization , 2008, DEXA.

[61]  Michael Clarke,et al.  Symbolic and Quantitative Approaches to Reasoning and Uncertainty , 1991, Lecture Notes in Computer Science.

[62]  Weiru Liu,et al.  A Syntax-based approach to measuring the degree of inconsistency for belief bases , 2011, Int. J. Approx. Reason..

[63]  Carlo Curino,et al.  Update Rewriting and Integrity Constraint Maintenance in a Schema Evolution Support System: PRISM++ , 2010, Proc. VLDB Endow..

[64]  John Grant,et al.  Logic-based approach to semantic query optimization , 1990, TODS.

[65]  Anthony Hunter,et al.  Measuring inconsistency in knowledge via quasi-classical models , 2002, AAAI/IAAI.

[66]  Eliezer L. Lozinskii,et al.  Resolving contradictions: A plausible semantics for inconsistent systems , 1994, Journal of Automated Reasoning.

[67]  Jack Minker.  Foundations of deductive databases and logic programming , 1988 .

[68]  John Grant,et al.  Measuring the Good and the Bad in Inconsistent Information , 2011, IJCAI.

[69]  Paolo Mancarella,et al.  Database Updates through Abduction , 1990, VLDB.

[70]  Hendrik Decker,et al.  Classifying integrity checking methods with regard to inconsistency tolerance , 2008, PPDP.

[71]  Hendrik Decker.  Partial Repairs That Tolerate Inconsistency , 2011, ADBIS.

[72]  David Taniar,et al.  Computational Science and Its Applications - ICCSA 2011 , 2011, Lecture Notes in Computer Science.