text: 在關係資料庫理論中，函式依賴確定。一個函式依賴FD: "X" → "Y"是平凡的，如果"Y"是"X"的子集。函式依賴在資料庫設計中的重要用途是海斯定理：屬性集"U"上的關係"R"滿足函式依賴"X" → "Y"，那麼可以無損分解為兩個關係： formula_2其中"Z" = "U" − "XY"是剩餘的屬性。函式依賴的邏輯蘊涵被定義為：函式依賴的集合formula_3邏輯蘊涵另一個函式依賴集合formula_4，如果任何關係"R"滿足formula_3中的所有依賴也滿足formula_4中的所有依賴；記作formula_7。函式依賴的邏輯蘊涵擁有可靠且的有限公理系統，稱作阿姆斯特朗公理系統。
metadata: erhwenkuo/wikipedia-zhtw
metadata: 函式依賴
metadata: https://zh.wikipedia.org/wiki?curid=6722585