数据库｜强化实体模型特化中的两个约束

specialzation 的第一个constraint是 disjoint(不相交）
disjoint一个实体至多是特化中一个子类的成员，
例如雇员中实体最多只能是秘书，技师，工程师中的一个。
overlaping（重叠）个实体可出现在特化的多个子类中，
既雇员中实体可以是秘书也可以是技师。

第二个constraint是completeness（完备性）
total 超类中的每个实体必须是特化中某个子类的一个成员，
在雇员里的每一个实体必须在秘书，技师和工程师中。
partial 超类中的实体可以不属于任何一个子类，
雇员里的实体可以有其它职业。
 

四个约束的组合

Disjoint total

MUST be in EXACTLY ONE of the subclasses.

例：Vehicle：is either Car or Truck

 

Disjoint partial

CAN be in EXACTLY ONE of the subclasses

例：Employee is either Secretary, Technician,Manager..

 

Overlapping total

MUST be in at least one of the subclass.

例：Part：is ManuPart or PurchaesdPart

 

Overlapping partial

CAN be in at least one of the subclass.

例：Part：is ManuPart or PurchasedPart…otherPart