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.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Bayer, R.: Integrity, Concurrency, and Recovery in Databases. In: Samelson, K. (ed.) ECI 1976. LNCS, vol. 44, pp. 79–106. Springer, Heidelberg (1976)
Bernstein, P., Hadzilacos, V., Goodman, N.: Concurrency Control and Recovery in Database Systems. Addison-Wesley, Reading (1987)
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)
Chandy, M., Lamport, L.: Distributed Snapshots: Determining Global States of Distributed Systems. ACM TOCS 3(1), 63–75 (1985)
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
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)
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)
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)
Fischer, M., Griffeth, N., Lynch, N.: Global States of a Distributed System. IEEETrans. Software Eng. 8(3), 198–202 (1982)
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)
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)
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)
Hammer, M., McLeod, D.: Semantic Integrity in a Relational Data Base System. In: Proc. 1st VLDB, pp. 25–47. ACM Press, New York (1975)
Kowalski, R.: Logic for Problem Solving. North-Holland, Amsterdam (1979)
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)
Lindsay, B.: Jim Gray at IBM -The Transaction Processing Revolution. SIGMOD Record 37(2), 38–40 (2008)
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)
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)
Nicolas, J.-M.: Logic for improving integrity checking in relational data bases. Acta Informatica 18, 227–253 (1982)
Silberschatz, A., Kedem, Z.: Consistency in Hierarchical Database Systems. JACM 27(1), 72–80 (1980)
Vidyasankar, K.: Serializability. In: Liu, L., Özu, T. (eds.) Encyclopedia of Database Systems, pp. 2626–2632. Springer, Heidelberg (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)