More Related Content
More from Sota Sugiura (9)
「データベース実践入門」から学ぶリレーショナルモデル
- 12. データモデリング
• データモデリング(英: data modeling)は、コン
ピュータ科学の文脈では、何らかのデータモデリング
方法論を適用してデータモデルのインスタンスを作る
過程である。(出典:Wikipedia)
• データ・モデルは、班・要員間の意思疎通のための事
業データを文書化し、組織化し、そして特にどのよう
にデータを格納し利用するかの、応用ソフト設計のた
めの計画として使うソフトウエア工学の一つの抽象モ
デルである。(出典:Wikipedia)
- 25. リレーション = テーブル
• テーブルがリレーションに該当します
• テーブル同士の関係はリレーションではない
• 直訳だとrelation(関係)だからややこしいよね
- 83. 述語
• x はキリンである (F(x)とする)
• x は動物である (G(x)とする)
• すなわち、あるxに対して以下が成り立つ
• F(x) G(x)
• (論理学で書くならF(x) G(x))
- 112. 重複 is Evil
• 集合やリレーションに重複の概念はない
• テーブルが違っても重複があるとDB全体では重
複があることになる
• すると異常が起きやすくなる
- 116. Principle of explosion
• 「太郎は犬である」データと「太郎は犬でない」
データが存在するとする
• この2つの事実から論理演算を行うとどんな突拍
子のない命題に対しても全て真を導き出せる
• データの整合性が保たれなくなる
- 117. 矛盾 is Evil
• つまりデータの整合性の保たれないDBに対して
述語論理は適用できない
• 整合性を取りやすくするために正規化が大事
• 正規化、Principle of explosionは機会があっ
たら調べると吉(*́ `*)