我試圖理解Haskell的Data.Collection庫的設計,它來自Scala識字的背景。 它使用Functional Dependencies(它有一個Scala analog),但它們的使用方式對我沒有意義。在下面轉載的類中,元素類型i顯示爲,其由確定,集合類型c。 class Unfoldable c i | c -> i
與不可觀測元素集合的類。它是Foldable類的雙重功能。
我一直在試圖找到這個關係的FD。 Relation X
+---+---+---+---+---+---+
| P | Q | R | S | T | U |
+---+---+---+---+---+---+
| p | c | e | i | k | v |
| p | d | f | j | k | w |
| p | d | g | j | n | y |
| p | d |
UPDATE:關係模型可能無法在我想它,看到的方式工作:Database normalization for facebook-like messaging system 時間對NoSQL的! 我無法將數據庫放入2nf。爲此,必須確定所有函數依賴關係,然後才能確定屬性是否爲素數。 看一看這裏: --------------------------------------------
to
考慮關係模式R =(A,B,C,d,E,F)和該組函數依賴的: A→B
A→C
BC→E
BC→D
E→F
BC→F
哪個是關係R的候選鍵? A) A
B) BC
C) ABC
D) ABCE
給出的標準答案是C,我應該用ABC作爲這種關係的候選鍵。 但自從: A -> B,C
B,C -> D,E,F
所以我覺得一個可以識別所有其他屬性 A ->
假設我們有一個從主鍵外的屬性到主鍵內的屬性的函數依賴關係。我們怎樣才能擺脫這種依賴(我直覺上認爲這很糟糕)? 特別地,假設我們有以下功能依賴關係: CS -> T
T -> C
其中CS是主鍵。在我的例子,它發生是幸運也TS最初可以是主鍵,這樣的情況被轉換爲: TS -> C
T -> C
這實際上是一個情況下,我們沒有進入關鍵依賴了,但我們有部分的依賴,這可以很容易地通過拆分表我們可