Completeness, Disjointness Constraint

Completeness Constraint

• total specialization

  • supertype의 entity가 반드시 최소한 하나의 subtype의 멤버일 경우

• partial specialization

  • supertype의 entity가 반드시 최소한 하나의 subtype의 멤버가 아닐경우

• ex1) 환자는 반드시 외래환자 또는 입원환자 중 하나이다(total specialization)

---

Disjointness Constraint

• Disjoint

  • supertype의 entity type의 entity가 동시에 2개 혹은 그 이상의 개수의 subtype의 멤버가 아닐 경우
  • 동그라미 안에 D로 표시

• Overlap

  • supertype의 entity type의 entity가 동시에 2개 혹은 그 이상의 개수의 subtype의 멤버일 경우
  • 동그라미안에 O로 표시

---

Completeness, Consistency Check

1. Completeness Check

• entity type이 primary key가 있는지
• 모든 entity type은 최소한 1개 이상의 relationship type과 연결되어야 한다.
• 모든 relationship type에는 이름이 있어야 한다.
• Cardinality constraint를 빼먹지 말아야 한다.

2. Consistency Check

• 모든 relationship type은 entity type들과 연결되어야 한다.
• 모든 relationship type의 이름은 고유해야 한다.
• Attribute의 이름은 고유해야한다.
• Relationship type은 다른 relationship type과 연결되면 안된다.