EER图 - 在子类型中混合专业化和不相交约束

Question

我试图设计一个具有超类型学生的EER图，该学生具有以下子类型：本科生，研究生和研究助理。学生必须是本科生或研究生，学生可能是也可能不是研究助理。

我不完全确定如何描绘这些关系。我是否应该将超类型/子类型关系从学生转变为亚型本科生和毕业生具有完全专业化和脱节性，而单独的关系转到研究助理只有部分专业化？

或者我应该拥有具有完全特化和重叠的关系，并定义子类型鉴别器以反映上述约束？

很抱歉，如果我遗漏了一些明显的东西。

Answer 1

您的第一张图是正确的，并清楚地描述了您描述的专业化。