如何检查分解是否在 BCNF 中？
How do I check if a decomposition is in BCNF?
我有以下关系：R = (ABCDE) 与函数依赖 F = {A → B, B → CDE, E → AC}。我的两个分解是 R1 = (BCDE) 和 R2 = (AE)。如何检查这些分解是否在 BCNF 中？我知道如何检查它们是否无损和依赖性保留（在这种情况下我认为两个答案都是肯定的），但不知道如何检查它们是否在 BCNF 中。
假设F是R函数依赖的覆盖，关系已经在BCNF中
事实上，要检查一个关系是否为 BCNF，我们可以检查一个覆盖的所有依赖项是否都具有超键的行列式。在你的情况下这是真的（因为关系的候选键是 A、B 和 E），所以没有必要分解它。
我有以下关系：R = (ABCDE) 与函数依赖 F = {A → B, B → CDE, E → AC}。我的两个分解是 R1 = (BCDE) 和 R2 = (AE)。如何检查这些分解是否在 BCNF 中？我知道如何检查它们是否无损和依赖性保留（在这种情况下我认为两个答案都是肯定的），但不知道如何检查它们是否在 BCNF 中。
假设F是R函数依赖的覆盖，关系已经在BCNF中
事实上，要检查一个关系是否为 BCNF，我们可以检查一个覆盖的所有依赖项是否都具有超键的行列式。在你的情况下这是真的（因为关系的候选键是 A、B 和 E），所以没有必要分解它。