外部世界を想定すること 外部世界をモデリングすること モデリングの不具合修正とER図の同値変形を混同しないこと モデリングの不具合は、勘違いや認識不足から起きる。不具合は修正する。 ER図の同値変形はモデリングのテクニックであり、練習して習得する…

構成要素は： ノード アロー ブリッジ（1-ブリッジ, 2-ブリッジ, 3-ブリッジ, ...） それぞれの意味は 集合 写像 n項関係 装飾としては： ノードの《ドメイン》（不変ノード; immutable, constant, fixed, invariant）指定 Immu(x) スパンの同時単射性指定 J…

大事なこと： 記号と、記号が意味するモノを区別する。 図や図の一部と、図や図の一部が意味するモノを区別する。 必要なら、記号と、記号が意味するモノを同一視する。 必要なら、図や図の一部と、図や図の一部が意味するモノを同一視する。 多義語は文脈ご…

テンプレート 二項関係： ××は、××を、××○○。 写像：××に、××が決まり、××は○○である。 直積：××データ○は、××○と××○からなる。 オーバーロード規則（名前空間） 集合（型）名と写像・関係名は別の名前空間で、同一名を使用してもよい。 始域が違えば、同じ…

可約多項式 reducible polynomial 既約多項式 irreducible polynomial 可約分数 reducible fraction 既約分数 irreducible fraction 可約表現 reducible representation 既約表現 irreducible representation 合成数 composite number 素数 prime number 分…

ERモデリング 外部世界を「集合、写像、関係」でモデル化して、ノード、アロー、ブリッジで図示する。 TCモデリング ERモデリングの成果物であるER図を変形してTC図を作成する。 ER＝Entity-Relationship、TC＝table-column。ER図の構成要素： 《ドメイン》…

《リレーション》 関係にあらず 《タプル》 タプルにあらず 《ジョイン》 結合にあらず 《ドメイン》 域、領域にあらず 念のための退避（ほとんど使わないけど）： 関係→関連 タプル→順序タプル 結合→合成 域→始域 グラフ用語の追加・概念の追加 装飾：形状…