軟考—關係數據庫的規範化

函數依賴 函數依賴：設 R ( U ) R(U) R(U)是屬性集 U U U上的關係模式， X 、 Y X、Y X、Y 是 U U U的子集。若對 R ( U ) R(U) R(U)的任何一個可能的關係 r r r， r r r中不可能存在兩個元組在 X X X上的屬性值相等，而在 Y Y Y上的屬性值不等，則稱 X X X函數決定 Y Y Y或 Y Y Y函數依賴於 X X X，記做 X →

>>阅读原文<<