關系數(shù)據(jù)庫設計理論(存儲版)
【正文】 RBook無關。 b. 多值依賴實際表現(xiàn)： 是對元組值的約束。刪除 SPD的 S2,P1,D1，不會要求刪除 S1,P1,D1。有些文獻稱 5NF為 PJNF (projectionjoin normal form)，意指它概括了以投影、連接為基礎的所有規(guī)范化。 ? 分解的兩個指標： 無損分解和函數(shù)依賴保持性。 。 ? 關系模式分解的一般要求： 關系模式經(jīng)分解后，應與原來的關系等價。 ? 5NF定義： 如果在關系模式 R中，除了由超鍵構成的連接依賴外，沒有其它連接依賴存在，則稱R屬于第五范式，簡記 5NF。于是，在插入 S2,P1,D1的同時，必須插入S1,P1,D1。既是關系級，需通過關系的 “ 連接 ” 運算發(fā)生聯(lián)系。同時，也有一組完備有效的多值依賴推理規(guī)則，用來推導 D+中的所有多值依賴。 b. 刪除異常： 刪除某門課程的一本參考書，因該課程授課教師有多名，故須刪除多個元組。 a. 函數(shù)依賴討論的是： 元組內屬性與屬性間的依賴或決定關系對 “ 屬性取值的影響 ” ，即 “ 屬性級的影響 ” ，如：屬性值是否可插入或保留； b. 現(xiàn)將視線上升到對元組級的影響，即：討論元組內屬性間的依賴關系對 “ 元組級的影響 ” ，即：某一屬性取值在插入與刪除時是否影響多個元組。 ? 3NF不一定是 BCNF，而 BCNF一定是 3NF。 ： 如選修某課程的學生全畢業(yè)，刪除學生則會刪除課程的信息。 ： 由于存在冗余，故如修改一個系信息，則要修改多行 . Students (Sid, SName, DName, DDirector) 3NF的得來： 3NF是從 1NF消除非鍵屬性對鍵的部分函數(shù)依賴和從 2NF消除傳遞函數(shù)依賴而得到的關系模式。 2NF關系可能的異常： 仍可能存在插入異常、刪除異常、更新異常和冗余。 非第一范式的關系轉換為 1NF關系： 將復合屬性變?yōu)楹唵螌傩约纯伞? ① 1NF和 2NF一般作為規(guī)范化過程的過渡范式。 (3) 分解規(guī)則 (Deposition)：如果 X→Y ， Z?Y，則 X→Z 。 Armstrong公理： 為從已知的函數(shù)依賴推導出其他的函數(shù)依賴， Armstrong提出了一套推理規(guī)則，稱為 Armstrong公理(Armstrong’s Axioms)。 部分函數(shù)依賴： 若 X→Y ，但 Y不完全函數(shù)依賴于 X，則稱 Y部分函數(shù)依賴于 X，記作： X Y。 函數(shù)依賴關心的問題： 是一個或一組屬性的值決定其他屬性的值。解決異常的方法，是利用規(guī)范化理論，對關系模式迚行相應的分解，以消除這些異常。 為何存在這些問題 數(shù)據(jù)的語義不但在完整性方面有體現(xiàn)，在關系模式的設計方面也有體現(xiàn)。 (2) 示例模式 2 該關系模式中包含的數(shù)據(jù)語義： ① 課程與教師乊間為 m∶n 的聯(lián)系； Teach (CName, TName, RBook) ② 課程與參考書乊間為 1∶n 的聯(lián)系。 候選鍵為： (Sid, Cid)和 (Sid, Tid)。 (2) 刪除異常 (Delete Anomaly) 表現(xiàn)： (4) 更新異常 (Update Anomaly) ① 更新一個元組卻要求更新多個元組。如果將各種數(shù)據(jù)集中于一個模式中，一般都會違背以上限制，從而造成異常。對于 R的仸意實例 r， r中仸意兩個元組 t1和 t2，如果 t1[X]=t2[X] 則 t1[Y]=t2[Y]，那么稱 X函數(shù)地確定 Y，或 Y函數(shù)地依賴于 X，記作： X→Y ， X稱為決定子 (Determinant)。 完全函數(shù)依賴： 設 R是一個具有屬性集合 U的關系模式，如果X→Y ，并且對于 X的仸何一個真子集 Z， Z→Y 都不成立，則稱 Y完全函數(shù)依賴于 X，記作： X Y。如果 R的一個關系實例滿足 F，則必然滿足 X→Y ，則稱 F邏輯蘊含 (Imply) X→Y 。 (1) 合并規(guī)則 (Union)：如果 X→Y ， X→Z ，則 X→YZ 。 ② 規(guī)范程度不一定越高就越好。例如前面的關系模式示例都是 INF，但仍存在異常。 ： 由于存在冗余，故如果某學生要轉系，則要修改多行 . 2NF實質： 不存在非鍵屬性 “ 部分函數(shù)依賴 ” 于鍵的情況。 ① Sid→SName ② Sid→DName ④ Sid→DDirector ③ DName→DDirector ： 由于系有眾多學生，而每個學生均帶有系信息，故冗余?；虿迦霙]有學生選課的課程時，不能插入。 (4)BCNF范式 2022年 10月 23日 Designed by Tao Hongcai 21 說明： ? 由于 BCNF的每一個非平凡函數(shù)依賴的決定子必為候選鍵，故不會出現(xiàn) 3NF中決定子可能不是候選鍵的情況。其原因是由于存在多值依賴情況。這是 插入異常的表現(xiàn)乊二 。 多值依賴公理：
規(guī)章制度相關推薦
鄂ICP備17016276號-1