モデルの詳細ペイン
モデルの詳細ペインには、モデルに関する分析の詳細が表示されます。このペインには以下の特性の情報が表示されます。
- 名前 — データを表示しているモデルの名前
- エンティティ — エンティティの数
- 関連性 — 関係の数
- 非循環 — 各関連性によって集合内の別のエンティティと結ばれるエンティティと有向関係の集合で、どこかのエンティティ v からスタートして関連性のシーケンスを追っても、結局、v に再び戻ることが決してない、そのような集合の状態。
- 二重接続される — 連結して分離不可分な状態。例えば、モデルからエンティティをすべて取り除いたとすると、そのモデルは連結したままになります。
- バイパーティション — 集合 U 内のエンティティに接続する関連性すべてが集合 V 内の別のエンティティに接続するというように、エンティティ (の集合) を、互いに交わらない 2 つの集合 U と V に分割できること。等価的には、二部グラフ モデルは奇数長サイクルを持たないモデルと同じです。
- 接続される — モデル内の 1 つのエンティティからモデル内の他のエンティティへのパスが存在します。
- 循環 — 単一のサイクルからなること。別の言い方をすると、エンティティがいくつか連結して閉じたチェーンが形成されることです。
- フォレスト — 連結コンポーネントがすべてツリー (Tree) の無向モデル。つまり、ツリーの直和。等価的に、フォレストはサイクルのない無向モデルと同じです。
- 複数の関連性を持たない — 2 つ以上の関連性が同じエンティティで鉢合わせしないこと。
- 平面的 — どの関連性とも交わらないように描けること。
- ルート付きツリー — 1 つのエンティティが根 (root) とされ、関係がそこから上へ広がっていくこと。
- 強く接続される — モデル内の各エンティティを他のあらゆるエンティティと結ぶパスが存在すること。特に、これは、どちら向きのパスもあり、つまり、a から b へのパスも、b から a へのパスもありを意味します。
- ツリー — 任意の 2 つのエンティティが 1 つの単純パスで連結される無向モデル。
注: このペインはデフォルトで表示されますが、[表示] タブの [ツール] リボン上の [モデルの詳細] ボタンによって表示/非表示を切り替えることができます。