我正在使用關係數據庫的一組屬性和一組函數依賴關係，並且具有關於哪些鍵將被視爲此模式的候選鍵的具體問題。 設定我一起工作的屬性是： R = (A, B, C, D, E, F, G, H)
和一組函數依賴的是： F = { AC -> B, AB -> C, AD -> E, C -> D, BC -> A, E -> G, ABE -> D, FG -> E}
因此，這裏是什麼，我想弄清楚
Haskell有功能依賴關係的動機是什麼？函數依賴的 一個例子： class (Monad m) => MonadSupply s m | m -> s where
next :: m (Maybe s)
它在RWH書中所說的那樣，函數依賴有助於類型檢查。它實際上有什麼幫助？ 而且，這段代碼實際上編譯： class (Monad m) => MonadSupply s m where
爲什麼沒有此代碼的工作：使用 class Foo a b c | a b -> c where
foo :: a -> b -> c
instance Foo Int Int Int where
foo a b = a + b
ghci > foo 4 4 -- This produces run time error
而且通過函數依賴，爲什麼下面的代碼會產生編譯時