実体ノードEとその属性集合Aがあり、Aを含むリレーション型Rがあるとき、AがRに置いて網羅的とは、 A:E→Tuple(A) は単射である。 Rの任意のインスタンスrにおいて、r[A] = A[E] が成立する。 さらに、r|→r[A] が常に単射（つまり、キー）なら、完全と呼ぶ。…

ERスキーマの図式的表現をER図と呼ぶことにする。ノードとアロー（有向辺）からなるグラフ（箙）。 図 説明 ドメインノード 基本的値の集合 実体ノード 個体の集合 属性アロー 実体→ドメイン 関連アロー 実体→実体 計算アロー ドメイン→ドメイン ドメイン→実…