Serialisabilitas dengan locking protokol disertai penanganan deadlock menggunakan metode deteksi dan recover

Abstract

Suatu jadwal dikatakan serialisabel jika hasil eksekusinya sama dengan hasil pengeksekusian pada jadwal serial. Untuk menunjukkan apakah serialisabilitas teiah te-dadi, dibangun suatu precedence graph. Dan untuk menjamin serialisabilitas, akan digunakan salah satu dari pola konkurensi kontrol yaitu protokol penguncian (locking protokol). Locking protokol merupakan sekumpulan aturan yang didalamnya terdapat urutan mengunci dan melepas penguncian data item dalam database pada masing-masing transaksi. Protokol ini dapat menyebabkan deadlock, dan untuk mengatasinya akan digunakan metode deteksi dan recover. A schedule is serializable if it effect of execution equivalent to that of some serial schedule. To determine whether serializability is maintained, will be construct a precedence graph, and in order to ensure serializability, will be used one of concurency control schemes, namely a locking protokol. A locking protokol is a set of rules which state that a transaction may lock and unlock each of data item in the database of transactions. It due to deadlock, and to solve this case will be used detection and recover method