Normalisasi adalah suatu teknik untuk memproduksi satu set hubungan dengan sifat yang diinginkan, mengingat kebutuhan data suatu perusahaan. Normalisasi adalah metode formal yang dapat digunakan untuk mengidentifikasi hubungan berdasarkan mereka kunci dan dependensi fungsional di antara atribut mereka.
Hubungan dengan redundansi data menderita anomali update, yang dapat diklasifikasikan sebagai penyisipan, penghapusan, dan anomali modifikasi.
Salah satu konsep utama yang terkait dengan normalisasi adalah ketergantungan fungsional, yang menggambarkan hubungan antara atribut dalam suatu relasi. Sebagai contoh, jika A dan B adalah atribut dari relasi R, B secara fungsional tergantung pada A (dinotasikan A → B), jika setiap nilai A dikaitkan dengan tepat satu nilai B. (A dan B mungkin masing-masing terdiri dari satu atau lebih atribut.)
Determinan dari ketergantungan fungsional mengacu pada atribut, atau kelompok atribut, di kiri sisi panah.
Karakteristik utama dari dependensi fungsional yang kita gunakan untuk normalisasi memiliki hubungan satu-ke-satu antara atribut (s) dari kiri dan kanan sisi ketergantungan, berlaku untuk semua waktu, dan sepenuhnya fungsional tergantung.
unnormalized Form (UNF) adalah tabel yang berisi satu atau lebih mengulangi kelompok. Bentuk Normal Pertama (1NF) adalah sebuah relasi di mana persimpangan setiap baris dan kolom berisi satu dan hanya satu nilai.
Bentuk Normal Kedua (2NF) adalah sebuah relasi yang ada di Bentuk Normal Pertama dan setiap atribut non-primary-key sepenuhnya fungsional tergantung pada primary key. Ketergantungan fungsional penuh menunjukkan bahwa jika A dan B adalah atribut dari suatu relasi, B sepenuhnya fungsional tergantung pada A jika B secara fungsional tergantung pada A tetapi tidak pada subset yang tepat dari A.
Bentuk Normal Ketiga (3NF) adalah sebuah relasi yang ada di Pertama dan Kedua Bentuk Normal di mana tidak ada non-primaryKey atribut transitif bergantung pada primary key. Transitif ketergantungan adalah suatu kondisi dimana A, B, dan C adalah atribut dari sebuah relasi sedemikian sehingga jika A → B dan B → C, maka C adalah transitif bergantung pada A melalui B (asalkan A tidak secara fungsional tergantung pada B atau C).
definisi umum untuk Bentuk Normal Kedua (2NF) adalah sebuah relasi yang ada di Bentuk Normal Pertama dan setiap non-kandidat kunci atribut sepenuhnya fungsional tergantung pada setiap candidate key. Dalam definisi ini, calon-key atribut adalah bagian dari setiap candidate key.
