- -

Inconsistency-Tolerant Integrity Checking Based on Inconsistency Metrics

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Inconsistency-Tolerant Integrity Checking Based on Inconsistency Metrics

Show full item record

Decker, H. (2011). Inconsistency-Tolerant Integrity Checking Based on Inconsistency Metrics. Lecture Notes in Computer Science. 6882:548-558. doi:10.1007/978-3-642-23863-5_56

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/77674

Files in this item

Item Metadata

Title: Inconsistency-Tolerant Integrity Checking Based on Inconsistency Metrics
Author: Decker, Hendrik
UPV Unit: Universitat Politècnica de València. Instituto Universitario Mixto Tecnológico de Informática - Institut Universitari Mixt Tecnològic d'Informàtica
Issued date:
Abstract:
[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 ...[+]
Copyrigths: Cerrado
Source:
Lecture Notes in Computer Science. (issn: 0302-9743 )
DOI: 10.1007/978-3-642-23863-5_56
Publisher:
Springer Verlag (Germany)
Publisher version: http://dx.doi.org/10.1007/978-3-642-23863-5_56
Project ID:
MEC/TIN2009-14460-C03
MEC/TIN2010-17139
Thanks:
Partially supported by FEDER and the Spanish grants TIN2009-14460-C03 and TIN2010-17139
Type: Artículo

References

Afrati, 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) [+]
Afrati, 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)

[-]

This item appears in the following Collection(s)

Show full item record