關聯式資料庫,關聯式資料庫的基本結構是關係模式,比較好的關係模式集合,能有效控制資料庫冗餘,對資料庫進行有效的管理。下面對關係模式的函式依賴,正規化和模式設計方法進行分析。
知識點:關係模式,函式依賴,正規化
關係模式
關係實質上是一張二維表,表的每一行資料為乙個元組,每一列為乙個屬性。
關係模式就是對關係的描述。記做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 屬性間資料的依賴關...