函數依賴：函數依賴是關係模式中屬性之間的一種邏輯依賴關係
假設有A、B兩個函數，A → B（A 決定 B，即A推出B，也叫做B函數依賴於A）
平凡函數依賴：當屬性集Y是屬性集X的子集時，必然存在函數依賴X→Y，這種類型稱爲平凡的函數依賴
有函數A、B，B是A的子集（即B裏面的內容，A都有，但A的內容B不一定有），即一定有 A → B
非平凡函數依賴：如果Y不是X的子集，則X→Y爲非平凡的函數依賴
有函數A、B，B是A不是B的子集（也就是B裏面至少有一些屬性是A沒有的），還有 A → B，即這種類型叫做非平凡函數依賴
部分函數依賴：X的某個真子集X’，有X’→Y，則稱Y對X部分函數依賴
{A, B} = X， X → Y，A → Y or B→ Y ，一個整體能推出一個函數，整體中的部分也可以推出一個函數，即這就是部分函數依賴
完全函數依賴：X的任何一個真子集X’，都沒有X’→Y，則稱Y對X完全函數依賴
{A, B} = X， X → Y，但X的部分屬性，A、B並不能推出一個函數，只有整體的時候能，這就是完全函數依賴
傳遞函數依賴：若X→Y，沒有Y→X，Y→Z，Y∉X，Z∉Y，則稱Z對X傳遞函數依賴
範式：把關係模式規範化過程中爲不同程度的規範化要求設立的不同的標準稱爲範式
無損連接分解：將泛關係模式R分解成數據庫模式ρ，則稱分解ρ相對於函數依賴集F是無損連接分解
題目一般都是給所有屬性，分解後的p，還有函數依賴給你，讓你求是否是無損連接分解
保持函數依賴分解：把R分解成R1,R2,…,Rk後，函數依賴集F應被F在這些Ri上的投影所蘊含，則稱分解ρ是保持函數依賴集F的分解
這個也是給分解後的，然後讓你求是否是保持函數依賴
歡迎大家關注下個人的「公衆號」：獨醉貪歡