ようこそ ゲスト さん、新規登録（無料）して気になる疑問を解決しませんか？
はじめての方へ｜FAQ

質問
質問者：fumihio wikipediaに記述されている関係代数・商演算
困り度：
  • 暇なときにでも
 wikipediaの関係代数の記事に、商演算の項がありますが、その演算に納得がいきません。
​http://ja.wikipedia.org/wiki/​関係代数#.E5.95.86

商演算は、Rのうち、Sの全ての要素を持つ物を選ぶ物だと思っていました。
father属性のHans要素はSの全ての要素を満たしているので、father/Hansも選ばれるのではないでしょうか？
質問投稿日時：09/06/03 13:40
質問番号：5013400

回答

 
回答者：jamshid6 Ｒ÷ＳはＳの要素を全て含む、Ｓに含まれない属性の集合ですから、fatherだけを抜き出すのではなく、
father/motherの組み合わせで見なくてはいけません。

Martin/Melanieの組み合わせはMaria, Sabineの両方の要素持っているから商に含まれますが、
Hans/Helga, Hans/Ursulaの組み合わせはいずれもMaria/Sabineの両方を要素として持ちません。
したがって商ではないです。

逆の見方をすると、Ｒ÷Ｓ＝Ｔの場合、Ｔ×Ｓ＝Ｒが成り立ちますから、ＴとＳの直積を求めてみます。
Hans/Helgaが商に含まれると、直積のHans/Helga/Sabine/2というＲには存在しなかったものが生じます。
したがって商ではないです。
種類：アドバイス
どんな人：経験者
自信：参考意見
回答日時：09/06/03 14:27
回答番号：No.1
この回答への補足この回答に補足をつける(質問者のみ)
この回答へのお礼この回答にお礼をつける(質問者のみ)
このページのトップへ