開啟掘金成長之旅！這是我參與「掘金日新計劃 · 12 月更文挑戰」的第29天，點擊查看活動詳情
關系數據庫規范化理論是數據庫設計的一個理論指南關系數據庫中模式對應的是，研究關系模式中各屬性之間的依賴關系及其對關系模式性能的影響。
為什么要討論規范化呢？因為存在以下問題
關系規范化
規范化是一種科學的方法，通過使用某些規則把復雜的表格結構分解為簡單的表格結構
函數依賴
函數Y=f(X)：給定一個X值，都會有一個Y值與之對應。關系數據庫中討論函數依賴更注重語義上的關系： 省=f(城市)
例：（Sno, Sname, Sdept, Sage） Sno→Sname, Sno→Sdept, Sno→Sage 例： SC（Sno, Cno, Grade） （Sno, Cno）→Grade
函數依賴討論的是屬性之間的依賴關系，是語義范疇的概念。關系模式的屬性之間是否存在函數依賴只與語義有關。
例： （Sno, Sname, Sdept, Sage） Sno→Sname, Sno→Sdept, Sno→Sage Sname→Sno, Sname→Sdept, Sname→Sage
在關系模式R(U)中關系數據庫中模式對應的是，對于U的子集X和Y
例：關系SC(Sno, Cno, Grade) (Sno, Cno) → Grade (Sno, Cno) → Sno
例：有關系模式：SC （Sno,Sname,Cno,,Grade） 則函數依賴關系有：
關系模式中的碼