Sciweavers

Share
ADBIS
2004
Springer

Optimal Database Locks for Efficient Integrity Checking

11 years 12 months ago
Optimal Database Locks for Efficient Integrity Checking
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.
Davide Martinenghi
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2004
Where ADBIS
Authors Davide Martinenghi
Comments (0)
books