想象我得到了以下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 ...
A - flight_date
B - plane ticket price
C - source_airport_country
D - ticket holder names
E - address
F - source airport
G - Pilot_name
H - Pilot_grade
I - Plane_id
还有就是plane_id,飞行日期和飞行员的名字之