第講規(guī)范化ppt課件-展示頁
2024-12-17 05:31本頁面
【正文】 束。 ? 我們只能根據(jù)語義來確定一個函數(shù)依賴，而不能按照其形式化定義來證明一個函數(shù)依賴。 非平凡函數(shù)依賴： (Sno, Cno) → Grade 平凡函數(shù)依賴： (Sno, Cno) → Sno (Sno, Cno) → Cno ? 若不特別聲明，我們討論的都是 非 平凡的函數(shù)依賴。 二、平凡函數(shù)依賴與非平凡函數(shù)依賴 在關(guān)系模式 R(U)中，對于 U的子集 X和 Y， 如果 X→Y ，但 Y ? X，則稱 X→Y 是 非平凡的函數(shù)依賴 ； 若 X→Y ，但 Y ? X, 則稱 X→Y 是 平凡的函數(shù)依賴 。 例 : Student( Sno, Sdept, Mname, Cno, Grade ) ?X , Y U若 X→Y ，并且 Y→X, 則記為 X←→ Y。 函數(shù)依賴 一、函數(shù)依賴 二、平凡函數(shù)依賴與非平凡函數(shù)依賴 三、完全函數(shù)依賴與部分函數(shù)依賴 四、傳遞函數(shù)依賴 一、函數(shù)依賴 定義 設(shè) R(U)是一個屬性集 U上的關(guān)系模式， 不可肯能存在兩個元組在 X上的屬性值相等，而在 Y上的屬性值不等，則稱“ X函數(shù)確定 Y” 或“ Y函數(shù)依賴于 X” ，記作 X→Y 。 解決方法：通過 分解 關(guān)系模式 消除 其中不合適的數(shù)據(jù)依賴。 ? “好”的模式：不會發(fā)生插入異常、刪除異常、更新異常，數(shù)據(jù)冗余應(yīng)盡可能少。 即 sno函數(shù)確定 sname， sno函數(shù)確定 sdept，記作 snosname, snosdept。Chapter 6 關(guān)系數(shù)據(jù)理論 問題的提出 規(guī)范化 數(shù)據(jù)依賴的公理系統(tǒng) 模式的分解 ? 回顧關(guān)系模式的形式化定義：關(guān)系模式是一個五元組： R (U, D, DOM, F) R： 關(guān)系名 U： 組成該關(guān)系的屬性名集合 D： 屬性組 U中屬性所來自的域 DOM：屬性向域的映象集合 F： 屬性組 U上的一組 數(shù)據(jù)依賴 在模式設(shè)計階段，將關(guān)系模式 R（ U, D, DOM, F）簡化為一個三元組 :R(U, F) 。 問題的提出 ? 數(shù)據(jù)依賴的含義： ? 關(guān)系內(nèi)部屬性和屬性間的約束關(guān)系 ? 現(xiàn)實世界屬性間相互聯(lián)系的抽象 ? 語義的體現(xiàn) ? 數(shù)據(jù)依賴的類型：
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1