我有一个关系R(A, B, C, D)与功能依赖ABC --> D和D --> A。
问题是,这是否有 BCNF,答案如下:
(c) ABCD不在 BCNF 中,因为D --> A和D不是键。但是,如果我们将R拆分为AD、BCD,我们将无法保留依赖关系ABC --> D。所以没有BCNF分解。
现在我的问题是,我知道如果将关系R拆分为R1(A,D)和R2(BCD) ,则无法保留ABC->D ,但是如果将R2(BCD)更改为R2(ABCD)会怎样。那不就保存下来了吗?我们有什么理由不能这样做?