想象我得到了以下DB: a //primary key
b
c
d
在這樣下面的函數依賴是有效的: a -> bcd
b -> cd
c -> bd
WHT應該怎樣做才能將它傳遞到第三範式? 我試圖分開如下: a -> b //this b is the foreing key to the b of the other tables
b -> c
b -> d
比方說,我們有關係R(A,B,C,d,E) 的文件描述符是: A - >ç AB - > d CD - >電子 我知道關鍵是AB。 我的問題是: E是完全還是部分依賴AB? 我認爲這是完全依賴的,因爲如果我使用FD推理規則,AB確定了E。但是,我的同事說E是部分依賴於AB,因爲C部分依賴於AB。什麼是正確的? 感謝您的幫助
我有一個功能foo與一系列的約束。當然,這些約束必須出現在使用foo的函數的簽名中,所以我試圖做的是將foo約束包含在類型同義詞FooCtx a b ... :: Constraint中。作爲一個例子, foo :: (A a, B b, C c, ...) => a -> b -> c
bar :: (A a, B b, C c, ...) ...
bar = ... foo ...