functional-dependencies

5熱度

1回答

Wen使用函數依賴關係時，我經常碰到覆蓋條件。可以用UndecidableInstances來解除它，但我通常儘量遠離那個擴展。這裏是一個有些人爲的例子，在不UndecidableInstances工作的： {-# Language MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances #-} data Result

7熱度

1回答

Haskell：沒有函數依賴關係的洗牌數據

我試圖實現Fisher-Yates洗牌的一些數據。這個算法對於一維數組很容易實現。但是，我需要能夠在二維矩陣中混洗數據。一種我認爲可以很好地推廣到更高維數組的方法是將我的任意維度的矩陣轉換爲一維索引數組，然後對這些數組進行混洗，然後通過交換此索引的每個索引處的元素來重新組織矩陣數組與索引數組元素的索引處的元素。換句話說，取2×2矩陣例如： 1 2 3 4 我會轉換成這「陣列」這樣的： [(

1熱度

1回答

這個類型檢查錯誤是什麼意思？

我正在爲我參加的課程編寫一個小型編譯器。所以我開始寫這個monad變換器來處理類型檢查，但是得到了一個非常神祕的類型錯誤。涉及函數依賴的東西，我不太清楚。從程序的小摘錄，可以重現錯誤： import Control.Monad.RWS.Lazy import qualified Data.Map as M import Control.Applicative --Placeholders

0熱度

1回答

函數依賴

我學習有關SQL和函數依賴我有一個問題。我們有函數依賴 A->B C->D CA->E D->F 和我試圖找出是否被分解的關係或者不例如，我們有兩個關係首先= CAEB第二= CDF 和我想知道這兩個赫志是分解，當我們使用BCNF或3NF 對於我的想法，第一和第二不分解爲BCNF 監守對於首先， CA -> E A->B 對於二， C->D D->F 是不是？

2熱度

1回答

如何找到一個給定的關係

我已經通過互聯網和書籍，但仍然對如何確定這種關係 R(a, b, c, d, e, f, g, h, i) FDs = B→G BI→CD EH→AG G→DE 到目前爲止，我已經得到的正常形態一定難度最高的範式唯一的候選關鍵是BHI（如果我應該算上F，那麼BFHI）。由於屬性F根本沒有被使用。完全獨立於給定的FD。我該怎麼處理屬性F呢？如何確定R的最高標準形式？

0熱度

1回答

找到所有的FD在給定模式

我應該找到文件描述符從給定的模式=> Loan(ISBN:pk, copy:pk, loandate:pk, loanerNr:fk, returnDate) pk = primary key fk = foreign key 比方說，這是一個圖書館數據庫系統，保持的借出書籍記錄。此外，returnDate屬性可能是無效的。我已經COMED這些文件描述符=> LoanerNr, ISBN

3熱度

1回答

多種類型的功能依賴性

以下可能（精神上）與GHC？ -- Syntax error: parse error on input `a' class Foo a b c | (a, b) -> c where foo :: a -> b -> c 我還有什麼替代方案？

4熱度

1回答

重疊的實例扁平化元組

我試圖編寫代碼從元組鏈中刪除空元組。編譯器拒絕程序：代碼： {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE FunctionalDependencies #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE OverlappingInstances #-} {-# LANGUAGE

0熱度

1回答

函數依賴關係平凡

如果你對LHS和RHS有什麼看法，如果這是RHS上唯一的符號，它會被認爲是微不足道的？例如： ABC -> C 你能打破它是這樣的： C -> C A -> {} B -> {} 其中{}是空集。或者這是無效的？這將使這個規則無用，它可以簡單地被丟棄？

0熱度

2回答

規範化具有個人依賴性的數據列

這是一家爲房地產經紀人架設董事會的公司，例如出售，讓董事會。當代理人發佈作業時，董事會地址，擁有董事會的代理人和作業類型都將被存儲。備註：屬性前的星號是主鍵，後面的星號是外鍵。並非所有的表格顯示 // background info to help understand the project more AGENTS *agent_id agency_name agency_offic