Abstract
In concurrent database systems, correctness of update transactions refers to the equivalent effects of the execution schedule and some serial schedule over the same set of transactions. Integrity constraints add further semantic requirements to the correctness of the database states reached upon the execution of update transactions. Several methods for efficient integrity checking and enforcing exist. We show in this paper how to apply one such method to automatically extend update transactions with locks and simplified consistency tests on the locked entities. All schedules produced in this way are conflict serializable and preserve consistency. For certain classes of databases we also guarantee that the amount of locked database entities is minimal.
Originalsprog | Engelsk |
---|---|
Titel | Proceedings ADBIS'04 Eight East-European Conference on Advances in Databases and Information Systems |
Redaktører | A. Benczur, J. Demetrovics, G. Gottlob |
Publikationsdato | 2004 |
Sider | 64-77 |
ISBN (Trykt) | 963 311 358 X |
Status | Udgivet - 2004 |
Begivenhed | Eighth East-European Conference Advances in Databases and Information Systems (ADBIS 04) - Budapest, Ungarn Varighed: 22 sep. 2004 → 25 sep. 2004 Konferencens nummer: 8 |
Konference
Konference | Eighth East-European Conference Advances in Databases and Information Systems (ADBIS 04) |
---|---|
Nummer | 8 |
Land/Område | Ungarn |
By | Budapest |
Periode | 22/09/2004 → 25/09/2004 |