第六章關係數據庫理論

6.2規範化–關係的規範化理論 1. 函數依賴 定義：設R（U）是一個屬性集U上的關係模式，X和Y是U的子集。若對於R（U）的任意一個可能的關係r，r 中不可能存在兩個元組在X上的屬性值相等，而在Y上的屬性值不等則稱「X函數確定Y」或「Y函數依賴於X」 記作X–>Y。X稱爲這個函數依賴的決定屬性組，也稱爲決定因素。若Y不函數依賴於X，則記爲X –> Y. 函數依賴不是指關係模式R的某個或某些關係實

>>阅读原文<<