第三章關(guān)系數(shù)據(jù)模型therelationaldatamodel(編輯修改稿)
2025-08-16 16:16 本頁(yè)面
【文章內(nèi)容簡(jiǎn)介】 ilmType 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ò)程 ? 1NF→2NF→3NF→BCNF→4NF ? 第一范式 (1NF) –當(dāng)且僅當(dāng)一個(gè)關(guān)系 R中，每一個(gè)元組的每一個(gè)屬性只含有一個(gè)值時(shí)，該關(guān)系屬于第一范式。 –要求屬性是原子的 ? 第二范式 (2NF) –對(duì)于關(guān)系 R，若 R∈ 1NF，且每一個(gè)非主屬性完全函數(shù)依賴于碼，則 R∈ 2NF。 –不能部分依賴于碼 sc(sno,sname,o,grade) sno,o→grade sno→sname sno o grade sname 完全依賴 非完全依賴 ? 第三范式 (3NF) –對(duì)于關(guān)系 R，若 R∈ 2NF，且 每個(gè) 非主屬性都不傳遞依賴于碼，則 R∈ 3NF。 –主屬性可以傳遞依賴于碼 student(sno,sname,sdept,dept_manager) sno→sname,sdept sdept→dept_manager 傳遞依賴： sno→dept_manager sno sdept sname dept_manager ? Boyce/Codd范式 (BCNF) –對(duì)于關(guān)系 R，若 R∈ 1NF，且 所有 非平凡的函數(shù)依賴，其決定因素是候選碼，則 R∈ BCNF。 sct(s,c,t) //學(xué)生，課程，教師 t→c //每位教師只上一門課 (s,c)→t (s,t)→c //每門課有若干位教師 s c t s t c sct∈ 3NF， sct∈ BCNF ? 最高范式 – BCNF是基于函數(shù)依賴的最高范式 –但不是數(shù)據(jù)庫(kù)模式設(shè)計(jì)的最高范式
法律信息相關(guān)推薦
鄂ICP備17016276號(hào)-1