關聯式資料庫，關聯式資料庫的基本結構是關係模式，比較好的關係模式集合，能有效控制資料庫冗餘，對資料庫進行有效的管理。下面對關係模式的函式依賴，正規化和模式設計方法進行分析。
知識點：關係模式，函式依賴，正規化
關係模式
關係實質上是一張二維表，表的每一行資料為乙個元組，每一列為乙個屬性。
關係模式就是對關係的描述。記做r(u)或
r(u，f)。
例如：關係模式r（
s#，c#，
cname
，name）；
其屬性分別表示學號，課程號，課程名，任課教師姓名
函式依賴
表達了屬性間的關係
定義：有屬性集u，
x,y是
u的子集，其關係模式
r(u)，x
→y
分類：非平凡的函式依賴 y
不是x子集；x→y
平凡的函式依賴 y
是x子集；x→y
按性質分：
完全函式依賴 x`
是x真子集，x→
y，但x`！→y，
y完全依賴x
部分函式依賴 x`
是x真子集，x→
y，x`→
y，y部分依賴x
傳遞依賴 x
→y，y
→z，則x
碼（鍵） 超鍵
(super key)
：在關係中能唯一標識元組的屬性集稱為關係模式的超鍵
候選鍵(candidate key)
：不含有多餘屬性的超鍵稱為候選鍵
主鍵(primary key)
：使用者選作元組標識的乙個候選鍵程式主鍵外來鍵(
foreign key)
：在關係模式
r中，如果某屬性集是其他模式的候選鍵，那麼該屬性集對模式r來說就是外來鍵
函式依賴的公理系統（
armstrong
公理系統）
推理規則：從已知的
fd，推導出另外的一些fd
a1(自反性)：若y
⊆x⊆u
，則x→y
a2（增廣性）：若x→
y，且z⊆
u，則xz→
yz a3（傳遞性）：同傳遞依賴由a1
，a2，a3
推導規則，以下規則都有上邊三種規則通過組合變化匯出，所以掌握了這三種，其它的規則不需要去記。 a
4（合併性）：若x→
y，x→
z，則x→
yz； a5
（分解性）：若x→
y，z→
y，則x→
za6（偽傳遞性）：若x→
y，wy→
z，則wx→
za7（複合型）：若x→
y，w→
z，則xw→
yza8
（通用一致性）：x→
y，w→
z，則x∪（
w-y）→yz
正規化 正規化用來衡量關係模式的好壞 級別
特點 無損
保持fd
1nf
屬性值是原子值，不可再分
2nf消除非主屬性對鍵的部分函式依賴 ok
ok3nf
消除非主屬性對鍵的傳遞函式依賴 ok
ok
綜合正規化的要求，最終資料庫的關係模式只存在非平凡函式依賴和完全函式依賴
主屬性和非主屬性
不包含在任何乙個候選碼中的屬性稱為非主屬性。
非主屬性是相對與主屬性來定義的，是指關係中包含任何乙個候選碼中的屬性。
例如：在關係——學生（學號，姓名，年齡，性別，班級）中，主碼是「學號」，那麼其他的「姓名」、「年齡」、「性別」、「班級」就都可以稱為非主屬性。
關係模式正規化
資料庫的關係模式正規化就是資料庫設計要滿足的規範，滿足這些規範的資料庫是簡潔的，結構清晰的。第一正規化 1nf 所有的列不可再分 第一正規化就是指所有的列都是不可再分的基本資料項，即表中的每一列都不能有多個值。說明 在任何乙個關聯式資料庫中，第一正規化是對關係模式的基本要求，不滿足第一正規化的資料庫...
函式依賴與正規化
函式依賴與正規化 在資料庫設計過程中，往往遇到資料冗餘 修改異常 插入異常和刪除異常等問題，為了設計乙個好的資料庫，人們定義了一些好的關係模式標準，稱它們為規範的關係模式 簡稱正規化，nf 目前共定義了多個正規化，分別為1nf 2nf 3nf bcnf 4nf和5nf.但實際應用中，一般只要達到3n...
資料庫 關係模式函式依賴
關聯式資料庫邏輯設計 針對具體問題，如何構造乙個適合於它的資料模式 資料庫邏輯設計的工具 關聯式資料庫的規範化理論 關係模式由五部分組成，即它是乙個五元組 r u,d,dom,f r 關係名 u 組成該關係的屬性名集合 d 屬性組u中屬性所來自的域 dom 屬性向域的映象集合 f 屬性間資料的依賴關...