我具有以下关系：R =（ABCDE），具有功能依赖性F = {A→B，B→CDE，E→AC}。我的两个分解是R1 =（BCDE）和R2 =（AE）。如何检查这些分解是否存在于BCNF中？我知道如何检查它们是否无损并保持依赖性（在这种情况下，我认为两个答案都是肯定的），而不是如何检查它们是否在BCNF中。
假设F是R的功能依赖性的掩盖，则该关系已经存在于BCNF中。
实际上，要检查某个关系是否为BCNF，我们可以检查封面的所有依赖项是否都具有超键行列式。在您的情况下，这是正确的（因为关系的候选键为A，B和E），因此无需分解。