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.
Original language | English |
---|---|
Title of host publication | Proceedings ADBIS'04 Eight East-European Conference on Advances in Databases and Information Systems |
Editors | A. Benczur, J. Demetrovics, G. Gottlob |
Publication date | 2004 |
Pages | 64-77 |
ISBN (Print) | 963 311 358 X |
Publication status | Published - 2004 |
Event | Eighth East-European Conference Advances in Databases and Information Systems (ADBIS 04) - Budapest, Hungary Duration: 22 Sep 2004 → 25 Sep 2004 Conference number: 8 |
Conference
Conference | Eighth East-European Conference Advances in Databases and Information Systems (ADBIS 04) |
---|---|
Number | 8 |
Country/Territory | Hungary |
City | Budapest |
Period | 22/09/2004 → 25/09/2004 |