This thesis studies database operations on the entity level in the semantic data model including is-a hierarchy. As a new class interrelationship among those entities which represent composite concepts, entity-sharable relationship is identified. The is-a hierarchy is further classified into four cases-conceptual, attribute-defined, set-operated, existence-constrained is-a. For each case, a richer set of invariants to support database operations is explored. These class relationships suggest some postulates for joinable conditions which can prevent meaningless joins.
本 論文은 is-a 계층을 갖는 전형적 意味 데이타 모형 (semantic data model)인 ESM(Entity Semantic Model)을 설계하고 그 모형에서의 entity수준의 데이타 베이스 명령어 조작에 대하여 연구하였다. ESM에서 복합적 의미를 갖는 entity의 표현을 위한 entity class의 새로운 상호 관계로서 entity sharable 관계가 정의되었고 is-a 관계는 개념적, 성질 의존적, 집합算, 존재 제한적 is-a로 구분되었고, 그 각 경우에 대하여 데이타 베이스 명령어의 부수효과(side-effect)를 자동적으로 처리하기 위한 확장된 invariant set이 구해졌으며 이들 entity class간의 상호 관계를 통하여 무의미한 join을 방지하기 위한 몇 가지 postulate가 제시되었다. 또한 효과적인 데이타 베이스 설계를 위하여 MT/ESM이란 modelling tool이 마련되었다.
