私はこの演習を与えられ、私の答えについて誰かの意見を得たいと思っています:
リレーション スキーマ R = (A、B、C、D) と依存関係のセット F = (A -> BCD) が与えられます。R が 4NF にあると主張できますか?
私の最初の考えは、4NF は多値の依存関係により関心があるため、4NF にあると主張することはできないということでした。
しかし、私の教授の回答は、多値の依存関係が与えられていないため、実際には4NFであると主張できるため、4NFであるというものでした。
彼の主張や私の主張を裏付ける文献 (書籍、論文など) を教えてもらえますか? 私はしばらく探していましたが、実質的なものは何も見つかりません。
The Alice book Foundations of Databases 1994.
Maier の古典的なThe Theory of Relational Databases 1983.
Fundamentals of Database Systems 6th Edition Elmasri, Shamkant B. Navathe.
サイモン フレイザー大学 CS 4NF スライド。
しかし
リレーション スキーマ R = (A、B、C、D) と依存関係のセット F = (A -> BCD) が与えられます。
これは2つのことです。彼らはお互いに何か関係がありますか？あなたとあなたの教授は、それが何であるかをはっきりさせなければなりません。定義はあなたのためにそれを決定するつもりはありません。これが試験や課題に関する質問だった場合、それはずさんです。
「R is in XNF」の使い方が雑なので注意。R が XNF (およびすべての下位のもの) を満たすことを意味する場合があります。XNF が R を満たす最高の NF であることを意味する場合があります。
MVD はバイナリ JD に対応します。FD は、要素が 1 つの集合を複数決定する MVD に対応します。存在が BCNF に違反する MVD/JD は、FD に該当しないものです。
R と F が与えられると、一般に、最高の NF R が何を満足するかはわかりません。R と数字の 5 が与えられた可能性もあります (ただし、R の列は 0 または 1 であるため、5NF になります)。
R と F に加えて、F が R に保持されているいくつかの FD のセットであることを考えると、一般に、最高の NF R が満たすものを知ることはできません。それらによって暗示されていない他の FD または MVD/JD も R で保持できます。(ここでも、すべての可能な MVD/JD を説明するのに十分な FD があることを含め、列と FD の特定の組み合わせについては、R が満たす最高の NF を知っている可能性があります。)
F が R に保持されている FD の最小カバーであること、または R に保持されている FD が F によって暗示されているものだけであることを考えると (つまり、どちらの場合でも、R に保持されている FD は F の推移閉包にあるものである)、次のことはできません。一般に、最高の NF R が満たすものを教えてください。それらによって暗示されていない他のMVD / JDもRで保持できます。ただし、FD から、他の MVD/JD に関係なく、R が最小限の最高の NF を満たすことがわかります。(これは 1NF と BCNF の間のどこかになります。) ここでは BCNF になります。F によって暗示されたもの以外に MVD/JD が成立しないこともわかっている場合、どの最高の NF R が満たされるかを判断できます。(これにより、前のケースから 5NF に BCNF が発生します。) ここでは、5NF になります。
F が R で保持されている唯一の非自明な FD であることを考えると、F が保持される場合は {A->B}、{A->C}、{A->D}、{A-> が保持されるため、すべてが証明可能です。 BC}、{A->BD}、{A->CD}、矛盾。
だから：何が与えられますか？
PS
定義がない場合、「4NF は多値の依存関係により関心がある」と主張することは正当化されません。とにかく、「4NFは多値の依存関係にもっと関心があります」は何も証明しません。それはほとんど何も意味しません。