鍵總結
- 超鍵：關係的唯一性約束。可以有冗餘，例如(studentnr)是超鍵，（studentnr,name）也是超鍵。
- 鍵（候選鍵）：最小超鍵。不含有多餘屬性。
- 主鍵：用於標識關係中元組的一個候選鍵。
候選鍵由主鍵和備用鍵組成。
超鍵 > 候選鍵 > 主鍵
範式總結
- 第一範式（1NF）：每個屬性類型都是原子單值。
- 第二範式（2NF）：在上一條基礎上排除部分函數依賴，即每個非主屬性類型完全依賴於關係的主鍵。
- 第三範式（3NF）：在上一條基礎上排除傳遞函數依賴，即每個非主屬性類型只依賴主鍵，不依賴其他非主屬性。
- 巴斯範式（BCNF）：在上一條基礎上每個非平凡函數依賴X->Y（即X不包含Y），X是超鍵（即X是候選鍵或其一個超集）。
- 第四範式（4NF）：在上一條基礎上若存在平凡多值依賴，即對每一個屬性Ai都存在函數依賴X->Ai，X是超鍵，則爲第四範式。
又上到下越來越嚴格，下面的一定屬於上面，反之不一定成立