Global Semantic Serializability: An Approach to Increase Concurrency in Multidatabase Systems
In this work, we present a new approach to control concurrency in multidatabase systems. The proposed approach is based on the use of semantic knowledge to relax the notion of absolute transaction atomicity. Supported by this new concept of atomicity, we propose a new correctness criterion, denoted global semantic serializability, for the execution of concurrent transactions, which provides a high degree of inter-transaction parallelism, ensures consistency of the local databases and preserves autonomy of local databases. Our proposal can also be used to increase concurrency in systems for integrating web data sources based on a mediator mechanism. Two concurrency control protocols we have developed are described.
KeywordsConcurrency Control Local Database Database Object Global Schedule Semantic Unit
Unable to display preview. Download preview PDF.
- 1.Bernstein, P. A., Hadzilacos, V. and Goodman, N. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987. 309Google Scholar
- 2.Brayner, A. Transaction Management in Multidatabase Systems. Shaker-Verlag, 1999. 305Google Scholar
- 3.Brayner, A. and Härder, T. Recovery in multidatabase systems. In Procedings of XIV Brazilian Symposium on Databases (SBBD 99), 1999. 315Google Scholar
- 6.Casanova, M. A. The Concurrency Problem of Database Systems. In Lectures Notes in Computer Science, number 116. Springer-Verlag, 1981. 313Google Scholar
- 7.Du, W. and Elmagarmid, A. K. Quasi Serializability: a Correctness Criterion for Global Concurrency Control in InterBase. In Proceedings of the 15th International Conference on VLDB, pages 347–355, Amsterdam, 1989. 303Google Scholar
- 9.Georgakopoulos, D., Rusinkiewicz, M. and Sheth, A. Using Tickets to Enforce the Serializability of Multidatabase Transactions. IEEE Transactions on Knowledge and Data Engineering, 6(1):1–15, February 1993. 305Google Scholar
- 10.Korth, H. F. and Speegle, G. D. Formal Model of Correctness Without Serializability. In Proceedings of ACM SIGMOD Conference, pages 379–386, 1988. 305Google Scholar
- 13.Mehrotra, S., Rastogi, R., S., Korth, H. and Silberschatz, A. Non-serializable Executions in heterogeneous distributed database systems. In Proceedings of the First International Conference on Parallel and Distributed Information Systems, 1991. 305Google Scholar
- 14.Rastogi, R., Mehrotra, S., Breitbart, Y., Korth, H. and Silberschatz, A. On Correctness of Non-serializable Executions. In Proceedings of the SIGMOD PODS, pages 97–108, 1993. 305Google Scholar
- 16.Shasha, D., Simon, E. and Valduirez, P. Simple Rational Guidance for Chopping Up Transactions. In Proceedings of 1992 ACM SIGMOD Conference, pages 298–307, 1992. 307Google Scholar