數(shù)據(jù)庫(kù)基礎(chǔ)教程3第三章關(guān)系數(shù)據(jù)模型(編輯修改稿)
2024-10-22 18:11 本頁(yè)面
【文章內(nèi)容簡(jiǎn)介】 ? N： 1，多端實(shí)體集的鍵碼是 R的加碼屬性 ? 1： 1，任意一端實(shí)體集的鍵碼是 R的鍵碼 – 對(duì)于多向聯(lián)系 R： ? 如果多向聯(lián)系 R有一個(gè)箭頭指向?qū)嶓w集 E，則響應(yīng)的關(guān)系中，除了 E的鍵碼以外，至少還存在一個(gè)鍵碼。 ? 尋找關(guān)系的鍵碼（來(lái)自 ODL） – 來(lái)自 ODL的關(guān)系的鍵碼 不一定 就是該類的鍵碼屬性 – 對(duì)于單值聯(lián)系 R： ? 類 C有一個(gè)指向類 D的單值聯(lián)系， C的關(guān)系中包含D的鍵碼。 C的鍵碼仍是相應(yīng)關(guān)系的鍵碼 – 對(duì)于多值聯(lián)系 R： ? 被引用類的鍵碼加入到引用類的鍵碼組合稱為鍵碼 167。 函數(shù)依賴規(guī)則 ? 分解規(guī)則 A1A2…A n→ B 1 B2 ... Bm 等價(jià)于 A1A2…A n→ B i ? 合并規(guī)則 A1A2…A n→ B i 等價(jià)于 A1A2…A n→ B 1 B2 ... Bm ? 平凡的函數(shù)依賴 – 如果對(duì)于函數(shù)依賴 A1A2…A n→ B ， B是 A中的一個(gè)，則該函數(shù)依賴就是平凡的函數(shù)依賴 – 平凡依賴是永恒的 –title,year → title ? 非平凡 – 如果 B中至少有一個(gè)屬性不在 A中 –title,year → year, length ? 完全非平凡 – 如果 B中沒(méi)有一個(gè)屬性在 A中 –title,year → length ? 計(jì)算屬性的閉包 – 閉包 ? F的閉包是指 F邏輯蘊(yùn)涵的所有函數(shù)依賴的集合，記作 F+ – 閉包的意義 ? 檢驗(yàn)給定的函數(shù)依賴是否蘊(yùn)涵于某個(gè)函數(shù)依賴集S ? 從給定的函數(shù)依賴，可以推導(dǎo)出蘊(yùn)涵的函數(shù)依賴 – 求閉包 ? 例：對(duì)關(guān)系 R（ A,B,C,D,E,F） ,給定函數(shù)依賴AB→C,BC→AD,D→E,CF→B, 求 {A， B}+ ? 關(guān)系的基與最小基 – 任何一個(gè)能從中導(dǎo)出關(guān)系的 所有 依賴的 給定依賴集 ，稱為該關(guān)系的一個(gè) 基 – 如果一個(gè)基的任何 真子集 都不能推導(dǎo)出該關(guān)系的依賴全集，則稱此基為 最小基 – 求函數(shù)依賴的最小基 ? 例：對(duì)關(guān)系 R（ A,B,C,D），有 A→BC,B→C,A →B,AB →C,AC →D, 求最小函數(shù)依賴集 167。 關(guān)系數(shù)據(jù)庫(kù)模式設(shè)計(jì) ? 什么是好的數(shù)據(jù)庫(kù)設(shè)計(jì) –體現(xiàn)客觀世界的信息 –無(wú)過(guò)度的冗余 –無(wú)插入異常 –無(wú)更新復(fù)雜 –無(wú)刪除異常 title year length filmType studioName starName Star Wars 1977 124 color Fox Carrie Fisher Star Wars 1977 124 color Fox Mark Hamill Star Wars 1977 124 color Fox Harrison Ford Mighty Ducks 1991 104 color Disney Emilio Estevez Wayne’s World 1991 95 color Paramount Dana Carvey Wayne’s World 1992 95 color Paramount Mike Meyers 冗余 ! 更新復(fù)雜 ! 刪除異常 ! ? 異常的原因 –數(shù)據(jù)依賴的約束 ? 解決方法 –數(shù)據(jù)庫(kù)設(shè)計(jì)的規(guī)范化 → 分解 ? 范式 (Normal Forms) –規(guī)范化 –一個(gè)關(guān)系滿足某個(gè)范式所規(guī)定的一系列條件時(shí) ,它就屬于該范式 –可以用規(guī)范化要求來(lái)設(shè)計(jì)數(shù)據(jù)庫(kù) –也可以用來(lái)驗(yàn)證設(shè)計(jì)結(jié)果的合理性，用其指導(dǎo)優(yōu)化過(guò)程
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1