規(guī)范化理論 全省一等獎

數(shù)據(jù)庫技術(shù)與應(yīng)用規(guī)范化理論創(chuàng)建采集任務(wù)01BC范式多值依賴0102目錄CONTENTSBC范式01設(shè)關(guān)系模式R<U，F(xiàn)>∈1NF，如果對于R的每個函數(shù)依賴X→Y，若Y不屬于X，則X必含有候選碼，那么R∈BCNF。若R∈BCNF每一個決定屬性集（因素）都包含（候選）碼R中的所有屬性（主，非主屬性）都完全函數(shù)依賴于碼R∈3NF（證明）若R∈3NF則R不一定∈BCNFBC范式例：在關(guān)系模式STJ（S，T，J）中，S表示學(xué)生，T表示教師，J表示課程。每一教師只教一門課。每門課由若干教師教，某一學(xué)生選定某門課，就確定了一個固定的教師。某個學(xué)生選修某個教師的課就確定了所選課的名稱：(S，J)→T，(S，T)→J，T→JBC范式

SJTSTJSTJBC范式STJ∈3NF

(S，J)和(S，T)都可以作為候選碼

S、T、J都是主屬性STJ∈BCNFT→J，T是決定屬性集，T不是候選碼BC范式解決方法：將STJ分解為二個關(guān)系模式：

SJ(S，J)∈BCNF，TJ(T，J)∈BCNF

沒有任何屬性對碼的部分函數(shù)依賴和傳遞函數(shù)依賴SJSTTJTJBC范式3NF與BCNF的關(guān)系如果關(guān)系模式R∈BCNF，必定有R∈3NF如果R∈3NF，且R只有一個候選碼，則R必屬于BCNF。BC范式BCNF的關(guān)系模式所具有的性質(zhì)所有非主屬性都完全函數(shù)依賴于每個候選碼所有主屬性都完全函數(shù)依賴于每個不包含它的候選碼沒有任何屬性完全函數(shù)依賴于非碼的任何一組屬性BC范式多值依賴與第四范式例:學(xué)校中某一門課程由多個教師講授，他們使用相同的一套參考書。關(guān)系模式Teaching(C,T,B)課程C、教師T和參考書BBC范式………課程C教員T參考書B

物理

數(shù)學(xué)

計算數(shù)學(xué)李勇王軍

李勇張平

張平周峰

普通物理學(xué)光學(xué)原理物理習(xí)題集

數(shù)學(xué)分析微分方程高等代數(shù)

數(shù)學(xué)分析

BC范式用二維表表示Teaching普通物理學(xué)光學(xué)原理物理習(xí)題集普通物理學(xué)光學(xué)原理物理習(xí)題集數(shù)學(xué)分析微分方程高等代數(shù)數(shù)學(xué)分析微分方程高等代數(shù)…李勇李勇李勇王軍王軍王軍李勇李勇李勇張平張平張平

…物理物理物理物理物理物理數(shù)學(xué)數(shù)學(xué)數(shù)學(xué)數(shù)學(xué)數(shù)學(xué)數(shù)學(xué)

…參考書B教員T課程CBC范式Teaching∈BCNF:Teach具有唯一候選碼(C，T，B)，即全碼Teaching模式中存在的問題

(1)數(shù)據(jù)冗余度大：有多少名任課教師，參考書就要存儲多少次

BC范式(2)插入操作復(fù)雜：當(dāng)某一課程增加一名任課教師時，該課程有多少本參照書，就必須插入多少個元組例如物理課增加一名教師劉關(guān)，需要插入兩個元組：（物理，劉關(guān)，普通物理學(xué)）（物理，劉關(guān)，光學(xué)原理）BC范式(3)刪除操作復(fù)雜：某一門課要去掉一本參考書，該課程有多少名教師，就必須刪除多少個元組(4)修改操作復(fù)雜：某一門課要修改一本參考書，該課程有多少名教師，就必須修改多少個元組產(chǎn)生原因 存在多值依賴BC范式多值依賴02定義

設(shè)R(U)是一個屬性集U上的一個關(guān)系模式，X、Y和Z是U的子集，并且Z＝U－X－Y，多值依賴X→→Y成立當(dāng)且僅當(dāng)對R的任一關(guān)系r，r在（X，Z）上的每個值對應(yīng)一組Y的值，這組值僅僅決定于X值而與Z值無關(guān)例Teaching（C,T,B）對于C的每一個值，T有一組值與之對應(yīng)，而不論B取何值多值依賴在R（U）的任一關(guān)系r中，如果存在元組t，s使得t[X]=s[X]，那么就必然存在元組w，vr，（w，v可以與s，t相同），使得w[X]=v[X]=t[X]，而w[Y]=t[Y]，w[Z]=s[Z]，v[Y]=s[Y]，v[Z]=t[Z]（即交換s，t元組的Y值所得的兩個新元組必在r中），則Y多值依賴于X，記為X→→Y。這里，X，Y是U的子集，Z=U-X-Y。

txy1z2s