《資料庫工程師》是計算機四級考試科目之一，為幫助考生們複習好科目知識點，以下是本站小編搜尋整理的關於計算機四級《資料庫工程師》第五章考點彙總，供參考複習，希望對大家有所幫助!想了解更多相關資訊請持續關注我們應屆畢業生考試網!
5.1 概述
5.2 基本概念
5.2.1 關係模型
1、 關係模型採用一個二維表格在計算機中組織、儲存、處理和管理資料。
(1) 關係名(資料庫名)：由字母數字組成;
(2) 屬性名;
(3) 關係模式和關係：描述模式描述關係的靜態結構，由模式名、關係模式所包含的屬性及屬性值所滿足的條件組成模式定義。
(4) 元組：描述關係中的行;
(5) 域：它定義關係的每個屬性取值的型別;
(6) 主碼：能夠惟一標識關係中每一個元組的屬性或屬性組;
(7) 關係的數學定義：關係模式是建立在集合集論的基礎上的，用數學的概念定義關係有;
(A) 定義一：域是值的集合，同一個域中的值具有相同的資料型別;
(B) 定義二：
(C) 定義三：
(D) 當關系引用了屬性名後關係具有以下屬性：
[1] 不能有重複的元組;
[2] 元組上下無序;
[3] 按屬性名引用時屬性左右無序;
[4] 所有屬性值都是原子項(不可再分);
(8) 總結：關係是一張二維表，表中的一行被稱為一個元組，一列稱為屬性，由一組域值組成。關係是元組的集合，關係中的每個元組在數學上被定義為這個關係所涉及的全部域值中笛卡兒積的一個元素。
5.2.2 關係資料庫
1、 關係資料庫是按照二維表組織和儲存的相互關聯的關係的集合，關係資料庫模式是關係模式的集合;
5.2.3 關係的完整性
1、 關係的完整性(完整性約束)：是對關係的某種約束規則和關係滿足的定義。通常這組約束規則用來限定和檢查資料庫所含例項的合法性和正確性;
2、 完整性約束分靜態和動態兩種，靜態完整性約束是基於關係模式的，主要有主碼、外碼約束和域約束組成;動態完整性約束是基於企業的業務規則的。
3、 靜態完整性約束規則：
(1) 主碼約束：主碼必須滿足：
(A) 惟一性：在一個關係中不存在兩個元組，它們具有相同的主碼值;
(B) 最小性：不存在從組成主碼的屬性集中去掉一個屬性，還仍能保持資料的惟一性;
(2) 外碼約束：
(3) 使用者定義的完整性：
5.3 關係資料庫設計理論
5.3.1 問題的提出
究竟一個關係資料庫包含哪些屬性是合理的，如何評價一個關係模式設計的優劣?
5.3.2 函式依賴
函式依理論利用一個關係中屬性之間的依賴關係評價和優化關係模式，以保證儲存到資料庫中的關係具有較好特性;
1、 函式依賴：
(1) 設R(U)為一關係模式，X和Y為屬性全集U的子集，若對於R(U)的任意一個可能的關係r，r中不可能存在兩個元組在X上的屬性值相等，而在Y上的屬性值不等，則稱“X函式決定Y”或“Y函式依賴於X”，並記作X
Y，其中X稱為決定因素，因為根據函式依賴定義，給定一個X，就能惟一決定一個Y。
(2) 這裡討論的函式關係與數學上的不同，是不能計算的，是一個關係中屬性之間存在的依賴關係;它是一種語義範疇的概念，只能根據兩個屬性之間的語義來確定一個函式依賴是否存在。
2、 完全與部分函式依賴：
(1) 在關係模式R(U)中，如果XàY成立，並且對X的任何真子集X’不能函式決定Y，則稱Y對X是完全函式依賴，被記作X---f---àY。
(2) 若XàY，但Y不完全函式依賴於X，則稱Y對X是部分函式依賴，記作X--pàY;
3、 傳遞函式依賴：
在關係R(U)模式中，如果X決定Y，(Y不屬於X)，Y不決定X，Y決定Z，則稱Z對X傳遞函式依賴。
4、 平凡與非平凡函式依賴：
(1) 若X決定Y，但Y屬於X，則稱XàY是平凡函式依賴，否則稱非平凡函式依賴;
(2) 即平凡函式依賴，僅當其右邊的屬性集是左邊屬性集的子集時成立;
(3) 非平凡函式依賴，僅當其右邊的屬性集至少有一個屬性不屬於左邊有集合時成立;
(4) 完全非平凡函式依賴：僅當其右邊的屬性集中屬性都不在左邊的集合時成立;
5、 碼：
(1) 在關係模式R(U)中，K為R的屬性或屬性組，若K函式決定A1.A2…，則K為關係模式R的候選碼，包含在候選碼中的屬性稱為主屬性，否則為非主屬性;
(2) 若一個關係的候選碼不止一個，則選定其中一個作為關係R的主碼;
(3) 關係的`碼屬性除了必須完全函式決定關係的所有其他屬性外，還必須滿足最小化規則，即在關係模式R(U)中，不存在一個K的真子集能夠函式決定R的其他屬性。
6、 函式依賴的推理規則：
(1) 自反律：若Y(包含於)X(包含於)U，則XàY成立;
(2) 增廣律：若XàY，且Z(包含於)U，則XZàYZ成立;
(3) 傳遞律：若XàY，YàZ，則XàZ成立;
(4) 合併規則：若XàY，XàZ成立，則XàYZ;
(5) 分解規則：若XàY和Z(包含於)Y成立，則XàZ也成立;
(6) 偽傳遞規則：若XàY，YWàZ，則XWàZ成立;
7、 屬性集閉包：
(1) 設F是屬性集U上的函式依賴集，X為U的一個子集，那麼對於F，屬性集X關於F的閉包(用X+表示)為：X+={A|XàA}
(2) 由屬性集團包的定義可知，若想判斷函式依賴XàY是否成立，只要計算X關於函式依賴集F的閉包，若Y是X閉包中的一個元素則XàY成立;
8、 確定關係的碼：
(1) 利用迭代演算法計算X+，步驟如下：
(A) 選X作為閉包X+的初值X(0);
(B) 由X(i)計算X(i+1)時，它是由X(0)並上屬性集合A所組成，其中A滿足下列條件：Y(包含於)X(i)，且F中存在函式依賴YàZ，而A(包含於)Z。因為U是有窮的，所以會得到X(i)=X(i+1)，此時X(i)為所求的X+。
