ER模型理論和三范式
- 各種關系
- 多對一
- 一對一
- 一對多
- 多對多
- 三范式理論
- 函數依賴
- 完全函數依賴
- 部分函數依賴
- 傳遞(間接)函數依賴
- 第一范式:屬性(表字段)不可切割
- 第二范式:不能存在 部分函數依賴(都存在完全函數依賴)
- 第三范式:不能存在 傳遞函數依賴(都存在完全函數依賴)
各種關系
多對一
一對一
一對多
多對多
三范式理論
函數依賴
假設有2個非空數據集A, B, 如果數據集A中的數據C
可以通過特定的關聯關系唯一確定數據集B中的數據D
那么我們就稱之為D函數依賴于C
D = fn?
V = map(K)
Row = database(PK)