Inconsistency-Tolerant Integrity Checking Based on Inconsistency Metrics

[EN] 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.Partially supported by FEDER and the Spanish grants TIN2009-14460-C03 and TIN2010-17139Decker, H. (2011). Inconsistency-Tolerant Integrity Checking Based on Inconsistency Metrics. Lecture Notes in Computer Science. 6882:548-558. https://doi.org/10.1007/978-3-642-23863-5_565485586882Afrati, F., Kolaitis, P.: Repair checking in inconsistent databases: algorithms and complexity. In: Proc. 12th ICDT, pp. 31–41. ACM Press, New York (2009)Baltopoulos, I., Borgstroem, J., Gordon, A.: Maintaining Database Integrity with Refinement Types. University of Cambridge Whitepaper (2010)Benedikt, M., Bruns, G.: On Guard: Producing Run-Time Checks from Integrity Constraints. In: Rattray, C., Maharaj, S., Shankland, C. (eds.) AMAST 2004. LNCS, vol. 3116, pp. 27–41. Springer, Heidelberg (2004)Christiansen, H., Martinenghi, D.: On simplification of database integrity constraints. Fundam. Inform. 71(4), 371–417 (2006)Decker, H.: Data Quality Maintenance by Integrity-preserving Repairs that Tolerate Inconsistency. To appear in Proc. 11th QSIC. IEEE CSP, Los Alamitos (July 2011)Decker, H.: Answers that Have Integrity. Presented at the ICALP Workshop SDKB 2010, to appear in Post-Workshop, Proc. of SDKB. LNCS. Springer, Heidelberg (2011)Decker, H.: Toward a Uniform Cause-based Approach to Inconsistency-tolerant Database Semantics. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2010. LNCS, vol. 6427, pp. 983–998. Springer, Heidelberg (2010)Decker, H., Martinenghi, D.: Inconsistency-tolerant Integrity Checking. IEEE TKDE 23(2), 218–234 (2011)Decker, H., Martinenghi, D.: Modeling, Measuring and Monitoring the Quality of Information. In: Heuser, C.A., Pernul, G. (eds.) ER 2009. LNCS, vol. 5833, pp. 212–221. Springer, Heidelberg (2009)Decker, H., Martinenghi, D.: Classifying integrity checking methods with regard to inconsistency tolerance. In: Proc. 10th PPDP, pp. 195–204. ACM Press, New York (2008)Grant, J., Hunter, A.: Measuring inconsistency in knowledgebases. J. Intelligent Information Systems 27(2), 159–184 (2006)Gupta, A., Sagiv, Y., Ullman, J., Widom, J.: Constraint checking with partial information. In: Proc. 13th PODS, pp. 45–55. ACM Press, New York (1994)Leuschel, M., de Schreye, D.: Creating specialised integrity checks through partial evaluation of meta-interpreters. Journal of Logic Programming 36(2), 149–193 (1998)Lloyd, J.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)Nicolas, J.M.: Logic for improving integrity checking in relational data bases. Acta Informatica 18, 227–253 (1982)Ramakrishnan, R., Gehrke, J.: Database Management Systems. McGraw-Hill, New York (2003)Ross, K., Srivastava, D., Sudarshan, S.: Materialized View Maintenance and Integrity Constraint Checking: Trading Space for Time. In: Proc. SIGMOD 1996, pp. 447–458. ACM Press, New York (1996)Rotaru, O., Petrescu, M.: A Database Integrity Pattern Language. Leonardo Journal of Sciences 5, 46–62 (2004)Sadri, F., Kowalski, R.: A theorem-proving approach to database integrity. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 313–362. Morgan Kaufmann, San Francisco (1988)Zhu, L.: Enforcement of Integrity Constraints in Deductive Databases. PhD Thesis at Simon Fraser University (1992