資料庫系統知識總結（四） 關係資料理論

2 碼3 主屬性

4 非主屬性

2、正規化

3、多值依賴和4nf

4、最小覆蓋和模式分解

資料依賴是乙個關係內部屬性與屬性之間的一種約束關係。這種約束關係是通過屬性間值的相等與否體現出來的資料間相關練習。它是顯示世界屬性間相互聯絡的抽象，是資料內在的性質，是語義的體現。

函式依賴簡單點說就是：某個屬性集決定另乙個屬性集時，稱另一屬性集依賴於該屬性集。

函式依賴是由數學派生的術語，它表徵乙個屬性或屬性集合的值對另乙個屬性或屬性集合的值的依賴性。需要強調的是，函式依賴是關係所表述資訊本身具有的語義特性，而不能由屬性構成關係的方式來決定，也不能由關係的當前內容所決定。

- 部分函式依賴

設x,y是關係r的兩個屬性集合，存在x→y，若x』是x的真子集，存在x』→y，則稱y部分函式依賴於x。

例如：通過ab能得出c，通過a也能得出c，通過b也能得出c，那麼說c部分依賴於ab。

- 完全函式依賴

設x,y是關係r的兩個屬性集合，x』是x的真子集，存在x→y，但對每乙個x』都有x』!→y，則稱y完全函式依賴於x。

例如：通過ab能得出c，但是ab單獨得不出c，那麼說c完全依賴於ab.

- 傳遞函式依賴

設x,y,z是關係r中互不相同的屬性集合，存在x→y(y !→x),y→z，則稱z傳遞函式依賴於x。

例如：通過a得到b，通過b得到c，但是c得不到b，b得不到a，那麼成c傳遞依賴於a

大神寫的

碼就是能唯一標識實體的屬性，他是整個實體集的性質，而不是單個實體的性質。例如：學生是乙個實體，則學生的集合是乙個實體集。假設學生（實體）具有多個屬性：學號，身份證號，姓名，性別。候選碼，簡稱為碼。假如當 k 確定的情況下，該錶除 k 之外的所有屬性的值也就隨之確定，那麼 k 就是碼。

- 超碼

乙個或多個屬性的集合，這些屬性的組合可以使我們在乙個實體集中唯一的標識乙個實體。直觀地講就是用這個超碼的屬性，我可以唯一確定這個實體，進而推出這個實體的多種屬性。

因為通過學號可以找到唯一乙個學生，所以是乙個超碼，同理、、、、、也是超碼。

- 候選碼

因為超碼的範圍太廣，很多是我們並不感興趣即無用處的。所以候選碼是最小超碼，它們的任意真子集都不能成為超碼。也就是我用最少的屬性可以確定這個實體。

例如：在學生實體中，「學號」是能唯一的區分學生實體的，同時又假設「姓名」、「年齡」的屬性組合足以區分學生實體，那麼和都是候選碼，超碼包含候選碼。

- 主碼

縱使候選碼已經比超碼少了一些，但還是多，於是就從眾多候選碼挑乙個出來，當作主碼。被資料庫設計者選中的，用來在同一實體集中區分不同實體的候選碼；此外，應該選擇哪些從不或極少變化的屬性；

包含在任一候選碼中的屬性稱主屬性。

非主屬性是相對與主屬性來定義的。

例如：在關係——學生中，主碼是「學號」，那麼其他的「姓名」、「年齡」、「性別」、「班級」就都可以稱為非主屬性

關聯式資料庫中的關係是要滿足一定要求的，滿足不同程度要求的為不同正規化。

大神寫的

1、第一正規化（1nf）：乙個關係模式r的所有屬性都是不可分的基本資料項。

2、第二正規化（2nf）：滿足第一正規化，然後消除部分依賴。

3、第三正規化（3nf）：滿足第二正規化，消除傳遞依賴。

4、擴存的第三正規化（bcnf）：滿足3nf，消除每一屬性對候選碼的傳遞依賴。

也就是定義實體屬性的時候，盡量不能再往下分，確保屬性的原子性，兩列的屬性相近或相似或一樣，盡量合併屬性一樣的列，確保不產生冗餘資料。

如果關係模式r滿足第一正規化，並且r得所有非主屬性都完全依賴於r的每乙個候選關鍵屬性，稱r滿足第二正規化，簡記為2nf。

每一行的資料只能與其中一列相關，即一行資料只做一件事。只要資料列**現資料重複，就要把錶拆分開來。

設r是乙個滿足第一正規化條件的關係模式，x是r的任意屬性集，如果x非傳遞依賴於r的任意乙個候選關鍵字，稱r滿足第三正規化，簡記為3nf。

資料不能存在傳遞關係，即沒個屬性都跟主鍵有直接關係而不是間接關係。像：a–>b–>c 屬性之間含有這樣的關係，是不符合第三正規化的。

對於乙個關係表（模式）r屬於第一正規化，若x→y且x不包含y時x必含有鍵，則r屬於bc正規化。

所有非主屬性對每乙個碼都是完全函式依賴；

所有的主屬性對每乙個不包含它的碼，也是完全函式依賴；

沒有任何屬性完全函式依賴於非碼的任何一組屬性。

設r(u)是乙個屬性集u上的乙個關係模式， x、 y和z是u的子集，並且z＝u－x－y。關係模式r(u)中多值依賴 x→→y成立，當且僅當對r(u)的任一關係r，給定的一對（x，z）值，有一組y的值，這組值僅僅決定於x值而與z值無關，若x→→y,而z為空集，則稱x→→y為平凡的多值依賴；若z不為空，則稱其為非平凡的多值依賴

大神寫的

如果函式依賴集f滿足以下條件，則稱f為乙個極小函式依賴集。也稱為最小依賴集或最小覆蓋。

(1)f中任一函式依賴的右部僅含有乙個屬性。

(2)f中不存在這樣的函式依賴x→a，使得f與f-等價。

(3)f中不存在這樣的函式依賴x→a，x有真子集z使得f-u與f等價。

模式分解三定義:

一：分解具有無損連線性

二：分解要保持函式依賴

三：分解既要保持函式依賴，又要具有無損連線性

資料庫系統概述之關係資料理論

第六章關係資料理論 在理解函式依賴之前，先來看一下函式依賴分析 在關係中，包括在任何候選碼中的屬性稱為主屬性 不包括在任何候選碼中的屬性稱為非主屬性。函式依賴只分析關係中的非主屬性對主屬性之間的依賴關係，並不分析主屬性對主鍵 碼 的依賴關係。具體關於部分函式依賴和完全函式依賴的定義，網上有很多，但大...

資料庫 四 關係資料理論

關係內部屬性與屬性之間的一種約束關係，通過屬性間值的相等與否體現。好的模式應 避免插入 刪除 更新異常，資料冗餘盡量少。r u 是屬性集u上的關係模式，x y是u的子集，在r中任意乙個可能的關係r中，不可能存在兩個元組，其在x上的屬性值相等，而在y上的屬性值不等，則稱函式x確定y 或y函式依賴於x記...

資料庫系統原理複習題（四） 關係資料理論

資料庫系統原理複習題 四 關係資料理論 1.設關係模式r a,b,c,d,e,f 下面的選項中，是平凡函式依賴。6分 a.bcd bd b.efd ac c.abc def d.a bcdef 正確答案 a.你當前選擇 無 2.在關係模式r u，f 中，如果x y，存在x的真子集x1，使x1 y，稱...