Skip to main content
SpringerLink
Log in

Revisiting and Improving a Result on Integrity Preservation by Concurrent Transactions

  • Conference paper
On the Move to Meaningful Internet Systems: OTM 2010 Workshops (OTM 2010)

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

Abstract

We revisit a well-known result on the preservation of integrity by concurrent transactions. It says that the serializability of integrity-preserving transactions yields integrity-preserving histories. We improve it in two ways. First, we discuss divergent interpretations and restate them more precisely. Second, we make it applicable in the presence of inconsistency.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. Bayer, R.: Integrity, Concurrency, and Recovery in Databases. In: Samelson, K. (ed.) ECI 1976. LNCS, vol. 44, pp. 79–106. Springer, Heidelberg (1976)

    Chapter  Google Scholar 

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

    Google Scholar 

  3. Böttcher, S.: Improving the Concurrency of Integrity Checks and Write Operations. In: Kanellakis, P.C., Abiteboul, S. (eds.) ICDT 1990. LNCS, vol. 470, pp. 259–273. Springer, Heidelberg (1990)

    Google Scholar 

  4. Chandy, M., Lamport, L.: Distributed Snapshots: Determining Global States of Distributed Systems. ACM TOCS 3(1), 63–75 (1985)

    Article  Google Scholar 

  5. Decker, H., Martinenghi, D.: Inconsistency-tolerant Integrity Checking. To appear in Transactions of Knowledge and Data Engineering. Abstract and preprints at http://www.computer.org/portal/web/csdl/doi/10.1109/TKDE.2010.87

  6. Doucet, A., Gançarski, S., León, C.: Checking Integrity Constraints in Multidatabase Systems with Nested Transactions. In: Batini, C., Giunchiglia, F., Giorgini, P., Mecella, M. (eds.) CoopIS 2001. LNCS, vol. 2172, pp. 316–328. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  7. Eswaran, K., Chamberlin, D.: Functional Specfication of a Subsystem for Data Base Integrity. In: Proc. 1st VLDB, pp. 48–68. ACM Press, New York (1975)

    Chapter  Google Scholar 

  8. Eswaran, K., Gray, J., Lorie, R., Traiger, I.: The Notions of Consistency and Predicate Locks in a Database System. CACM 19(11), 624–633 (1976)

    Article  MathSciNet  MATH  Google Scholar 

  9. Fischer, M., Griffeth, N., Lynch, N.: Global States of a Distributed System. IEEETrans. Software Eng. 8(3), 198–202 (1982)

    Article  Google Scholar 

  10. Gardarin, G.: Integrity, Consistency, Concurrency, Reliability in Distributed Database Management Systems. In: Delobel, C., Litwin, W. (eds.) Distributed Databases, pp. 335–351. North-Holland, Amsterdam (1980)

    Google Scholar 

  11. Gray, J., Lorie, R., Putzolu, G.: Granularity of Locks in a Shared Data Base. In: Proc. 1st VLDB, pp. 428–451. ACM Press, New York (1975)

    Chapter  Google Scholar 

  12. Grefen, P.: Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specfication of a Transaction Modfication Subsystem. In: Proc. 19th VLDB, pp. 581–591. Morgan Kaufmann, San Francisco (1993)

    Google Scholar 

  13. Hammer, M., McLeod, D.: Semantic Integrity in a Relational Data Base System. In: Proc. 1st VLDB, pp. 25–47. ACM Press, New York (1975)

    Chapter  Google Scholar 

  14. Kowalski, R.: Logic for Problem Solving. North-Holland, Amsterdam (1979)

    MATH  Google Scholar 

  15. Lilien, L., Bhargava, B.: A Scheme for Batch Verification of Integrity Assertions in a Database System. IEEE Trans. Software Eng. 10(6), 664–680 (1984)

    Article  MATH  Google Scholar 

  16. Lindsay, B.: Jim Gray at IBM -The Transaction Processing Revolution. SIGMOD Record 37(2), 38–40 (2008)

    Article  Google Scholar 

  17. Martinenghi, D., Christiansen, H.: Transaction Management with Integrity Checking. In: Andersen, K.V., Debenham, J., Wagner, R. (eds.) DEXA 2005. LNCS, vol. 3588, pp. 606–615. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  18. Martinenghi, D., Christiansen, H., Decker, H.: Integrity checking and maintenance in relational and deductive databases and beyond. In: Ma, Z. (ed.) Intelligent Databases: Technologies and Applications, pp. 238–285. Idea Group, USA (2006)

    Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  20. Silberschatz, A., Kedem, Z.: Consistency in Hierarchical Database Systems. JACM 27(1), 72–80 (1980)

    Article  MathSciNet  MATH  Google Scholar 

  21. Vidyasankar, K.: Serializability. In: Liu, L., Özu, T. (eds.) Encyclopedia of Database Systems, pp. 2626–2632. Springer, Heidelberg (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

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

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

Authors
  1. Hendrik Decker
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. 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. STAR Lab, Vrije Universiteit Brussel (VUB), Bldg G/10, Pleinlaan 2, 1050, Brussels, Belgium

    Robert Meersman

  2. Curtin University of Technology, DEBII - CBS, De Laeter Way, 6102, Bentley, WA, Australia

    Tharam Dillon

  3. Facultad de Informática, Universidad Politécnica de Madrid, Campus de Montegancedo S/N, 28660, Boadilla del Monte, Madrid, Spain

    Pilar Herrero

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Decker, H., Muñoz-Escoí, F.D. (2010). Revisiting and Improving a Result on Integrity Preservation by Concurrent Transactions. In: Meersman, R., Dillon, T., Herrero, P. (eds) On the Move to Meaningful Internet Systems: OTM 2010 Workshops. OTM 2010. Lecture Notes in Computer Science, vol 6428. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16961-8_48

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-16961-8_48

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-16960-1

  • Online ISBN: 978-3-642-16961-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation