數(shù)據(jù)庫(kù)-課件第7講-化設(shè)計(jì)

第七章關(guān)系的規(guī)范化設(shè)計(jì)

三個(gè)階

信息世界概念模型機(jī)器世界數(shù)據(jù)模型

如E-R模物 數(shù)據(jù)模 ，電氣學(xué)院 Overviewofdatabase ，電氣學(xué)院 Overviewofdatabase概念設(shè)計(jì)(Conceptualdesign→EntityRelationship分析‘問(wèn)題’，定義那些信息應(yīng)該為DB在應(yīng)用中有哪些實(shí)體、關(guān)系和屬使用某種語(yǔ)言來(lái)明確模式優(yōu)化（邏輯設(shè)計(jì)）ER圖轉(zhuǎn)化為關(guān)系模檢查關(guān)系模物理數(shù)據(jù)庫(kù)設(shè)計(jì)及性能優(yōu) ，電氣學(xué)院 ，電氣學(xué)院 內(nèi)規(guī)范化的目標(biāo)與意函數(shù)依規(guī)范化過(guò)程及范1NF,2NF, ，電氣學(xué)院 本章要 ，電氣學(xué)院 7.1規(guī)范化的目標(biāo)與意 ，電氣學(xué)院 規(guī)范化的目標(biāo)與意規(guī)范化(Normalization)：用來(lái)產(chǎn)生既具有所期望在滿足數(shù)據(jù)需求的前在同一個(gè)關(guān)系中，屬性之間具備良好的邏輯聯(lián)最大程度減少數(shù)據(jù)冗使得用戶更方便 數(shù)占用最少的計(jì)算 資 ，電氣學(xué)院

，電氣學(xué)院 StaffBranch關(guān)系包含冗余數(shù)據(jù);其分支機(jī)構(gòu)細(xì)節(jié)對(duì)信息時(shí)，只需重復(fù)分支機(jī)構(gòu)(branchNo)。異常修改異常 ，電氣學(xué)院 數(shù)據(jù)冗余和導(dǎo)致的更新異新職員信息，同時(shí)需要輸入被分配機(jī)構(gòu)信，導(dǎo)致潛在數(shù)據(jù)不一新的分支機(jī)構(gòu)，而該機(jī)構(gòu)暫時(shí)無(wú)職員，使主鍵staffNo為空 實(shí)體完整性原當(dāng)刪除一條記錄，若該記錄對(duì)應(yīng)的分支機(jī)構(gòu)只一個(gè)，則將該機(jī)構(gòu)同時(shí)刪， ，電氣學(xué)院 通過(guò)關(guān)系分解避免異Staff+Branch關(guān)系組比StaffBranch關(guān)系具有 解為更小的關(guān)系Staff,Branch來(lái)避免異常；無(wú)損連接(Lossless-join特性，保證原始關(guān)系的每一個(gè)(FunctionalDependency特性，確保在 ，電氣學(xué)院 關(guān)系分解：規(guī)范化理函數(shù)依 模式設(shè) ，電氣學(xué)院 內(nèi)規(guī)范化的目標(biāo)與意函數(shù)依規(guī)范化過(guò)程及范 ，電氣學(xué)院 函數(shù)依賴(FunctionalDependency,規(guī)范化過(guò)程的一個(gè)重要概念為了討論函數(shù)依賴，假設(shè)一個(gè)關(guān)系模R=(A,B,C,定義：描述屬性間的聯(lián)例如：假設(shè)A和B是關(guān)系R的屬性如果對(duì)于每 ，電氣學(xué)院 函數(shù)依賴（續(xù)函數(shù)依賴的表示 ，電氣學(xué)院 函數(shù)依賴（續(xù)當(dāng)A→B當(dāng)兩個(gè)元組A值相同，其B值必然相 ，電氣學(xué)院 函數(shù)依賴的一個(gè)例

(staffNo→staffNo不函數(shù)依賴于 (position×，電氣學(xué)院 函數(shù)依Staff關(guān)系中staffNo和Name對(duì)于已有數(shù)據(jù)staffNo→NameName→但是考慮到重名的情況，在staffNoName屬staffNo→ ，電氣學(xué)院 非平凡FD平凡staffNo,Name→NamestaffNo,Name→staffNo在規(guī)范化過(guò)程中僅考staffNo→ ，電氣學(xué)院 在依賴左右兩邊的屬性之間有一對(duì)一聯(lián)；該依賴任何時(shí)候均成立 函數(shù)依賴是非平凡 ，電氣學(xué)院 確定函數(shù)依這些信息主要從需求分析中獲驗(yàn)和來(lái)彌補(bǔ)。 ，電氣學(xué)院 確定StaffBranchstaffNo→Name,position,salary,branchNo,branchNo→bAddress→branchNo,position→bAddress,position→5個(gè)決定 ，電氣學(xué)院 ，電氣學(xué)院 staffNo,branchNo,bAddress,position),(bAddress, ，電氣學(xué)院 找到法減小其規(guī)模（尋找函數(shù)依賴的最小 集合稱為X的閉包，記為X+ ，電氣學(xué)院 IfBisasubsetofA,thenA→IfA→B,thenA,C→IfA→BandB→C,thenA→ ，電氣學(xué)院 得計(jì)算X+的任務(wù)更簡(jiǎn)化.若D為關(guān)系R的另外一個(gè)屬性子集,有:A→IfA→B,C,thenA→BandA→IfA→BandA→C,thenA→IfA→BandC→DthenA,C→ ，電氣學(xué)院 對(duì)于兩組函數(shù)依賴：Y和X，如果Y中每個(gè)函X對(duì)X中的任何依賴A→B，不存在A的一個(gè)真子集C，使得使用依賴CB替代AB后，得到同X等 ，電氣學(xué)院 最小集合的例StaffBranch關(guān)系中的一個(gè)最小staffNo→staffNo→staffNo→staffNo→branchNo→bAddress→branchNo,position→bAddress,position→ ，電氣學(xué)院 內(nèi)規(guī)范化的目標(biāo)與意函數(shù)依規(guī)范化過(guò)程及范1NF,2NF, ，電氣學(xué)院 ，電氣學(xué)院 ，電氣學(xué)院 ，電氣學(xué)院 (UnnormalizedForm,Branch(branchNo, ，電氣學(xué)院 第一范式(FirstNormalForm, ，電氣學(xué)院 UNF1NFBranch(branchNo, Branch(branchNo, ，電氣學(xué)院 UNF1NF Branch(branchNo,address) phone)

，電氣學(xué)院

(SecondNormalForm基于完全函數(shù)依賴的概假設(shè)A和B是一個(gè)關(guān)系中的兩個(gè)屬性組,如果B對(duì)于函數(shù)依賴A→B,若移除A中任一屬性導(dǎo)致 ，電氣學(xué)院 部分函數(shù)依賴的例Staff關(guān)系中存在依staffNo,Name→但是，branchNo同樣依賴(staffNo,Name)中的一個(gè)子staffNo.因此，上述依賴是 ，電氣學(xué)院 2NF2NF僅應(yīng)用于具有復(fù)合主鍵的 ，電氣學(xué)院 ，電氣學(xué)院 1NFto1NF關(guān)系，標(biāo)識(shí)出主關(guān)鍵字確定該關(guān)系的函數(shù)依賴這些屬性的決定方到新的關(guān)系中. ，電氣學(xué)院 →第三范式(ThirdNormalForm,A,B,andC為一AB以及BC成立, ，電氣學(xué)院

傳遞依賴的例考慮StaffBranchstaffNo→branchNo