Skip to main content
SpringerLink
Log in

Inconsistency-Tolerant Integrity Checking Based on Inconsistency Metrics

  • Conference paper
Knowlege-Based and Intelligent Information and Engineering Systems (KES 2011)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6882))

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Afrati, F., Kolaitis, P.: Repair checking in inconsistent databases: algorithms and complexity. In: Proc. 12th ICDT, pp. 31–41. ACM Press, New York (2009)

    Google Scholar 

  2. Baltopoulos, I., Borgstroem, J., Gordon, A.: Maintaining Database Integrity with Refinement Types. University of Cambridge Whitepaper (2010)

    Google Scholar 

  3. 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)

    Chapter  Google Scholar 

  4. Christiansen, H., Martinenghi, D.: On simplification of database integrity constraints. Fundam. Inform. 71(4), 371–417 (2006)

    MathSciNet  MATH  Google Scholar 

  5. Decker, H.: Data Quality Maintenance by Integrity-preserving Repairs that Tolerate Inconsistency. To appear in Proc. 11th QSIC. IEEE CSP, Los Alamitos (July 2011)

    Google Scholar 

  6. 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)

    Google Scholar 

  7. 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)

    Chapter  Google Scholar 

  8. Decker, H., Martinenghi, D.: Inconsistency-tolerant Integrity Checking. IEEE TKDE 23(2), 218–234 (2011)

    Google Scholar 

  9. 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)

    Chapter  Google Scholar 

  10. 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)

    Google Scholar 

  11. Grant, J., Hunter, A.: Measuring inconsistency in knowledgebases. J. Intelligent Information Systems 27(2), 159–184 (2006)

    Article  Google Scholar 

  12. 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)

    Google Scholar 

  13. Leuschel, M., de Schreye, D.: Creating specialised integrity checks through partial evaluation of meta-interpreters. Journal of Logic Programming 36(2), 149–193 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  14. Lloyd, J.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)

    Book  MATH  Google Scholar 

  15. Nicolas, J.M.: Logic for improving integrity checking in relational data bases. Acta Informatica 18, 227–253 (1982)

    Article  MathSciNet  MATH  Google Scholar 

  16. Ramakrishnan, R., Gehrke, J.: Database Management Systems. McGraw-Hill, New York (2003)

    MATH  Google Scholar 

  17. 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)

    Google Scholar 

  18. Rotaru, O., Petrescu, M.: A Database Integrity Pattern Language. Leonardo Journal of Sciences 5, 46–62 (2004)

    Google Scholar 

  19. 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)

    Chapter  Google Scholar 

  20. Zhu, L.: Enforcement of Integrity Constraints in Deductive Databases. PhD Thesis at Simon Fraser University (1992)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Instituto Tecnológico de Informática, Valencia, Spain

    Hendrik Decker

Authors
  1. Hendrik Decker
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Integrated Sensor Systems, University of Kaiserslautern, Erwin-Schroedinger-str. 12, 67663, Kaiserslautern, Germany

    Andreas König

  2. Knowledge-Based Systems Group, Department of Computer Science, University of Kaiserslautern, P.O. Box 3049, 67653, Kaiserslautern, Germany

    Andreas Dengel

  3. School of Business, University of Applied Sciences Northwestern Switzerland, Riggenbachstr. 16, 4600, Olten, Switzerland

    Knut Hinkelmann

  4. Graduate School of Engineering, Osaka Prefecture University, 1-1 Gakuen-cho, 599-8531, Sakai,, Osaka, Japan

    Koichi Kise

  5. KES International, P.O. Box 2115, BN43 9AF, Shoreham-by-sea, UK

    Robert J. Howlett

  6. University of South Australia, Adelaide, 5095, Mawson Lakes, SA, Australia

    Lakhmi C. Jain

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Decker, H. (2011). Inconsistency-Tolerant Integrity Checking Based on Inconsistency Metrics. In: König, A., Dengel, A., Hinkelmann, K., Kise, K., Howlett, R.J., Jain, L.C. (eds) Knowlege-Based and Intelligent Information and Engineering Systems. KES 2011. Lecture Notes in Computer Science(), vol 6882. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23863-5_56

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-23863-5_56

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-23862-8

  • Online ISBN: 978-3-642-23863-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation