1、第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh1n韓華韓華n信息科學(xué)與工程系信息科學(xué)與工程系 2009 .08第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh2 第三章第三章 規(guī)范化理論規(guī)范化理論數(shù)據(jù)依賴數(shù)據(jù)依賴3.1范范 式式3.23.3規(guī)范化舉例規(guī)范化舉例第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh33.1 數(shù)據(jù)依賴數(shù)據(jù)依賴數(shù)據(jù)依賴是通過關(guān)系中屬性間屬性間值值的決定關(guān)系決定關(guān)系體現(xiàn)出來的數(shù)據(jù)間的相互關(guān)系。例如，學(xué)生的學(xué)號學(xué)號可以決定決定學(xué)生的姓名，學(xué)生的學(xué)號學(xué)號加上加上他所選課程的課程號課程號可以決定決定他這門課的成績，等等?，F(xiàn)在人們已經(jīng)提出了許多種類型的數(shù)據(jù)

2、依賴，其中最重要的是函數(shù)依賴函數(shù)依賴（Functional Dependency，簡記為FD） 第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh41函數(shù)依賴n一般地講，設(shè)X、Y是關(guān)系的兩個不同的兩個不同的屬性組屬性組，如果X的取值確定時，Y的取值也就確定了，叫做X X函數(shù)決定函數(shù)決定Y Y或Y Y函數(shù)依賴于函數(shù)依賴于X ，表示為X Y ，其中X稱作決定因素決定因素n這種依賴關(guān)系實(shí)際上是函數(shù)關(guān)系，正象一個函數(shù)y=f(x)一樣，x的值給定了，函數(shù)值y也就唯就唯一地確定了一地確定了。第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh5例子n設(shè)關(guān)系模式nR(學(xué)號學(xué)號，所在系，系主任，課程

3、號課程號，成績)n若一名學(xué)生可以上若干門課，并在一個系注冊，每個系只有一個系主任。n則該模式的屬性間存在著如下的函數(shù)依賴：n學(xué)號學(xué)號所在系所在系n學(xué)號學(xué)號系主任系主任n所在系所在系系主任系主任n（學(xué)號（學(xué)號, , 課程號）課程號）成績成績該模式的屬該模式的屬性間存在怎性間存在怎樣的函數(shù)依樣的函數(shù)依賴？賴？第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh6職工號職工號(A) 基本工資基本工資(B)獎金獎金(C) 051 390 50 052 420 50 053 390 80A B A C B A C A第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh7函數(shù)依賴（續(xù)）n函數(shù)依賴函

4、數(shù)依賴是語義范疇的概念。只能根據(jù)語義來確定一個函數(shù)依賴。n例如，姓名姓名年齡年齡，這個函數(shù)依賴只有在該部門函數(shù)依賴只有在該部門沒有同名人的條件下成立沒有同名人的條件下成立。如果允許有同名人,則年齡就不再函數(shù)依賴于姓名。n設(shè)計者也可以對現(xiàn)實(shí)世界作強(qiáng)制的規(guī)定。設(shè)計者也可以對現(xiàn)實(shí)世界作強(qiáng)制的規(guī)定。n例如，規(guī)定不允許同名人出現(xiàn),因而使姓名年齡函數(shù)依賴成立。這樣這樣當(dāng)插入某個元組時當(dāng)插入某個元組時這個元這個元組上的組上的屬性值屬性值必須滿足規(guī)定的函數(shù)依賴必須滿足規(guī)定的函數(shù)依賴, ,若若發(fā)現(xiàn)發(fā)現(xiàn)有同名人有同名人存在存在, ,則則拒絕插入拒絕插入該元組。該元組。第三章第三章 規(guī)范化理論規(guī)范化理論2022-3

5、-23hh8n1. 函數(shù)依賴是語義范疇的概念.它反映了一種語義完整性約束,只能根據(jù)語義來確定一個函數(shù)依賴.n2. 函數(shù)依賴是指關(guān)系R模式的所有關(guān)系元組均應(yīng)滿足的約束條件,而不是關(guān)系模式中的某個或某些元組滿足的約束條件第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh93. 如果X Y,并且Y不是X的子集,則稱X Y是非平凡的函數(shù)依賴;如果Y是X的子集,則稱X Y是平凡的函數(shù)依賴; 我們討論的是非平凡的函數(shù)依賴.4. 函數(shù)依賴的存在,決定了自然連接的特性 設(shè)關(guān)系模式R(X,Y,Z),X,Y,Z為不相交的屬性集合,若X Y,X Z,則有R(X,Y,Z)=RX,Y*RX,Z 即用他們的自然連接

6、可復(fù)員原關(guān)系模式第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh102完全函數(shù)依賴和部分函數(shù)依賴n在函數(shù)依賴中，如果對于X的任何一個真真子集子集X，都有X , 則稱 完全函數(shù)依賴于X，否則稱Y部分函數(shù)依賴于X。學(xué)學(xué) 號號 課程號課程號所在系所在系成績成績完全函數(shù)確定完全函數(shù)確定關(guān)鍵字（主碼）R(學(xué)號，所在系，系主任，課程號，成績)例部分函數(shù)確定部分函數(shù)確定第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh113傳遞函數(shù)依賴n如果存在函數(shù)依賴XY，YZ，并且Y不是X的子集，同時Y不能函數(shù)決定不能函數(shù)決定X,則Z傳遞傳遞函數(shù)依函數(shù)依賴于賴于X。n例如，學(xué)號所在系，所在系系主任，則學(xué)號

7、系主任，這樣“系主任”傳遞函數(shù)依賴于“學(xué)號”。第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh12 3.2范式范式3.2.13.2.23.2.3第一范式（1NF）第二范式（2NF）第三范式（2NF）3.2.4BC范式（BCNF）第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh13n關(guān)系數(shù)據(jù)庫中的關(guān)系模式是要滿足一定要求的，滿足不同程度要求的為不同范式。n滿足最低要求的叫第一范式，簡稱1NF。在第在第一范式中一范式中滿足進(jìn)一步要求滿足進(jìn)一步要求的為第二范式第二范式，其余以此類推。顯然，各種范式之間存在聯(lián)系： 1NF1NF 2NF2NF 3NF3NF BCNFBCNFn* * *

8、*一個一個低一級范式低一級范式的關(guān)系模式的關(guān)系模式，通過模式分通過模式分解解可以轉(zhuǎn)換為可以轉(zhuǎn)換為若干個若干個高一級范式的關(guān)系模式高一級范式的關(guān)系模式的的集合集合，這種過程就叫規(guī)范化規(guī)范化* * * *。 什么叫范式？第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh143.2.1第一范式（1NF）n關(guān)系模型要求關(guān)系模式的每一個每一個分量分量必須必須是一個是一個不可分的不可分的數(shù)據(jù)項(xiàng)數(shù)據(jù)項(xiàng)，也就是說，不允不允許許表中還有表表中還有表。凡是滿足該條件的關(guān)系模式都屬于第一范式第一范式。n第一范式是對關(guān)系模式的一個最起碼的要求。不滿足第一范式的數(shù)據(jù)庫模式不能稱不滿足第一范式的數(shù)據(jù)庫模式不能稱為關(guān)

9、系數(shù)據(jù)庫為關(guān)系數(shù)據(jù)庫。 第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh15非第一范式轉(zhuǎn)換為第一范式n縱向展開縱向展開第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh16非第一范式轉(zhuǎn)換為第一范式n橫向展開橫向展開第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh171NF存在的問題）插入異常）插入異常（無法插入一個沒有選課的學(xué)生的有關(guān)信息）n）刪除異常）刪除異常（如果刪除一門課程，則整個元組就不存在，即將刪除其它信息）n）修改復(fù)雜）修改復(fù)雜（如果學(xué)生換系，不但要修改系名，還要修改系主任，而且有幾條記錄就得修改幾次）。n4 4）數(shù)據(jù)冗余度大數(shù)據(jù)冗余度大 第三章第三章 規(guī)范化

10、理論規(guī)范化理論2022-3-23hh18R R(學(xué)號，所在系，系主任，課程號，成績)學(xué)號學(xué)號課程號課程號系主任系主任成績成績所在系所在系怎樣解決以上四大問題？模式分解！完全函數(shù)依賴完全函數(shù)依賴部分函數(shù)依賴部分函數(shù)依賴部分函數(shù)依賴部分函數(shù)依賴模式分解（模式分解（投影分解法投影分解法）去掉部分函數(shù)依賴去掉部分函數(shù)依賴SC(SC(學(xué)號，課程號，成績學(xué)號，課程號，成績) )SDMSDM（學(xué)號，所在系，系主任）（學(xué)號，所在系，系主任）3.2.2第二范式（2NF）第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh19學(xué)號學(xué)號課程號課程號成績成績完全函數(shù)依賴完全函數(shù)依賴學(xué)號學(xué)號系主任系主任所在系所在系

11、完全函數(shù)依賴完全函數(shù)依賴完全函數(shù)依賴完全函數(shù)依賴SC(SC(學(xué)號，課程號，成績學(xué)號，課程號，成績) )SDMSDM（學(xué)號，所在系，系主任）（學(xué)號，所在系，系主任）第二范式第二范式第二范式第二范式第二范式(續(xù))第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh20第二范式(續(xù))n可以插入可以插入尚未選課的學(xué)生尚未選課的學(xué)生。n刪除刪除一個學(xué)生的所有一個學(xué)生的所有選課信息選課信息，所在系關(guān)系系關(guān)系SDMSDM中關(guān)中關(guān)于該于該學(xué)生的元組學(xué)生的元組不受影響不受影響。n大大大大降低了降低了數(shù)據(jù)冗余數(shù)據(jù)冗余。n簡化了簡化了修改操作修改操作。分解后，上述四大問題解決了嗎？SC(SC(學(xué)號，課程號，成績

12、學(xué)號，課程號，成績) )SDMSDM（學(xué)號，所在系，系主任）（學(xué)號，所在系，系主任）第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh21第二范式(續(xù))n2NF2NF的定義的定義：n如果一個關(guān)系模式關(guān)系模式R R屬于屬于1NF1NF，且它的每一個非非主屬性主屬性都完全函數(shù)依賴于碼，則R屬于2NF。1NF1NF2NF2NF消除掉部分函數(shù)依賴消除掉部分函數(shù)依賴第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh22第二范式(續(xù))n2NF2NF在一定程度上減輕原1NF關(guān)系中存在的插入插入異常異常、刪除異常、刪除異常、數(shù)據(jù)冗余度大數(shù)據(jù)冗余度大、修改復(fù)雜修改復(fù)雜等問題。n但2NF并不能完全消除

13、并不能完全消除關(guān)系模式中的各種異常各種異常情況和數(shù)據(jù)冗余情況和數(shù)據(jù)冗余。n例如上例中，滿足了第二范式的關(guān)系模式SDM仍然存在以下問題：第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh232NF存在的問題n插入異常插入異常：如果某個系因種種原因（例如剛成立），目前暫時沒有在校學(xué)生，無法把這個系的信息存入數(shù)據(jù)庫。n刪除異常刪除異常：如果某個系的學(xué)生全部畢業(yè)了，在刪除該系學(xué)生信息的同時，把這個系的信息也丟掉了。n數(shù)據(jù)冗余度大數(shù)據(jù)冗余度大：每個系只有一個系主任，關(guān)于系主任的信息卻重復(fù)出現(xiàn)，重復(fù)次數(shù)與該系學(xué)生人數(shù)相同。n修改復(fù)雜修改復(fù)雜：當(dāng)學(xué)校調(diào)整系主任時，由于關(guān)于每個系的系主任信息是重復(fù)存儲的

14、，修改時必須同時更新該系所有學(xué)生的“系主任”值。SC(SC(學(xué)號，課程號，成績學(xué)號，課程號，成績) )SDMSDM（學(xué)號，所在系，系主任）（學(xué)號，所在系，系主任）第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh24n（學(xué)號，系名，系主任）（學(xué)號，系名，系主任）n（學(xué)號，課程號，成績）（學(xué)號，課程號，成績）n其中：學(xué)號其中：學(xué)號系名，系名系名，系名系主任學(xué)號系主任學(xué)號系主任，則系主任，則有有傳遞函數(shù)依賴傳遞函數(shù)依賴。n用投影分解法可將可分解并規(guī)范為用投影分解法可將可分解并規(guī)范為：n（學(xué)號學(xué)號，系名），系名）n（系名系名，系主任），系主任）3.2.3第三范式（3NF）2NF2NF存在的問存

15、在的問題的原因什么？題的原因什么？怎樣消除怎樣消除傳遞函數(shù)傳遞函數(shù)依賴？依賴？第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh253.2.3第三范式（3NF） 在分解后的關(guān)系模式中既沒有非主屬性非主屬性對碼對碼的部分函數(shù)依賴的部分函數(shù)依賴也沒有非主屬性對碼的傳遞函主屬性對碼的傳遞函數(shù)依賴數(shù)依賴，在一定程度上解決了上述四個問題，即：1NF1NF2NF2NF消除掉部分函數(shù)依賴消除掉部分函數(shù)依賴2NF2NF消除掉傳遞函數(shù)依賴消除掉傳遞函數(shù)依賴第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh26第三范式（續(xù)）n所在系關(guān)系中可以插入可以插入無在校學(xué)生的系的信息系的信息。n某個系的學(xué)生全部

16、畢業(yè)學(xué)生全部畢業(yè)了，該系的信息仍存在系的信息仍存在。n關(guān)于系的系主任的信息系主任的信息只在DM關(guān)系中存儲一次存儲一次。n當(dāng)學(xué)校調(diào)整某個系的系主任調(diào)整某個系的系主任時，只需修改修改DMDM關(guān)系中關(guān)系中一個相應(yīng)元組的一個相應(yīng)元組的“系主任系主任”值值。第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh27第三范式（續(xù)）n3NF3NF的定義是：的定義是：n如果一個關(guān)系模式R屬于屬于2NF2NF，并且每一個非主屬性都不傳遞函數(shù)依賴于不傳遞函數(shù)依賴于R R的碼的碼，則R3NFR3NF。n3NF就是要求R的每一個非主屬性既不部分函數(shù)依賴也不傳遞函數(shù)依賴于碼。第三章第三章 規(guī)范化理論規(guī)范化理論2022

17、-3-23hh28第三范式（續(xù)）n采用投影分解法將一個2NF的關(guān)系模式分解為多個3NF的關(guān)系模式，可在一定程度上減輕在一定程度上減輕原2NF關(guān)系模式中存在的插入異常、刪除異常、插入異常、刪除異常、數(shù)據(jù)冗余度大、修改復(fù)雜數(shù)據(jù)冗余度大、修改復(fù)雜等問題。n但是，并不能完全消除關(guān)系模式中的各種異常并不能完全消除關(guān)系模式中的各種異常情況和數(shù)據(jù)冗余 第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh29第三范式（續(xù)）n例： 在關(guān)系模式R R（S S，C C，Z Z）中，S表示街道，C表示城市，Z表示郵政編碼。根據(jù)數(shù)據(jù)語義數(shù)據(jù)語義可知，R具有如下函數(shù)依賴：（S S，C C）Z Z， ZCZC其中R的碼

18、為SS，CC。nR中沒有任何非主屬性對碼的部分函數(shù)依賴或傳遞函數(shù)依賴，因此R R屬于屬于3NF3NF。但是，該關(guān)系模式仍然存在一些問題，例如，要要插入郵政編碼與其對應(yīng)城市的關(guān)系，必須知道插入郵政編碼與其對應(yīng)城市的關(guān)系，必須知道該郵政編碼所對應(yīng)的一條街道名。該郵政編碼所對應(yīng)的一條街道名。第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh303.2.4 BC范式（BCNF）(自學(xué))n3NF出現(xiàn)異常的問題在于主屬性主屬性C C函數(shù)依賴于函數(shù)依賴于Z Z，而Z不是超碼。這樣就存在主屬性對碼的傳遞主屬性對碼的傳遞函數(shù)依賴函數(shù)依賴（S，C）Z，ZC，從而（S，C）C）。n解決這一問題仍然可以采用投影

19、分解法投影分解法，將R分解為二個關(guān)系模式：nR1R1(S，Z)，其中R1的碼為SnR2R2(Z，C)，其中R2的碼為Zn在分解后的關(guān)系模式中沒有任何屬性對碼的部沒有任何屬性對碼的部分函數(shù)依賴和傳遞函數(shù)依賴分函數(shù)依賴和傳遞函數(shù)依賴。它解決了3NF所存在的問題：第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh31BC范式（續(xù)）nBCNFBCNF的定義是：的定義是：n如果關(guān)系模式R屬于1NF，并且R的所有屬性（包括主屬性主屬性和非主屬性非主屬性）既不部分依賴也不不部分依賴也不傳遞依賴于傳遞依賴于R R的碼的碼，則RBCNFRBCNF。nBCNF(Boyce Codd Normal Form)

20、是由Boyce和Codd提出的，比3NF更進(jìn)了一步。通常認(rèn)為BCNF是修正了的第三范式，所以只要不引起混淆或誤解，有時統(tǒng)稱它們?yōu)榈谌妒?。有時統(tǒng)稱它們?yōu)榈谌妒?。第三章第三?規(guī)范化理論規(guī)范化理論2022-3-23hh32BC范式（續(xù)）n采用投影分解法投影分解法將一個3NF的關(guān)系分解為多個BCNF的關(guān)系，可以進(jìn)一步解決原解決原3NF3NF關(guān)系關(guān)系中存在的插入異常、刪除異常、數(shù)據(jù)冗余中存在的插入異常、刪除異常、數(shù)據(jù)冗余度大、修改復(fù)雜等度大、修改復(fù)雜等問題。n如果一個關(guān)系數(shù)據(jù)庫中的所有關(guān)系模式都屬于BCNF，那么在函數(shù)依賴范疇內(nèi)在函數(shù)依賴范疇內(nèi)，它已實(shí)現(xiàn)了模式的徹底分解模式的徹底分解，達(dá)到了最高的

21、規(guī)達(dá)到了最高的規(guī)范化程度，范化程度，消除了插入異常和刪除異常消除了插入異常和刪除異常。 第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh333.3 規(guī)范化舉例n一個不好的關(guān)系模式不好的關(guān)系模式會導(dǎo)致n插入異常插入異常n刪除異常刪除異常n數(shù)據(jù)冗余度大數(shù)據(jù)冗余度大n修改復(fù)雜修改復(fù)雜n規(guī)范化的目的：規(guī)范化的目的：n逐步消除數(shù)據(jù)依賴中不合適的部分n使模式中的各關(guān)系模式達(dá)到某種程度的分離分離，讓一個關(guān)讓一個關(guān)系系描述描述一個概念一個概念、一個實(shí)體或者實(shí)體間的一種聯(lián)系一個實(shí)體或者實(shí)體間的一種聯(lián)系。n若多于一個概念就把它分離分離出去。n因此，所謂規(guī)范化規(guī)范化概念的單一化概念的單一化。 第三章第三章

22、規(guī)范化理論規(guī)范化理論2022-3-23hh34屬于屬于1NF1NF的關(guān)系模式的關(guān)系模式屬于屬于2NF2NF的關(guān)系模式的關(guān)系模式消除消除非主屬性非主屬性對碼的對碼的部分函數(shù)部分函數(shù)依賴依賴屬于屬于3NF3NF的關(guān)系模式的關(guān)系模式消除消除非主屬性非主屬性對碼的對碼的傳遞函數(shù)傳遞函數(shù)依賴依賴屬于屬于BCNFBCNF的關(guān)系模式的關(guān)系模式消除消除所有屬性所有屬性對碼的對碼的部分和傳遞部分和傳遞函數(shù)依賴函數(shù)依賴規(guī)范化的過程原始的關(guān)系模式原始的關(guān)系模式橫向或縱向展開（橫向或縱向展開（去掉表中有表的情況去掉表中有表的情況）第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh35規(guī)范化舉例n例3-1 將下列

23、模式轉(zhuǎn)變?yōu)榈谝环妒絥橫向展開第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh36規(guī)范化舉例n例3-2 ：判斷下列模式中，哪些是第二范式哪些是第二范式，指出非主屬性對碼的非主屬性對碼的部分函數(shù)依賴部分函數(shù)依賴。并將非第非第二范式的關(guān)系模式二范式的關(guān)系模式轉(zhuǎn)換為第二范式轉(zhuǎn)換為第二范式。（1）關(guān)系模式R1（A,B,C,D）,具有如下函數(shù)依賴nABAB，nA A，CDCD第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh37 A C B D完全函數(shù)依賴完全函數(shù)依賴部分函數(shù)依賴部分函數(shù)依賴 A C D完全函數(shù)依賴完全函數(shù)依賴 A B完全函數(shù)依賴完全函數(shù)依賴R11（A , B）（）（2NF）

24、R12（A , C , D）（）（2NF）規(guī)范化舉例第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh38規(guī)范化舉例（2）關(guān)系模式R2R2（A,B,C,DA,B,C,D）,具有如下函數(shù)依賴nABCABC，nACD,ACD,nACBACB關(guān)系模式R2的碼是AB, ACAB, AC，不存在不存在非主屬性非主屬性對對碼的碼的部分函數(shù)依賴部分函數(shù)依賴，R2是第二范式。第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh39規(guī)范化舉例n例例3-33-3：判斷下列模式中，哪些是第二范式，但不是第三范式，將其轉(zhuǎn)換為第三范式。（1）關(guān)系模式R1R1（A,B,C,DA,B,C,D）,具有如下函數(shù)依賴n

25、ABCnCD關(guān)系模式R1的碼是碼是ABAB,不存在不存在非主屬性非主屬性對碼的部部分函數(shù)依賴分函數(shù)依賴，屬于第二范式屬于第二范式。第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh40規(guī)范化舉例nABCABC，CDCD， AB DAB D但由于存在非主屬性但由于存在非主屬性D D對碼對碼ABAB的的傳遞函數(shù)依賴傳遞函數(shù)依賴，故不屬于第三范式故不屬于第三范式。需要進(jìn)行如下分解：需要進(jìn)行如下分解：n去掉函數(shù)依賴去掉函數(shù)依賴AB DAB D，就必須使他們分別屬，就必須使他們分別屬于不同的關(guān)系模式于不同的關(guān)系模式nR11R11（A,BA,B，C C），），具有函數(shù)依賴具有函數(shù)依賴ABCABCnR

26、12R12（C C,D,D），），具有函數(shù)依賴具有函數(shù)依賴CDCDR11R11和和R12R12消除了非主屬性對碼的傳遞函數(shù)依賴，消除了非主屬性對碼的傳遞函數(shù)依賴，屬于第三范式屬于第三范式。第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh41規(guī)范化舉例（2）第二個關(guān)系模式R2R2（A,B,C,DA,B,C,D）,具有如下函數(shù)依賴nABC，nDA,nDB關(guān)系模式R2的碼是D,不存在非主屬性對碼的部分函數(shù)依賴，屬于第二范式屬于第二范式。第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh42nABC，DA,DB，D CnD 傳遞函數(shù)決定傳遞函數(shù)決定CnR2（A,B,C,D）不屬于不屬于3NFn nR11（A,B,C) （ ABC），屬于屬于3NFnR12（D,A,B）（ DA,DB ）屬于屬于3NF怎樣分解？怎樣分解？思路是什么？思路是什么？投影分解投影分解, , 使使D D和和C C分分別屬于別屬于不同的關(guān)系模不同的關(guān)系模式式第三章第三章 規(guī)范化理論規(guī)范化理論2022-3-23hh43規(guī)范化舉例n例3-4： 右圖表示了一個證券公司證券公司的客戶關(guān)系E-R圖。請將其中的每一個每一個實(shí)體實(shí)體和每一個聯(lián)系直接轉(zhuǎn)化為關(guān)系模關(guān)系模