251003 - Overlap / Covering constraints

Overlap constraints

: 중첩 제약 조건, 하나의 슈퍼클래스 인스턴스가 여러 서브클래스에 동시에 속할 수 있음

ex. 한 직원이 시급제이면서 동시에 계약직 직원일 수 있음

=> 일반화 원에 o 넣기

 

<-> disjoint : 중첩 불가, 하나의 슈퍼클래스 인스턴스는 오직 하나의 서브클래스에만 속할 수 있음

ex. 직원은 시급제 또는 계약직 중 하나만 될 수 있음

=> 일반화 원에 d 넣기

 

 

Covering constraints

: 포괄 제약 조건, 슈퍼클래스의 모든 인스턴스가 반드시 하나 이상의 서브클래스에 속해야함

즉, 상위 클래스는 하위 클래스들로 완전히 커버된다

ex. 모든 직원은 반드시 시급제 or 계약직 중 하나이다

=> 이중선

 

<-> Partial : 부분 제약, 슈퍼클래스의 일부 인스턴스는 아무 서브클래스에도 속하지 않을 수 있음

ex. 직원 중 일부는 시급제도, 계약제도 아닌 정규직일 수 있다

=> 단일선