关系式 R(C,D,E) F={CD->E, C->D} 是 E 部分确定的吗?
C+ 派生 E 作为属性,但它是在 CD->E 的帮助下发生的。
如果
(C implies D)
(C and D implies E)
(C -> E)
推理: