我無法理解如何識別函數依賴關鍵字。我一直在尋找的例子，例如： 給出一個關係ABCD，發現所有的鍵不包括的 A -> BC, C -> D, CD -> AB.
這給鑰匙C和A：我認爲這個問題進行了接觸的方式superkeys BC和D都依賴於A和C，而AB依賴於CD，這意味着它們都是密鑰，但由於CD是超級密鑰（C是一個子集也是密鑰），所以CD不被視爲最小密鑰超密鑰。 然而，在另一個例子中， A
我有一個關於函數依賴關係的問題。我的理解是，例如，如果我編寫class Graph g a b | g -> a, g -> b，則任何具體的g都可以與僅一種類型的a和b相關聯。實際上，試圖用相同的g和不同的a和b聲明兩個實例不起作用。 然而，編譯器（GHC）似乎無法使用在以下情況下的依賴， class (Eq a, Eq b) => Graph g a b | g -> a, g -> b wh
我正在逐步切換到F＃，用於我的許多家庭項目，但我對如何將完整應用程序，特別是跨領域問題聯繫在一起存在困惑。 在C＃中，如果我想記錄東西，我會使用依賴注入來傳遞一個ILogger到每個類中，然後這可以很容易地從代碼中調用。我可以在我的測試中驗證給定特定情況下的日誌寫入，通過傳遞模擬並驗證它。 public class MyClass
{
readonly ILogger _logger;
表 - 人{ID，姓名，年齡，行1，城市，州，郵編} FD設置 1）ID - >每隔一個的屬性，因爲它是PK 2）我不能確定，因爲 zip -> {Line1, City, State} or..
{Line1, City, State} -> zip?
[both of these are candidate keys I guess]
在任一情況下，是否變得傳遞依賴ID - > Z
我按照 PDF中的算法查找給定函數依賴關係的所有候選鍵。 我發現我的所有屬性都是中間屬性，因此沒有必要的屬性。算法的第4步（第6頁）說：Let L be the list of all non-empty subsets of M (the middle-ground attributes)。然而，我有7箇中間的屬性，這意味着我需要127個元素。我做錯了什麼？ 請有人可以解釋我應該如何找到一組函數