Optimal database locks for efficient integrity checking

Davide Martinenghi

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

    Resumé

    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.
    OriginalsprogEngelsk
    TitelProceedings ADBIS'04 Eight East-European Conference on Advances in Databases and Information Systems
    RedaktørerA. Benczur, J. Demetrovics, G. Gottlob
    Publikationsdato2004
    Sider64-77
    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

    Konference

    KonferenceEighth East-European Conference Advances in Databases and Information Systems (ADBIS 04)
    Nummer8
    LandUngarn
    ByBudapest
    Periode22/09/200425/09/2004

    Citer dette

    Martinenghi, D. (2004). Optimal database locks for efficient integrity checking. I A. Benczur, J. Demetrovics, & G. Gottlob (red.), Proceedings ADBIS'04 Eight East-European Conference on Advances in Databases and Information Systems (s. 64-77)
    Martinenghi, Davide. / Optimal database locks for efficient integrity checking. Proceedings ADBIS'04 Eight East-European Conference on Advances in Databases and Information Systems. red. / A. Benczur ; J. Demetrovics ; G. Gottlob. 2004. s. 64-77
    @inproceedings{fcb9c05052bd11dba4bc000ea68e967b,
    title = "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.",
    author = "Davide Martinenghi",
    year = "2004",
    language = "English",
    isbn = "963 311 358 X",
    pages = "64--77",
    editor = "A. Benczur and J. Demetrovics and G. Gottlob",
    booktitle = "Proceedings ADBIS'04 Eight East-European Conference on Advances in Databases and Information Systems",

    }

    Martinenghi, D 2004, Optimal database locks for efficient integrity checking. i A Benczur, J Demetrovics & G Gottlob (red), Proceedings ADBIS'04 Eight East-European Conference on Advances in Databases and Information Systems. s. 64-77, Eighth East-European Conference Advances in Databases and Information Systems (ADBIS 04), Budapest, Ungarn, 22/09/2004.

    Optimal database locks for efficient integrity checking. / Martinenghi, Davide.

    Proceedings ADBIS'04 Eight East-European Conference on Advances in Databases and Information Systems. red. / A. Benczur; J. Demetrovics; G. Gottlob. 2004. s. 64-77.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

    TY - GEN

    T1 - Optimal database locks for efficient integrity checking

    AU - Martinenghi, Davide

    PY - 2004

    Y1 - 2004

    N2 - 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.

    AB - 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.

    M3 - Article in proceedings

    SN - 963 311 358 X

    SP - 64

    EP - 77

    BT - Proceedings ADBIS'04 Eight East-European Conference on Advances in Databases and Information Systems

    A2 - Benczur, A.

    A2 - Demetrovics, J.

    A2 - Gottlob, G.

    ER -

    Martinenghi D. Optimal database locks for efficient integrity checking. I Benczur A, Demetrovics J, Gottlob G, red., Proceedings ADBIS'04 Eight East-European Conference on Advances in Databases and Information Systems. 2004. s. 64-77