11/06/05 18:21:03.77 2yyZejHH
DBの教科書を読んでいて理解できないことがありましたので、
お手数ですがご教示いただければお願いします。
①関数従属性の増加律にX→Yが成立するならば、｛X,Z｝→｛Y,Z｝が成立する。
とありますが、「｛X,Z｝」とは具体的にはどういう意味でしょうか？
②BはAの部分集合の時、A→Bは常に成立する。
とありますが、「BはAの部分集合」というのは「BはAに属する」と
理解しますと、「Bであるならば必ずA」ということになり、
「B→A」となるのが正しく思えるのですが、なぜでしょうか。
お手数ですが、宜しくお願い致しますm(_ _)m