Managing Uncertainty in Databases and Scaling It Up to Concurrent Transactions

  • Alfredo Cuzzocrea
  • Rubén de Juan Marín
  • Hendrik Decker
  • Francesc D. Muñoz-Escoí
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7520)


Uncertainty and data integrity are closely related. The uncertainty of data can be modeled and maintained by existing database integrity technology. The usual requirement that integrity constraints must always be satisfied needs to be renounced for constraints that model uncertainty. That is possible due to the recently introduced inconsistency tolerance of methods for integrity checking, integrity repair and query answering. Inconsistency tolerance also enables the scaling up of uncertainty management to concurrent transactions.


Constraint Violation Integrity Constraint Uncertain Data Ground Instance Query Answering 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)Google Scholar
  2. 2.
    Afrati, F., Kolaitis, P.: Repair Checking in Inconsistent Databases: Algorithms and Complexity. In: ICDT 2009. ACM Int. Conf. Proc. Series, vol. 361, pp. 31–41 (2009)Google Scholar
  3. 3.
    Arenas, M., Bertossi, L., Chomicki, J.: Consistent query answers in inconsistent databases. In: PODS 1999, pp. 68–79. ACM Press (1999)Google Scholar
  4. 4.
    Bauer, H.: Maß-und Integrationstheorie, 2nd edn. De Gruyter (1992)Google Scholar
  5. 5.
    Berlin, J., Motro, A.: TupleRank: Ranking Discovered Content in Virtual Databases. In: Etzion, O., Kuflik, T., Motro, A. (eds.) NGITS 2006. LNCS, vol. 4032, pp. 13–25. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  6. 6.
    Bernstein, P., Hadzilacos, V., Goodman, N.: Concurrency Control and Recovery in Database Systems. Addison-Wesley (1987)Google Scholar
  7. 7.
    Bertossi, L., Hunter, A., Schaub, T.: Introduction to Inconsistency Tolerance. In: Bertossi, L., Hunter, A., Schaub, T. (eds.) Inconsistency Tolerance. LNCS, vol. 3300, pp. 1–14. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  8. 8.
    Carnielli, W., Coniglio, M., D’Ottaviano, I. (eds.): The Many Sides of Logic. Studies in Logic, vol. 21. College Publications, London (2009)zbMATHGoogle Scholar
  9. 9.
    Ceri, S., Cochrane, R., Widom, J.: Practical Applications of Triggers and Constraints: Success and Lingering Issues. In: Proc. 26th VLDB, pp. 254–262. Morgan Kaufmann (2000)Google Scholar
  10. 10.
    Chakravarthy, U., Grant, J., Minker, J.: Logic-based approach to semantic query optimization. Transactions on Database Systems 15(2), 162–207 (1990)CrossRefGoogle Scholar
  11. 11.
    Clark, K.: Negation as Failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 293–322. Plenum Press (1978)Google Scholar
  12. 12.
    Cuzzocrea, A.: OLAP Over Uncertain and Imprecise Data: Fundamental Issues and Novel Research Perspectives. In: Proc. XML and XQuery Workshop at 21st DEXA, pp. 331–336. IEEE CSP (2001)Google Scholar
  13. 13.
    Cuzzocrea, A.: Retrieving Accurate Estimates to OLAP Queries over Uncertain and Imprecise Multidimensional Data Streams. In: Bayard Cushing, J., French, J., Bowers, S. (eds.) SSDBM 2011. LNCS, vol. 6809, pp. 575–576. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  14. 14.
    Cuzzocrea, A., Decker, H.: Non-linear Data Stream Compression: Foundations and Theoretical Results. In: Corchado, E., Snášel, V., Abraham, A., Woźniak, M., Graña, M., Cho, S.-B. (eds.) HAIS 2012, Part III. LNCS, vol. 7208, pp. 622–634. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  15. 15.
    Decker, H.: The Range Form of Databases and Queries or: How to Avoid Floundering. In: Proc. 5th ÖGAI. Informatik-Fachberichte, vol. 208, pp. 114–123. Springer (1989)Google Scholar
  16. 16.
    Decker, H.: Answers That Have Integrity. In: Schewe, K.-D., Thalheim, B. (eds.) SDKB 2010. LNCS, vol. 6834, pp. 54–72. Springer, Heidelberg (2011)Google Scholar
  17. 17.
    Decker, H.: 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.) KES 2011, Part II. LNCS, vol. 6882, pp. 548–558. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  18. 18.
    Decker, H.: Measure-based Inconsistency-tolerant Maintenance of Database Integrity. In: 5th International Workshop on Semantics in Data and Knowledge Bases, SDKB. LNCS. Springer (to appear, 2012)Google Scholar
  19. 19.
    Decker, H., Martinenghi, D.: Integrity Checking for Uncertain Data. In: Proc. 2nd TDM Workshop on Uncertainty in Databases. CTIT Workshop Proceedings Series WP06-01, pp. 41–48. Univ. Twente, The Netherlands (2006)Google Scholar
  20. 20.
    Decker, H., Martinenghi, D.: Inconsistency-tolerant Integrity Checking. TKDE 23(2), 218–234 (2011)Google Scholar
  21. 21.
    Decker, H., Muñoz-Escoí, F.D.: Revisiting and Improving a Result on Integrity Preservation by Concurrent Transactions. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2010. LNCS, vol. 6428, pp. 297–306. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  22. 22.
    Fung, T.H., Kowalski, R.: The IFF proof procedure for abductive logic programming. J. Logic Programming 33(2), 151–165 (1997)MathSciNetzbMATHCrossRefGoogle Scholar
  23. 23.
    Grant, J., Hunter, A.: Measuring the Good and the Bad in Inconsistent Information. In: Proc. 22nd IJCAI, pp. 2632–2637 (2011)Google Scholar
  24. 24.
    Gupta, A., Sagiv, Y., Ullman, J., Widom, J.: Constraint checking with partial information. In: Proc. 13th PODS, pp. 45–55. ACM Press (1994)Google Scholar
  25. 25.
    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)CrossRefGoogle Scholar
  26. 26.
    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 (1996)Google Scholar
  27. 27.
    Motro, A., Smets, P.: Uncertainty Management in Information Systems: From Needs to Solutions. Kluwer (1996)Google Scholar
  28. 28.
    Wijsen, J.: Database repairing using updates. ACM Transaction on Database Systems 30(3), 722–768 (2005)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Alfredo Cuzzocrea
    • 1
  • Rubén de Juan Marín
    • 2
  • Hendrik Decker
    • 2
  • Francesc D. Muñoz-Escoí
    • 2
  1. 1.ICAR-CNR and University of CalabriaCosenzaItaly
  2. 2.Instituto Tecnológico de InformáticaUPVValenciaSpain

Personalised recommendations