Optimal database locks for efficient integrity checking

Davide Martinenghi

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch


    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 languageEnglish
    Title of host publicationProceedings ADBIS'04 Eight East-European Conference on Advances in Databases and Information Systems
    EditorsA. Benczur, J. Demetrovics, G. Gottlob
    Publication date2004
    ISBN (Print)963 311 358 X
    Publication statusPublished - 2004
    EventEighth East-European Conference Advances in Databases and Information Systems (ADBIS 04) - Budapest, Hungary
    Duration: 22 Sep 200425 Sep 2004
    Conference number: 8


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

    Cite this