タグ

関連タグで絞り込む (3)

タグの絞り込みを解除

theoremとpredicateに関するkiyo_hikoのブックマーク (1)

  • リレーショナルモデルについて

    Mikiya Okuno @nippondanji 第一正規形の条件は、テーブルがリレーションの性質を満たすこと。何故ならば、正規化はリレーショナルモデル上での設計理論なので、リレーションにしか適用できないから。だからNULLを含んではいけないし、繰り返しグループは許容されず、ドメインの設計がしっかりできていないといけない。 2015-03-31 22:23:44 Mikiya Okuno @nippondanji リレーショナルモデル上の設計理論は、対象がリレーションであるから実行できる。ということは、リレーションになれないデータには正規化も適用できない。なので「テーブルを全部正規化せよ」という方針は破綻してしまう。 2015-03-31 22:26:02 Mikiya Okuno @nippondanji テーブルを正規化すべきかの判断は実は至ってシンプル。それはリレーションか否か。あ

    リレーショナルモデルについて
    kiyo_hiko
    kiyo_hiko 2016/03/25
    "リレーショナルモデルは有限の一階述語論理に基づいたデータモデルであり、リレーションは集合であり、述語がある。リレーションの演算とは、つまり述語を記述すること"
  • 1