關系資料理論
目錄
關系資料理論
6.1 問題的提出
1、一個關系模式可能存在的問題有哪些？
6.2 規範化
6.2.1 函數依賴
2、函數依賴：能區分不同的函數依賴
1.函數依賴
2.平凡函數依賴與非平凡函數依賴
3.完全函數依賴與部分函數依賴
4.傳遞函數依賴
6.2.2 碼 (了解）
6.2.3 範式
6.2.4 2NF
6.2.5 3NF
6.2.6 BCNF
6.2.7 多值依賴
6.2.8 4NF
6.2.9 規範化小結
6.3 資料依賴的公理系統
*6.4 模式的分解
6.5 小結
1、一個關系模式可能存在的問題有哪些？
2、函數依賴：能區分不同的函數依賴
包括：函數依賴、平凡函數依賴與非平凡函數依賴、完全函數依賴、部分函數依賴、傳遞函數依賴的定義了解和應用（即能區分不同的函數依賴）
3、在函數依賴範疇，範式：
5、1NF、2NF、3NF、BCNF的定義和判别；p182
6、關系模式候選碼的求解(看課件)；
8、根據文字描述，判斷關系的函數依賴，由函數依賴再來判斷是否存在部分，傳遞依賴，會分析判斷不好的依賴帶來的操作麻煩和異常。
6.1 問題的提出
1、一個關系模式可能存在的問題有哪些？
（1）資料備援 （浪費大量的存儲空間）
（2）更新異常（Update Anomalies） （資料備援 ，更新資料時，維護資料完整性代價大。）
（3）插入異常（Insertion Anomalies）
（4）删除異常（Deletion Anomalies）
6.2 規範化
6.2.1 函數依賴
2、函數依賴：能區分不同的函數依賴
（包括：函數依賴、平凡函數依賴與非平凡函數依賴、完全函數依賴、部分函數依賴、傳遞函數依賴的定義了解和應用）
1.函數依賴
X對Y有明确的對應關系
2.平凡函數依賴與非平凡函數依賴
3.完全函數依賴與部分函數依賴
4.傳遞函數依賴
6.2.2 碼 (了解）
6.2.3 範式
6.2.4 2NF
6.2.5 3NF
6.2.6 BCNF
6.2.7 多值依賴
6.2.8 4NF
6.2.9 規範化小結
6.3 資料依賴的公理系統
函數依賴閉包