1.關系模式的組成：
關系模式由五部分組成，是一個五元組：R(U, D, DOM, F)，關系名R是符號化的元組語義
U為一組屬性
D為屬性組U中的屬性所來自的域
DOM為屬性到域的映射
F為屬性組U上的一組數據依賴
由於D、DOM與模式設計關系不大，因此在此把關系模式看作一個三元組：R<U,F> 當且僅當U上的一個關系r滿足F時，r稱為關系模式R<U,F>的一個關系
2.范式：
第一范式：作為一個二維表，關系要符合一個最基本的條件：每一個分量必須是不可分的數據項。滿足該條件的關系數據庫就屬於第一范式（1NF）。（通過SQL創建的關系一定滿足第一范式。
規范化：一個低一級范式的關系模式，通過模式分解（schema decomposition）可以轉換為若干個高一級范式的關系模式的集合，這種過程就叫規范化。
3.數據依賴：
一個關系內部屬性與屬性之間的一種約束關系。通過屬性間值的相等與否體現出來的數據間相互聯系。
依賴的類型：函數依賴；多值依賴。
4.函數依賴：
設R(U)是一個屬性集U上的關系模式，X和Y是U的子集。若對於R(U)的任意一個可能的關系r，r 中不可能存在兩個元組在X上的屬性值相等， 而在Y上的屬性值不等， 則稱“X函數確定Y”或“Y函數依賴於X”，記作X→Y。（兩個元組X屬性值相同，那么他們的Y值一定相同，例如：兩條學生信息，學號相同，則他們的姓名一定相同）。
若X→Y，並且Y→X, 則記為X←→Y。 若Y不函數依賴於X, 則記為X
Y 。
5.平凡函數和非平凡函數
非平凡的函數依賴：X→Y，但Y⊈X則稱X→Y是非平凡的函數依賴。Y不是X的子集。如學號+姓名決定姓名。
平凡的函數依賴：X→Y，但Y⊆X 則稱X→Y是平凡的函數依賴。Y是X的子集。學號+姓名決定班級。
若X→Y，則X稱為這個函數依賴的決定因素。
若X→Y，Y→X，則記作X←→Y。
若Y不函數依賴於X，則記作X
Y。
6.完全函數依賴和部分函數依賴
完全函數依賴：在R(U)中，如果X→Y，並且對於X的任何一個真子集X’（X’⊈X）, 都有 X’ ↛ Y, 則稱Y對X完全函數依賴，記作
例如：學號+課程號決定成績；但是學號和課程號不能單獨決定成績。
部分函數依賴：若X→Y，但Y不完全函數依賴於X，則稱Y對X部分函數依賴，記作
例如：學號+課程號決定所在系；但是學號可以決定所在系。
7.傳遞函數依賴和直接函數依賴：
傳遞函數依賴：在R(U)中，如果X→Y(Y⊈X)，Y
X，Y→Z，Z⊈Y, 則稱Z對X傳遞函數依賴。記為：
例如：學生學號--->所在系；所在系-->系負責人。所以：學生學號系負責人
直接函數依賴：如果Y→X, 即X←→Y，則Z直接依賴於X，而不是傳遞函數依賴。
8.碼：
候選碼：設K為R<U,F>中的屬性或屬性組合。若
（完全函數依賴），則K稱為R的一個候選碼。
超碼：如果U部分函數依賴於K，即K → U,則K稱為超碼 。候選碼是最小的超碼，即K的任意一個真子集都不是候選碼。
主碼：若關系模式R有多個候選碼，則選定其中的一個做為主碼
主屬性：包含在任何一個候選碼中的屬性。
非主屬性或非碼屬性：不包含在任何碼中的屬性。
全碼：整個屬性組是碼，稱為全碼。
外部碼或外碼：關系模式 R中屬性或屬性組X 並非 R的碼，但 X 是另一個關系模式的碼，則稱 X 是R 的外部碼也稱外碼。
（未完待續...）