바다 - III 에서 영속객체의 참조와 집합 자료형에 영속객체 참조자의 저장에 대한 정당성 검사의 설계 및 구현

바다-Ⅲ는 영속객체 참조자를 통한 영속객체 참조의 정확성과 집합 자료형에 저장된 영속객체 참조자의 정확성을 보장하기 위하여 영속객체 참조자를 통한 영속객체의 참조시, 그리고 집합 자료형에 영속객체 참조자의 저장시 클래스 계층을 고려하여 그 정당성 검사를 수행한다. 본 논문은 바다-Ⅲ에서 영속객체의 참조와 집합 자료형에 영속객체 참조자의 저장에 대한 정당성 검사를 설계하고 구현한 내용을 제시한다.