Skip to main content
SpringerLink
Log in
Book cover

Advanced Techniques for Knowledge Engineering and Innovative Applications pp 70–85Cite as

Capturing and Scaling Up Concurrent Transactions in Uncertain Databases

  • Conference paper

  • 551 Accesses

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 246))

Abstract

This chapter provides a framework for capturing and scaling up concurrent transactions in uncertain databases. Models and methods proposed in the context of this framework for managing data uncertainty are innovative as previous studies have not considered the specific case of concurrent transactions, which may worsen the uncertainty of database management activities beyond the simplest case of isolated transactions. Indeed, as this chapter demonstrates, inconsistency tolerance of integrity management, constraint checking and repairing easily scale up to concurrent transactions in a natural way, and query answers in concurrent transactions over uncertain data remain certain in the presence of uncertainty. This analytical contribution is enriched by means of a reference architecture for uncertain database management under concurrent transactions that strictly adheres to models and methods that are the main contributions of this research.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

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

    Google Scholar 

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

    Google Scholar 

  3. Arenas, M., Bertossi, L.E., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proceedings of PODS, pp. 68–79. ACM Press (1999)

    Google Scholar 

  4. Bauer, H.: Maß- und Integrationstheorie, 2nd edn. De Gruyter (1992)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  6. Bernstein, P.A., Hadzilacos, V., Goodman, N.: Concurrency Control and Recovery in Database Systems. Addison-Wesley (1987)

    Google Scholar 

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

    Google Scholar 

  8. Budhia, B.P., Cuzzocrea, A., Leung, C.K.: Vertical frequent pattern mining from uncertain data. In: KES, pp. 1273–1282 (2012)

    Google Scholar 

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

  10. Ceri, S., Cochrane, R., Widom, J.: Practical applications of triggers and constraints: Success and lingering issues (10-year award). In: Abbadi, A.E., Brodie, M.L., Chakravarthy, S., Dayal, U., Kamel, N., Schlageter, G., Whang, K.Y. (eds.) Proceedings of 26th International Conference on Very Large Data Bases, VLDB 2000, Cairo, Egypt, September 10-14, pp. 254–262. Morgan Kaufmann (2000)

    Google Scholar 

  11. Chakravarthy, U.S., Grant, J., Minker, J.: Logic-based approach to semantic query optimization. ACM Trans. on Database Syst. (TODS) 15(2), 162–207 (1990)

    Article  Google Scholar 

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

    Google Scholar 

  13. Cuzzocrea, A.: Olap over uncertain and imprecise data: Fundamental issues and novel research perspectives. In: Proc. 21st DEXA Workshop, pp. 331–336. IEEE CSP (2001)

    Google Scholar 

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

    Chapter  Google Scholar 

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

    Chapter  Google Scholar 

  16. Cuzzocrea, A., Gunopulos, D.: Efficiently computing and querying multidimensional OLAP data cubes over probabilistic relational data. In: Catania, B., Ivanović, M., Thalheim, B. (eds.) ADBIS 2010. LNCS, vol. 6295, pp. 132–148. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

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

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

    Google Scholar 

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

    Chapter  Google Scholar 

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

  21. Decker, H., Martinenghi, D.: Integrity checking for uncertain data. In: Proc. 2nd TDM Workshop on Uncertainty in Databases. CTIT Workshop Proceedings Series, vol. WP06-01, pp. 41–48. Univ. Twente, The Netherlands (2006)

    Google Scholar 

  22. Decker, H., Martinenghi, D.: Inconsistency-tolerant integrity checking. Transactions on Knowledge and Data Engineering 23(2), 218–234 (2011)

    Article  Google Scholar 

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

    Chapter  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  25. Grant, J., Hunter, A.: Measuring the good and the bad in inconsistent information. In: Proc. 22nd IJCAI, pp. 2632–2637 (2011)

    Google Scholar 

  26. Gupta, A., Sagiv, Y., Ullman, J.D., Widom, J.: Constraint checking with partial information. In: Proceedings of PODS 1994, pp. 45–55. ACM Press (1994)

    Google Scholar 

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

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

    Google Scholar 

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

    Google Scholar 

  30. Wijsen, J.: Database repairing using updates. Transaction on Database Systems 30(3), 722–768 (2005)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ICAR-CNR, University of Calabria, I-87036, Cosenza, Italy

    Alfredo Cuzzocrea

  2. Instituto Tecnológico de Informática, UPV, E-46022, Valencia, Spain

    Hendrik Decker & Francesc D. Muñoz-Escoí

Authors
  1. Alfredo Cuzzocrea
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hendrik Decker
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Francesc D. Muñoz-Escoí
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Electrical and Information Engineering, University of South Australia, Mawson Lake Campus, 5095, Adelaide, SA, Australia

    Jeffrey W. Tweedale

  2. School of Electrical and Information Engineering, University of South Australia, Mawson Lakes Campus, 5095, Adelaide, SA, Australia

    Lakhmi C. Jain

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cuzzocrea, A., Decker, H., Muñoz-Escoí, F.D. (2013). Capturing and Scaling Up Concurrent Transactions in Uncertain Databases. In: Tweedale, J.W., Jain, L.C. (eds) Advanced Techniques for Knowledge Engineering and Innovative Applications. Communications in Computer and Information Science, vol 246. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-42017-7_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-42017-7_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-42016-0

  • Online ISBN: 978-3-642-42017-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation