Ki sa ki Boyce-Codd Nòmal Fòm (BCNF)?

BCNF minimize redondans ak ogmante entegrite done

Objektif Boyce-Codd Normal Form (BCNF) se ogmante entegrite done pa òganize kolòn yo ak tab nan yon baz done relasyon yo nan lòd yo reyalize nòmalizasyon baz done. Nòmalizasyon baz done rive lè gen etabli relasyon ant tab yo ak lè tab yo gen defini règ yo fè baz done a pi fleksib ak prezève done yo.

Objektif nòmalizasyon baz done yo se elimine done redondants ak asire depandans done fè sans.

Yon baz nòmalize lè done yo menm pa estoke nan plis pase yon tab epi lè se sèlman done ki gen rapò ki estoke nan yon tab.

Orijin nan Boyce-Codd Fòm Nòmal

Apre yon seri de direktiv asire ke baz yo nòmalize. Regleman sa yo yo refere yo kòm fòm nòmal epi yo nimewote soti nan youn nan senk. Yon baz done relasyon ki dekri kòm nòmalize si li satisfè premye twa fòm yo: 1NF, 2NF, ak 3NF.

BCNF te kreye kòm yon pwolongasyon nan fòm nan twazyèm nòmal, oswa 3NF, nan 1974 pa Raymond Boyce ak Edgar Codd. Mesye yo te ap travay pou kreye planèt planèt ki minimize rdondans ak objektif pou redui tan enfòmatik. Fòm nan twazyèm nòmal retire kolòn ki pa depann sou kle prensipal la nan adisyon nan satisfè direktiv yo nan fòm yo nan premye ak dezyèm nòmal. BCNF, ki se pafwa refere yo kòm 3.5NF, satisfè tout egzijans yo nan 3NF epi mande ke kle kandida yo pa gen okenn depandans sou lòt atribi nan yon tab.

Nan moman kreyasyon BCNF a, Boyce te youn nan devlopè kle yo nan lang estriktire angle Query (SQL), ki amelyore rekipere done lè l sèvi avèk modèl relasyon Codd a. Nan modèl sa a, Codd poze ki konpleksite estriktirèl nan baz done ka redwi, ki vle di demann ta ka gen plis pouvwa anpil ak fleksib.

Lè l sèvi avèk refleksyon baz done relasyon li yo, Codd defini 1NF, 2NF, ak 3NF direktiv. Li asosye ak Boyce defini BCNF.

Kandida ak BCNF

Yon kle kandida se yon kolòn oswa konbinezon de kolòn nan yon tab ki fòme yon kle inik nan baz done a. Konbinezon de atribi ka itilize pou idantifye yon dosye baz done san refere li a nenpòt lòt done. Chak tab ka gen kle kandida miltip, nenpòt ki youn ki ka kalifye kòm kle prensipal la. Yon tab gen sèlman yon kle prensipal.

Kle kandida yo dwe inik.

Yon relasyon se nan BCNF si chak detèminan se yon kle kandida. Konsidere yon tab baz done ki estoke enfòmasyon anplwaye epi li gen atribi , , , ak .

Nan tablo sa a, jaden an detèmine first_name ak last_name. Menm jan an tou, tuple la (, ) detèmine .

Kle kandida a pou baz done sa a se paske li se valè a sèlman ki pa ka itilize pa yon lòt ranje.