Dependensi fungsional

Dependensi fungsional ditulis A → B dan dibaca: A menentukan B. Artinya, setiap nilai A selalu berpasangan dengan tepat satu nilai B. ISBN menentukan judul buku, karena satu ISBN tidak mungkin punya dua judul; sebaliknya judul tidak menentukan ISBN, karena dua buku berbeda bisa berjudul sama. OpenStax Introduction to Computer Science menyebut dependensi fungsional sebagai alat formal untuk menganalisis skema dan menuliskan aturan bisnis dengan tepat. Seluruh bentuk normal di pelajaran berikutnya dirumuskan dengan dependensi ini.

Dependensi adalah aturan bisnis, bukan kebetulan data; tetapi data bisa membuktikan bahwa sebuah dependensi dilanggar. Kelompokkan baris menurut A, lalu hitung nilai B yang berbeda di setiap kelompok. Kelompok yang punya lebih dari satu nilai B adalah bukti pelanggaran, dan di tabel lebar pelanggaran itu hampir selalu jejak anomali ubah.

-- Apakah isbn → judul berlaku di tabel peminjaman lama?
SELECT isbn FROM peminjaman_lama
GROUP BY isbn
HAVING COUNT(DISTINCT judul) > 1;   -- kosong = tidak ada pelanggaran

Dependensi transitif terjadi bila A → B dan B → C, dengan B bukan kunci, sehingga C bergantung pada A hanya lewat B. Microsoft memberi contoh: diskon yang ditentukan harga eceran, padahal keduanya kolom bukan kunci di tabel produk. Mengubah harga memaksa diskonnya ikut diubah, dan itu tanda kedua kolom seharusnya tidak saling bergantung di tabel yang sama.