검색 기능은 준비 중입니다.
검색 기능은 준비 중입니다.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Complexity of the Type-Consistency Problem for Acyclic Object-Oriented Database Schemas 비순환 객체 지향 데이터베이스 스키마에 대한 유형 일관성 문제의 복잡성

Shougo SHIMIZU, Yasunori ISHIHARA, Junji YOKOUCHI, Minoru ITO

  • 조회수

    0

  • 이것을 인용

요약 :

메서드 호출 메커니즘은 객체 지향 프로그래밍 언어의 필수 기능 중 하나입니다. 이 메커니즘은 데이터 캡슐화 및 코드 재사용에 기여하지만 런타임 유형 오류가 발생할 위험이 있습니다. 객체 지향 데이터베이스(OODB)의 경우 런타임 오류로 인해 롤백이 발생합니다. 따라서 주어진 OODB 스키마가 일관되게 유지되도록 하는 것이 바람직합니다. 즉, OODB 스키마의 데이터베이스 인스턴스에서 쿼리를 실행하는 동안 런타임 오류가 발생하지 않도록 하는 것이 바람직합니다. 이 논문에서는 유형 일관성 문제의 계산 복잡성에 대해 논의합니다. OODB 스키마의 모델로서 우리는 클래스 계층 구조, 상속, 복합 객체 등과 같은 OODB의 기본 기능을 모두 갖춘 Hull 등이 소개한 업데이트 스키마를 채택합니다. 업데이트 스키마의 유형 일관성 문제는 결정할 수 없는 것으로 알려져 있습니다. 비순환 스키마라고 하는 업데이트 스키마의 하위 클래스를 소개하고 비순환 스키마의 유형 일관성 문제가 coNEXPTIME에 있음을 보여줍니다. 또한 재귀 없는 비순환 스키마의 문제는 coNEXPTIME-hard이고 검색 비순환 스키마의 문제는 PSPACE-complete임을 보여줍니다.

발행
IEICE TRANSACTIONS on Information Vol.E84-D No.5 pp.623-634
발행일
2001/05/01
공개일
온라인 ISSN
DOI
원고의 종류
PAPER
범주
데이터베이스

작성자

키워드