データベーススペシャリスト 2019年 午前2 問04

プロパティの所属と排他制約【午前2解説】

正解の理由

• Node—Property 間の多重度は、Property側が 0..*（ノードは複数のプロパティを持てる）、Node 側が 0..1（1つのプロパティは最大で1つのノードに所属）。
• Edge—Property も同様に、1つのプロパティは最大で1つのエッジに所属できる。
• 「制約：同時には成立しない」は、同一の Property インスタンスが同時にノードにもエッジにも所属してはいけない（ノード所属とエッジ所属は排他＝XOR）ことを示す。

解法ステップ

1. クラス図の各端の多重度ラベルがそれぞれ「その端のオブジェクトが相手側のオブジェクトを何個持てるか」を示すことを確認する。
   • Property 側にある 0..* は「Node / Edge が複数の Property を持てる」こと。
   • Node / Edge 側にある 0..1 は「1つの Property は最大1つの Node（または Edge）にしか属せない」こと。
2. 注記「同時には成立しない」は、同一 Property の両方の所属が同時に成立しない（XOR）ことを意味すると解釈する。
3. 各選択肢のオブジェクト図で、各 Property インスタンスが（a）複数の Node に繋がっていないか、（b）Node と Edge の双方に同時に繋がっていないか、（c）実線／点線などの線種がモデルの意図に合っているかを確認する。
4. 上の基準に照らして、唯一すべて満たすのが イ であることを確認する。

選択肢別の誤答解説

• 説明にある E01/E02 から N01 へ「破線の縦線」が引かれている点が問題です。クラス図の破線（注記付き）はクラス間の制約表示に使われており、個々のインスタンス間の実際の所属関係（オブジェクト図上のインスタンスリンク）は実線で表すべきです。図アはインスタンス結合に破線を用いており、図中の線種がクラス図の意味（制約）と混同されています。
• また、図アでは P01 が N01 に所属している一方で、E01/E02 が同じ N01 に破線で結ばれているため、図の読み取りにおいて「どの所属関係が実際のオブジェクトリンクなのか」が不明瞭になります。クラス図の排他制約は「同一の Property が Node と Edge の両方に属してはいけない」としているため、インスタンス図はその排他性を明確に示す必要があり、図アは線種と構造の両方で不適切です。

• P01 から左右上方向に伸びる実線で N01 と N02 の両方に接続されています。クラス図で Node 側の多重度が 0..1 であることは「1つの Property は同時に複数の Node に属してはいけない」ことを意味します。図ウは P01 が2つのノードに所属しており、この多重度制約に明確に違反しています（これが最も直接的で致命的な誤りです）。

• P01 から N01 への接続が「点線」で描かれていますが、所属関係（インスタンスの所有リンク）は実線で表現すべきです。点線はしばしば依存や注記的な参照を表すため、インスタンスの「所属が成立している」ことを示すには不適切です。
• 加えて、図エでは P01 が点線で N01 に接続されつつ、別の E02→P02 の構成があるため、描かれた接続がクラス図の排他制約・多重度を満たしているか判別しにくく、明確な合致を示していません。

よくある誤解

• 多重度の読み間違い：ラベルは「そのラベルが近接しているオブジェクトが相手側を何個持てるか」を示す。例えば Node 側に書かれた 0..1 は「1つの Property が属し得る Node の数は最大1」という意味で、逆に読まないこと。
• 破線／点線の意味を混同する：クラス図での破線は注記や制約の表示に用いられることがあるが、オブジェクト図のインスタンス関係は原則として実線で示す（所属が「成立している」ことを明示するため）。
• 排他制約を見落とす：モデルに「同時には成立しない」と明示されている場合、同一の Property が Node と Edge に同時接続されていないか必ず確認する。

補足コラム

FAQ