[理學(xué)]第三章關(guān)系數(shù)據(jù)理論-文庫吧資料
2025-02-25 03:59本頁面
【正文】 的 :數(shù)據(jù)冗余、插入異常、刪除異常、更新異常等 問題。 當(dāng)碼為 單屬性 或者碼為 全碼 的情況下 ， R?2NF 。 第二范式 S N oC N oS c o r eS N a m eS A g eC L n oM N SMD存在部分函數(shù)依賴，不滿足第 2NF 例 SMD(SNo,SName,Sage,CLno,MN,CNo,Score)是否為 2NF? 36 如何將一個滿足 1NF但不滿足 2NF的關(guān)系轉(zhuǎn)化為 2NF? S N oC N oS c o r eS N oS N a m eS A g eC L n oM NS N oC N oS c o r eS N a m eS A g eC L n oM N關(guān)鍵：分解關(guān)系，從 1NF關(guān)系中消除非主屬性對碼的部分函數(shù)依賴，則可得到 2NF關(guān)系。 ?將 關(guān)系分解，去掉復(fù)雜的函數(shù)依賴 ，向高一級范式轉(zhuǎn)換。 滿足第一范式，是規(guī)范的關(guān)系模式。 范式 第一范式 不滿足第一范式，不是關(guān)系模式。 至此在關(guān)系數(shù)據(jù)庫規(guī)范中建立了一個范式系列：1NF,2NF,3NF,BCNF,4NF,5NF,一級比一級有更嚴(yán)格的要求。1974年， Codd和 Boyce以共同提出了一個新的范式的概念，即 BoyceCodd范式，簡稱 BC范式 。 范式的概念最早由 。 F 主屬性與非主屬性 包含在任何一個候選碼中的屬性 ，稱為 主屬性 不包含在任何碼中的屬性稱為 非主屬性 整個屬性組是碼，稱為 全碼（ Allkey） 28 [例 ] 在關(guān)系 SC（ Sno ， Cno ， Score），（ Sno ， Cno）是碼，主屬性不是碼 [例 ] 關(guān)系模式 R（ P， W， A） P：演奏者 W：作品 A：聽眾 一個演奏者可以演奏多個作品 某一作品可被多個演奏者演奏 聽眾可以欣賞不同演奏者的不同作品 碼為 (P， W， A)，即 AllKey 知識回顧 ?關(guān)系數(shù)據(jù)庫理論包含哪些內(nèi)容？ ?為什么數(shù)據(jù)庫設(shè)計過程中要遵循數(shù)據(jù)庫規(guī)范化理論？ ?什么是關(guān)系模式的函數(shù)依賴？有哪些種類的函數(shù)依賴？ 29 函數(shù)依賴 、 范式 和 模式設(shè)計 。 若 K U,則 K稱為 R的 侯選碼 （ Candidate Key）。 記為： X → Z 如果 X→Y, Y→X， 即 X←→Y ， Y→Z， 則 Z直接依賴于 X。 例， (SNo,CNo) →Score SNo→Score CNo→Score 因此， (SNo,CNo) →Score 若 X→Y，如果對 X的某個真子集 X ’ ，有 X ’ →Y， 則稱 Y對 X部分函數(shù)依賴 ， 記作 X→Y。 SNo與 CNo之間不存在函數(shù)依賴關(guān)系。 ② 屬性 Y與 X 有 1∶ m，只存在函數(shù)依賴 X→Y。 3. 函數(shù)依賴與屬性 X與 Y之間的聯(lián)系類型有關(guān) ① 1∶ 1，存在函數(shù)依賴 X→Y和 Y→X，即 X←→ Y。 我們只能根據(jù)語義來確定一個函數(shù)依賴，而不能按照其形式化定義來證明一個函數(shù)依賴是否成立。 在關(guān)系模式 R(U)中，對于 U的子集 X和 Y， 若 X→Y，但 Y ? X，則稱 X→Y是非平凡的函數(shù)依賴 若 X→Y，但 Y ? X, 則稱 X→Y是 平凡的函數(shù)依賴 例：在關(guān)系 SC(Sno, Cno, Score)中， 非平凡函數(shù)依賴： (Sno, Cno) → Score 平凡函數(shù)依賴： (Sno, Cno) → Sno 若不特別聲明，我們討論的都是非平凡的函數(shù)依賴 。 要求： 1．將數(shù)據(jù)庫用 ER圖來描述；（ 5分） 2．寫出二元關(guān)系模式 ,并指出各個關(guān)系模式的主關(guān)鍵字 (主碼 )，外部關(guān)鍵字 (外碼 )；（ 5分） 3． 寫出關(guān)系模式，關(guān)系模式用三元組 R（ U,F）來表示；（ 5分） 4．以上關(guān)系模式分別屬于第幾范式？如不滿足 3NF，通過模式分解將其規(guī)范化為 3NF。 ?學(xué)生的屬性有： 學(xué)號、姓名、出生日期 ； ?班級的屬性有： 班號、班級名稱、班人數(shù)、入校年份 ； ?系的屬性有： 系號、系名、系辦公室地點(diǎn)、系人數(shù) ； ?宿舍的屬性有 :宿舍區(qū)號 ,宿舍名稱 。 18 分析：對于關(guān)系模式 SMDU,F U=（ SNo,SName,Sage,CLno,MN,CNo,Score） F=（ SNo→SName , SNo→Sage , SNo→CLno , CLno→MN ,（ SNo,CNo） →Score ） 例，分析 SMD數(shù)據(jù)庫的關(guān)系模式及其函數(shù)依賴 （ SNo， SName， SAge， CLno， MN， CNo， Score） SNo CNo SName Sage CLno MN Score 例如：建立一個關(guān)于系、學(xué)生、班級、學(xué)會等信息的關(guān)系數(shù)據(jù)庫。我們稱 X為 決定團(tuán)素 ，Y為 依賴因素 。 SMD( SNo, SName ,Sage ,CLno ,MN,CNo,Score） 14 ? 關(guān)系模式的形式化由五部分組成，即它是一個五元組： R(U, D, DOM, F) 說明： R：關(guān)系名 U：組成該關(guān)系的屬性名集合 D：屬性組 U中屬性所來自的域 DOM：屬性向域的映象集合 F：屬性間數(shù)據(jù)的依賴關(guān)系集合 函數(shù)依賴 * 關(guān)系模式的形式化定義和簡化表示 ? 關(guān)系模式簡化為一個三元組： R（ U, F） 15 ? 例：描述學(xué)校的數(shù)據(jù)庫： 學(xué)生的學(xué)號（ Sno）、所在系（ Sdept） 、系主任姓名（ Mname）、課程名（ Cname）、成績（ Grade） 學(xué)校數(shù)據(jù)庫的語義： ⒈ 一個系有若干學(xué)生， 一個學(xué)生只屬于一個系； ⒉ 一個系只有一名主任； ⒊ 一個學(xué)生可以選修多門課程， 每門課程有若干學(xué)生選修； ⒋ 每個學(xué)生所學(xué)的每門課程都有一個成績 。其中 ,函數(shù)依賴 是最重要的數(shù)據(jù)依賴 。 學(xué)生關(guān)系 S
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1