시험 직전 요약장

배타 서브타입은 보통 슈퍼타입의 판별자 값으로 어느 서브타입에 속하는지 결정할 수 있다. 판별자는 다음 조건을 만족해야 한다.

• 한 서브타입 집합에서 하나의 분류 기준을 사용한다.
• 코드값과 서브타입의 대응이 명확하다.
• 완전성·배타성 규칙과 모순되지 않는다.
• 값 변경 시 서브타입 전환 절차가 정의되어 있다.

고객을 한 축에서는 개인/법인, 다른 축에서는 국내/해외로 동시에 분해하려면 서로 다른 두 서브타입 집합으로 모델링해야 한다. 하나의 집합에 서로 다른 분류 기준을 섞으면 완전성과 배타성을 해석할 수 없다.