TESTING FOR SERIALIZABILITY

Pada saat mendesain skema kontrol konkurensi, kita harus tunjukan bahwa jadwal yang dibuat oleh skema tersebut adalah serializable. Terdapat metode simpel dan efisien untuk menentukan conflict serializability dari suatu jadwal.

Misalkan sebuah jadwal S. Kita dapat membuat suatu grafik langsung yang diberi nama grafik preseden (presedence graph). Grafik preseden terdiri dari sepasang G = (V,E), dimana V adalah serangkaian simpul dan E adalah serangkaian tepian / busur. Serangkaian simpul terdiri dari semua transaksi yang berperan serta di dalam penjadwalan. Serangkaian tepian / busur terdiri dari semua bentuk T_i -> T_j untuk masing – masing dari ketiga kondisi berikut :

§  T_i eksekusi write(Q) sebelum T_j eksekusi read(Q)

§  T_i eksekusi read(Q) sebelum T_j eksekusi write(Q)

§  T_i eksekusi write(Q) sebelum T_j eksekusi write(Q)

Jika bentuk T_i -> T_j ada di dalam grafik

RECOVERABILITY

Recovery : merupakan upaya untuk mengembalikan basis data ke keadaan yang dianggap benar setelah terjadi suatu kegagalan.

Jenis  :

• Pemulihan terhadap kegagalan transaksi : Kesatuan produsen dalam program yang dapat mengubah/memperbaruhi data pada sejumlah tabel.
• Pemulihan terhadap kegagalan media : pemulihan karena kegagalan mediadengan cara mengambil atau memuat kembali salinan basis data(backup).
• Pemulihan terhadap kegagalan sistem : terjadi akibat gangguan sistem, hang, listrik terputus alirannya

 Fasilitas pemulihan pada DBMS :

• Mekanisme backup secara periodik.
• Fasilitas logging dengan membuat track pada tempat saat transaksi berlangsung dan pada saat database berubah.

PROTOCOL TRANSAKSI KONKUREN

     Macam-macam definisi transaksi:

·       Transaksi adalah satu unit pekerjaan lojik yang terdiri dari serangkaian aksi atau operasi, dengan semua aksi atau operasi tersebut harus sukses dijalankan atau gagal semuanya.

·        Transaksi adalah sekumpulan operasi yang melakukan fungsi logika tunggal pada aplikasi berbasis data. Transaksi harus menjaga prinsip atomisitas  dan konsistensi, artinya bahwa transaksi tidak melanggar batasan konsistensi basis data dengan maksut lain kondisi basis data harus tetap konsisten sebelum dan sesudah eksekusi transaksi. Oleh karena itu, pemrogram harus secara benar

MANAJEMEN TRANSAKSI

     Macam-macam definisi transaksi:

·       Transaksi adalah satu unit pekerjaan lojik yang terdiri dari serangkaian aksi atau operasi, dengan semua aksi atau operasi tersebut harus sukses dijalankan atau gagal semuanya.

·        Transaksi adalah sekumpulan operasi yang melakukan fungsi logika tunggal pada aplikasi berbasis data. Transaksi harus menjaga prinsip atomisitas  dan konsistensi, artinya bahwa transaksi tidak melanggar batasan konsistensi basis data dengan maksut lain kondisi basis data harus tetap konsisten sebelum dan sesudah eksekusi transaksi. Oleh karena itu, pemrogram harus secara benar