ISA CONSTRAINTS
상속 변환은 total/disjoint 제약 표현까지 검토한다
모든 상위 개체가 하위 타입 중 하나여야 하는지, 여러 타입에 동시에 속할 수 있는지 확인한다.
Total
Partial
Disjoint
total
Total
모든 User는 Student/Professor/Staff 중 하나
partial
Partial
일부 User는 어떤 하위 타입도 아닐 수 있음
one
Disjoint
한 User가 하나의 하위 타입에만 속함
multi
Overlap
한 User가 학생이면서 직원일 수 있음