だから私はとの関係
R (A, B, C, D, E, F)
を
与えられ、FD = {AB -> C, AD->B, C->B, F-> AD, F-> E}
証明するためにアームストロングの公理を使用する必要がありますFがスーパーキーです。
私は Armstrong の公理を (基本的な程度まで) 理解していますが、このアプリケーションでそれらを使用する方法がわかりません。任意のガイダンスをいただければ幸いです。
ありがとう
1461 次
だから私はとの関係
R (A, B, C, D, E, F)
を
与えられ、FD = {AB -> C, AD->B, C->B, F-> AD, F-> E}
証明するためにアームストロングの公理を使用する必要がありますFがスーパーキーです。
私は Armstrong の公理を (基本的な程度まで) 理解していますが、このアプリケーションでそれらを使用する方法がわかりません。任意のガイダンスをいただければ幸いです。
ありがとう