Skip to main content
SpringerLink
Log in

Partial Repairs That Tolerate Inconsistency

  • Conference paper
Advances in Databases and Information Systems (ADBIS 2011)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 6909))

Abstract

The consistency of databases can be supported by enforcing integrity constraints on the stored data. Constraints that are violated should be repaired by eliminating the causes of the violations. Traditionally, repairs are conceived to be total. However, it may be unfeasible to eliminate all violations. We show that it is possible to get by with partial repairs that tolerate extant inconsistencies. They may not eliminate all causes of integrity violations but preserve the consistent parts of the database. Remaining violations can be controlled by measuring inconsistency, and further reduced by inconsistency-tolerant integrity checking.

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: 12th ICDT, pp. 31–41. ACM Press, New York (2009)

    Chapter  Google Scholar 

  2. Arenas, M., Bertossi, L., Chomicki, J.: Consistent query answers in inconsistent databases. In: PODS 1999, pp. 68–79. ACM Press, New York (1999)

    Google Scholar 

  3. Caroprese, L., Greco, S., Zumpano, E.: Active Integrity Constraints for Database Consistency Maintenance. IEEE TKDE 21(7), 1042–1057 (2009)

    Google Scholar 

  4. Caroprese, L., Truszczynski, M.: Active Integrity Constraints and Revision Programming. To appear in TPLP (2010), http://arxiv.org/abs/1009.2270

  5. Ceri, S., Cochrane, R., Widom, J.: Practical Applications of Triggers and Constraints: Success and Lingering Issues (10-Year Award). In: Proc. 26th VLDB, pp. 254–262. Morgan Kaufmann, San Francisco (2000)

    Google Scholar 

  6. Chomicki, J.: Consistent query answering: Five easy pieces. In: Schwentick, T., Suciu, D. (eds.) ICDT 2007. LNCS, vol. 4353, pp. 1–17. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

  8. Decker, H.: Drawing Updates From Derivations. In: Kanellakis, P.C., Abiteboul, S. (eds.) ICDT 1990. LNCS, vol. 470, pp. 437–451. Springer, Heidelberg (1990)

    Chapter  Google Scholar 

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

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

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

    Google Scholar 

  12. Dung, P.M., Kowalski, R., Toni, F.: Dialectic proof procedures for assumption-based admissible argumentation. Artificial Intelligence 170(2), 114–159 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  13. Eiter, T., Fink, M., Greco, G., Lembo, D.: Repair localization for query answering from inconsistent databases. ACM TODS 33(2) (2008)

    Google Scholar 

  14. Furfaro, F., Greco, S., Molinaro, C.: A three-valued semantics for querying and repairing inconsistent databases. Ann. Math. Artif. Intell. 51(2-4), 167–193 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  15. Greco, G., Greco, S., Zumpano, E.: A logical framework for querying and repairing inconsistent databases. IEEE TKDE 15(6), 1389–1408 (2003)

    Google Scholar 

  16. Guessoum, A., Lloyd, J.: Updating knowledge bases. New Generation Computing 8(1), 71–89 (1990)

    Article  MATH  Google Scholar 

  17. Guessoum, A., Lloyd, J.: Updating knowledge bases II. New Generation Computing 10(1), 73–100 (1991)

    Article  MATH  Google Scholar 

  18. Gupta, A., Sagiv, Y., Ullman, J., Widom, J.: Constraint checking with partial information. In: Proc. PODS 1994, pp. 45–55. ACM Press, New York (1994)

    Google Scholar 

  19. Kakas, A., Mancarella, P.: Database updates through abduction. In: Proc. 16th VLDB, pp. 650–661. Morgan Kaufmann, San Francisco (1990)

    Google Scholar 

  20. Kakas, A., Kowalski, R., Toni, F.: The role of Abduction in Logic Programming. In: Handbook in Artificial Intelligence and Logic Programming, pp. 235–324 (1998)

    Google Scholar 

  21. Lee, S.Y., Ling, T.W.: Further improvements on integrity constraint checking for stratifiable deductive databases. In: Proc. VLDB 1996, pp. 495–505. Morgan Kaufmann, San Francisco (1996)

    Google Scholar 

  22. Lloyd, J., Sonenberg, L., Topor, R.: Integrity constraint checking in stratified databases. J. Logic Programming 4(4), 331–343 (1987)

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    MATH  Google Scholar 

  25. Sadri, F., Kowalski, R.: A theorem-proving approach to database integrity. In: Foundations of Deductive Databases and Logic Programming, pp. 313–362. Morgan Kaufmann, San Francisco (1988)

    Chapter  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. Alpen Adria Universität Klagenfurt, Institut für Informatik-Systeme, Universitätsstr. 65, 9020, Klagenfurt, Austria

    Johann Eder

  2. Faculty of Informatics and Information Technologies, Slovak University of Technology in Bratislava, Ilkoviçova 3, 842 16, Bratislava, Slovakia

    Maria Bielikova

  3. Institut für Softwaretechnik, Technische Universität Wien, Favoritenstr. 9-11/188, 1040, Wien, Austria

    A Min Tjoa

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Decker, H. (2011). Partial Repairs That Tolerate Inconsistency. In: Eder, J., Bielikova, M., Tjoa, A.M. (eds) Advances in Databases and Information Systems. ADBIS 2011. Lecture Notes in Computer Science, vol 6909. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23737-9_28

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-23737-9_28

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-23736-2

  • Online ISBN: 978-3-642-23737-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation