Optimal database locks for efficient integrity checking

Davide Martinenghi

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning


    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.
    TitelProceedings ADBIS'04 Eight East-European Conference on Advances in Databases and Information Systems
    RedaktørerA. Benczur, J. Demetrovics, G. Gottlob
    ISBN (Trykt)963 311 358 X
    StatusUdgivet - 2004
    BegivenhedEighth East-European Conference Advances in Databases and Information Systems (ADBIS 04) - Budapest, Ungarn
    Varighed: 22 sep. 200425 sep. 2004
    Konferencens nummer: 8


    KonferenceEighth East-European Conference Advances in Databases and Information Systems (ADBIS 04)

    Citer dette