第三章關系數(shù)據(jù)模型therelationaldatamodel(編輯修改稿)
2025-08-16 16:16 本頁面
【文章內(nèi)容簡介】 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 冗余 ! 更新復雜 ! 刪除異常 ! ? 異常的原因 –數(shù)據(jù)依賴的約束 ? 解決方法 –數(shù)據(jù)庫設計的規(guī)范化 → 分解 ? 范式 (Normal Forms) –規(guī)范化 –一個關系滿足某個范式所規(guī)定的一系列條件時 ,它就屬于該范式 –可以用規(guī)范化要求來設計數(shù)據(jù)庫 –也可以用來驗證設計結果的合理性，用其指導優(yōu)化過程 ? 1NF→2NF→3NF→BCNF→4NF ? 第一范式 (1NF) –當且僅當一個關系 R中，每一個元組的每一個屬性只含有一個值時，該關系屬于第一范式。 –要求屬性是原子的 ? 第二范式 (2NF) –對于關系 R，若 R∈ 1NF，且每一個非主屬性完全函數(shù)依賴于碼，則 R∈ 2NF。 –不能部分依賴于碼 sc(sno,sname,o,grade) sno,o→grade sno→sname sno o grade sname 完全依賴 非完全依賴 ? 第三范式 (3NF) –對于關系 R，若 R∈ 2NF，且 每個 非主屬性都不傳遞依賴于碼，則 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) –對于關系 R，若 R∈ 1NF，且 所有 非平凡的函數(shù)依賴，其決定因素是候選碼，則 R∈ BCNF。 sct(s,c,t) //學生，課程，教師 t→c //每位教師只上一門課 (s,c)→t (s,t)→c //每門課有若干位教師 s c t s t c sct∈ 3NF， sct∈ BCNF ? 最高范式 – BCNF是基于函數(shù)依賴的最高范式 –但不是數(shù)據(jù)庫模式設計的最高范式
法律信息相關推薦
鄂ICP備17016276號-1