Lehrgebiet InformationssystemeFB Informatik |
||
|
Global Semantic Serializability: An Approach to Increase Concurrency in Multidatabase SystemsAngelo BraynerUniversity of Fortaleza - UNIFORDept. of Computer Science 60811-341 Fortaleza, Brazil e-mail: brayner@unifor.br Theo HärderUniversity of KaiserslauternDept. of Computer Science (AG DBIS) P.O. Box 3049, 67653 Kaiserslautern, Germany e-mail: haerder@informatik.uni-kl.de Full paper (postscript version, compressed by gzip)AbstractIn this work, we present a new approach to control concurrency in multi database 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.in Proc.6th Int. Conf. on Cooperative Information Systems (CoopIS 2001), Trento, Italy, Sept. 2001. |