現在、データベース理論のクラスに在籍しており、関数の依存関係の説明中に気分が悪くなりました。このコースには教科書がないので、これまで Google でなんとかしなければなりませんでした。relvar と関数の依存関係のリストを指定して、次のように要求する割り当てがあります。
- relvar のキーを特定する
- revlar を 3NF にある relvar に分解する
割り当てに関する問題のいくつかを次に示します。
a. R = ABCD, F = {AB>C, C>D, D>A}
b. R = ABCDE, F = {AB>C, C>D, D>B, D>E}
少なくともキーは単純なプロセスのように見えますが、そのためのアルゴリズムはありません! どんな助けでも大歓迎です。