六、關系數據庫的規范化理論

　　函數依賴

　　定義1 設R(u)是屬性集u上的關系模式。X，Y是u的子集。若對于R(u)的任意一個可能的關系r，r中不可能存在兩個元組在X上的屬性值相等，而在Y上的屬性值不等，則稱‘X函數確定Y’或‘Y函數依賴于X’，記作X→Y。

　　函數依賴和別的數據依賴一樣是語義范疇的概念。只能根據語義來確定一個函數依賴。例如姓名→年齡這個函數依賴只有在沒有同名人的條件下成立。如果允許有相同名字，則年齡就不再函數依賴于姓名了。設計者也可以對現實世界作強制的規定。例如規定不允許同名人出現，因而使姓名→年齡函數依賴成立。這樣當插入某個元組時這個元組上的屬性值必須滿足規定的函數依賴，若發現有同名人存在，則拒絕插入該元組。注意，函數依賴不是指關系模式R的某個或某些關系滿足的約束條件，而是指R的一切關系均要滿足的約束條件