EERダイアグラム - サブタイプ間の特殊化制約と不均衡制約の混同

Question

私は、スーパータイプStudentを持つEERダイアグラムを設計しようとしています。サブタイプは、学部、大学院および研究アシスタントです。学生は学部または卒業生のいずれかでなければならず、学生は研究アシスタントである場合とそうでない場合があります。

これらの関係を表現する方法は完全にはわかりません。私はスーパータイプ/サブタイプの関係を学生からサブタイプに移行する必要がありますか？専門分野のみを持つ研究アシスタントとは別の関係がありますが、学部と大学院はトータルの専門性とディスジョイントを備えていますか？

または私は総専門と重なりを持っており、上記の制約を反映するために、サブタイプ判別器を定義する関係を持っている必要がありますか？

申し訳ありませんが、私は何かを明らかに不足しています。

Answer 1

最初の図は正しいものであり、記述した特殊化がはっきりと示されています。