モデリングと図

• ERモデリング 外部世界を「集合、写像、関係」でモデル化して、ノード、アロー、ブリッジで図示する。
• TCモデリング ERモデリングの成果物であるER図を変形してTC図を作成する。

ER＝Entity-Relationship、TC＝table-column。

ER図の構成要素：

1. 《ドメイン》ノード
2. 実体ノード
3. 写像アロー
4. 関係ブリッジ
5. 同時単射性制約マーカー
6. 同時双射性制約マーカー

ER図の生成縮退規則＝同値描き換え規則：

1. コピーの追加と削除
2. 直積の生成
3. 結合の生成
4. ファイバー積の生成
5. 終ノード、終アローの追加・削除
6. 同一視と埋め込み

TC図の構成要素：

1. 《ドメイン》ノード
2. テーブルノード ←実体ノード、関連ノード（関係ブリッジ）
3. 主キーカラムアロー ←主キー属性アロー
4. プロパティカラムアロー ←主キー以外の属性アロー
5. 外部キーカラムアロー ←主キー以外のアロー
6. 同時単射性制約マーカー

TC図の生成縮退規則＝同値描き換え規則：

• 対応する操作を、直積、《ジョイン》、リネームで行う