ScholarGate
Asisten

Penyempurnaan dan Dekomposisi Skema

Penyempurnaan skema adalah proses dekomposisi relasi menjadi relasi-relasi yang lebih kecil untuk mencapai bentuk normal yang diinginkan, dengan persyaratan bahwa dekomposisi tersebut bersifat lossless dan, idealnya, mempertahankan dependensi asli.

Temukan Topik dengan PaperMindSegeraFind papers & topics
Tools & resources
Unduh salindia
Learn & explore
VideoSegera

Definition

Dekomposisi menggantikan skema relasi R dengan sekumpulan skema yang atributnya secara bersama-sama mencakup R, sedemikian rupa sehingga relasi asli dapat dipulihkan dengan menggabungkan bagian-bagiannya (lossless join) dan, bila memungkinkan, setiap dependensi fungsional asli dapat diberlakukan pada bagian-bagiannya (pemeliharaan dependensi).

Scope

Topik ini mencakup algoritma dan kriteria untuk mendekonstruksi skema relasional: properti lossless-join dan cara pengujiannya, pemeliharaan dependensi dan ketegangannya dengan bentuk normal yang lebih tinggi, serta algoritma sintesis dan dekomposisi standar yang menghasilkan desain 3NF (memelihara dependensi dan lossless) atau BCNF (lossless) dari sekumpulan dependensi fungsional. Ini tidak termasuk definisi bentuk normal itu sendiri dan dependensi yang mendorong dekomposisi.

Core questions

  • Apa yang membuat dekomposisi bersifat lossless, dan bagaimana properti tersebut diuji?
  • Apa artinya dekomposisi memelihara dependensi?
  • Mengapa dekomposisi BCNF dapat gagal memelihara dependensi sementara sintesis 3NF tidak?
  • Bagaimana cara kerja algoritma dekomposisi BCNF dan sintesis 3NF standar?
  • Bagaimana pilihan antara BCNF dan 3NF dibuat dalam praktik?

Key concepts

  • dekomposisi skema
  • properti lossless-join
  • pemeliharaan dependensi
  • tuple palsu
  • algoritma dekomposisi BCNF
  • algoritma sintesis 3NF
  • minimal cover
  • trade-off antara BCNF dan 3NF

Key theories

Dekomposisi lossless-join
Dekomposisi biner bersifat lossless jika atribut umum dari kedua bagian membentuk kunci setidaknya salah satunya; sifat lossless menjamin bahwa penggabungan bagian-bagian tersebut merekonstruksi relasi asli secara tepat tanpa tuple palsu.
Pemeliharaan dependensi
Dekomposisi memelihara dependensi jika gabungan dependensi yang dapat diberlakukan pada bagian-bagian individual menyiratkan semua dependensi asli, sehingga konsistensi dapat diperiksa tanpa menghitung ulang gabungan.
Dekomposisi BCNF versus sintesis 3NF
Algoritma dekomposisi BCNF menjamin sifat lossless tetapi dapat mengorbankan pemeliharaan dependensi, sedangkan algoritma sintesis 3NF dari minimal cover menjamin lossless join dan pemeliharaan dependensi dengan biaya kemungkinan berhenti pada 3NF.

Clinical relevance

Algoritma dekomposisi adalah cara teori normalisasi menjadi prosedur desain yang dapat ditindaklanjuti: penerapannya menghasilkan skema yang menghindari redundansi namun masih dapat direkonstruksi dan divalidasi secara efisien, yang secara langsung memengaruhi kebenaran dan pemeliharaan basis data produksi.

History

Teori dekomposisi lossless-join dan pemeliharaan dependensi dikembangkan sepanjang tahun 1970-an ketika para peneliti memformalkan kapan pemisahan relasi aman. Algoritma sintesis yang menghasilkan desain 3NF yang memelihara dependensi, dan pengakuan bahwa BCNF dapat berkonflik dengan pemeliharaan dependensi, menjadi materi standar dalam teks basis data dan tetap menjadi pusat desain skema.

Key figures

  • Edgar F. Codd
  • Jeffrey D. Ullman
  • Philip Bernstein

Related topics

Seminal works

  • silberschatz2019
  • ramakrishnan2003
  • garciamolina2008

Frequently asked questions

Apa itu tuple palsu dan mengapa itu penting?
Tuple palsu adalah baris yang muncul ketika Anda menggabungkan bagian-bagian dari dekomposisi yang salah pilih tetapi tidak sesuai dengan tuple nyata dari relasi asli. Dekomposisi lossless-join adalah dekomposisi yang tidak menghasilkan tuple palsu, itulah sebabnya sifat lossless merupakan persyaratan yang tidak dapat dinegosiasikan.
Mengapa saya mungkin memilih 3NF daripada BCNF?
Dekomposisi ke BCNF selalu mempertahankan properti lossless-join tetapi dapat merusak pemeliharaan dependensi, yang berarti beberapa batasan hanya dapat diperiksa dengan menggabungkan tabel. Algoritma sintesis 3NF menjamin sifat lossless dan pemeliharaan dependensi, sehingga perancang menerima 3NF ketika desain BCNF yang memelihara dependensi tidak ada.

Methods for this concept

Related concepts