Skip to main content
Springer Nature Link
Log in

Maintaining Desirable Properties of Information by Inconsistency-Tolerant Integrity Management

  • Conference paper
Information Systems: Methods, Models, and Applications (UNISCON 2012)

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 137))

Included in the following conference series:

Abstract

We argue that several kinds of desirable semantic properties of data provided by information systems, such as their quality, trustworthiness, certainty, security or lack of riskiness, can be modeled and maintained by existing database integrity technology. As opposed to the usual requirement for conventional integrity constraints, formulas that model such properties may not always be perfectly satisfied. Therefore, it is necessary to be less rigorous about the satisfaction of such properties. That can be achieved by recently introduced techniques of inconsistency tolerance, in the fields of integrity checking, integrity repair and query answering. We support our argument by an extended example.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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.

Similar content being viewed by others

References

  1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)

    Google Scholar 

  2. Arenas, M., Bertossi, L., Chomicki, J.: Consistent query answers in inconsistent databases. In: 18th Symposium on Principles of Database Systems, pp. 68–79. ACM Press (1999)

    Google Scholar 

  3. Bertossi, L., Hunter, A., Schaub, T. (eds.): Inconsistency Tolerance. LNCS, vol. 3300. Springer, Heidelberg (2005)

    Google Scholar 

  4. Bowen, K., Kowalski, R.: Amalgamating Language and Metalanguage. In: Clark, K., Tärnlund, S.-A. (eds.) Logic Programming, pp. 153–172. Academic Press (1982)

    Google Scholar 

  5. Carnielli, W., Coniglio, M., D’Ottaviano, I. (eds.): The Many Sides of Logic. Studies in Logic, vol. 21. College Publications, London (2009)

    MATH  Google Scholar 

  6. Ceri, S., Cochrane, R., Widom, J.: Practical Applications of Triggers and Constraints: Success and Lingering Issues. In: 26th VLDB, pp. 254–262. Morgan Kaufmann (2000)

    Google Scholar 

  7. Chakravarthy, U., Grant, J., Minker, J.: Logic-based approach to semantic query optimization. Transactions on Database Systems 15(2), 162–207 (1990)

    Article  Google Scholar 

  8. Clark, K.: Negation as Failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 293–322. Plenum Press (1978)

    Google Scholar 

  9. Decker, H.: The Range Form of Databases and Queries or: How to Avoid Floundering. In: 5th ÖGAI. Informatik-Fachberichte., vol. 208, pp. 114–123. Springer, Heidelberg (1989)

    Google Scholar 

  10. Decker, H.: Answers that Have Integrity. In: Schewe, K.-D. (ed.) SDKB 2010. LNCS, vol. 6834, pp. 54–72. Springer, Heidelberg (2011)

    Google Scholar 

  11. Decker, H.: Measure-based Inconsistency-tolerant Maintenance of Database Integrity. In: Schewe, K.-D., Thalheim, B. (eds.) SDKB 2013. LNCS, vol. 7693, pp. 149–173. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  12. Decker, H.: Partial Repairs that Tolerate Inconsistency. In: Eder, J., Bielikova, M., Tjoa, A.M. (eds.) ADBIS 2011. LNCS, vol. 6909, pp. 389–400. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

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

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

    Google Scholar 

  15. Fung, T.H., Kowalski, R.: The IFF proof procedure for abductive logic programming. J. Logic Programming 33(2), 151–165 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  16. Gupta, A., Sagiv, Y., Ullman, J., Widom, J.: Constraint checking with partial information. In: 13th Symposium on Principles of Database Systems, pp. 45–55. ACM Press (1994)

    Google Scholar 

  17. Hunter, A., Konieczny, S.: Approaches to measuring inconsistent information. In: Bertossi, L., Hunter, A., Schaub, T. (eds.) Inconsistency Tolerance. LNCS, vol. 3300, pp. 191–236. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  18. Lee, S.Y., Ling, T.W.: Further improvements on integrity constraint checking for stratifiable deductive databases. In: 22th International Conference on Very Large Data Bases, pp. 495–505. Morgan Kaufmann (1996)

    Google Scholar 

  19. Motro, A., Smets, P.: Uncertainty Management in Information Systems: From Needs to Solutions. Kluwer (1996)

    Google Scholar 

  20. Schewe, K.D., Thalheim, B.: Limitations of Rule Triggering Systems for Integrity Maintenance in the Context of Transition Specifications. Acta Cybernetica 13(3), 277–304 (1998)

    MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Instituto Tecnoloógico de Informática, Universidad Politécnica de 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 for Applied Informatics, Alpen-Adria-Universität Klagenfurt, Klagenfurt, Austria

    Heinrich C. Mayr  & Christian Kop  & 

  2. Brigham Young University, Provo, UT, USA

    Stephen Liddle

  3. School of Computing, Engineering & Mathematics, University of Western Sydney, Penrith, NSW, Australia

    Athula Ginige

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Decker, H. (2013). Maintaining Desirable Properties of Information by Inconsistency-Tolerant Integrity Management. In: Mayr, H.C., Kop, C., Liddle, S., Ginige, A. (eds) Information Systems: Methods, Models, and Applications. UNISCON 2012. Lecture Notes in Business Information Processing, vol 137. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38370-0_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-38370-0_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-38369-4

  • Online ISBN: 978-3-642-38370-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics