Page 91 - E-Modul Simbad_Neat

Hasil dekomposisi tabel tersebut menjadi tabel Mahamahasiswa dan tabel

Alamat memang masih belum sepenuhnya memenuhi BCNF, khususnya di tabel

Alamat. Akan tetapi, tabel Alamat tersebut telah memenuhi 3NF. Kita dapat

membuktikannya dengan memeriksa kedua KF di tabel tersebut, yaitu:

alamat jalan nama_kota→ kode_pos
kode_pos→nama_kota

KF yang pertama tidak melanggar 3NF, karena {alamat jalan, nama_kota}

merupakan superkey (sekaligus sebagai key primer) dari tabel Alamat tersebut.

Demikian juga KF kedua, kendati (kode_pos} bukan merupakan superkey, tetapi

nama_kota merupakan bagian dari key primer dari tabel Alamat tersebut. Karena

telah memenuhi 3NF, maka tabel tersebut tidak perlu didekomposisi lagi.

78