능동 객체지향 데이타베이스에서의 일관성 관리에 관한 연구

국문 초록 (Abstract)

본 논문은 능동 객체지향 데이터베이스(active object-oriented databases)의 인스턴스 변화에 대한 일관성을 관리하는 모델을 제시한다. 데이터베이스의 인스턴스의 변화는 사용자의 갱신에 의하여 구동되는 데, 능동 데이터베이스에서는 데이터 변화에 따른 능동규칙(active rules)의 구동(activation)으로 말미암아 데이터 변화 효과(side-effects)가 연속적으로 파급(propagation)될 수 있다. 이러한 모델에서는 데이터베이스의 능동성은 보장하지만, 능동성 보장(즉, 능동 규칙의 구동과 데이터 변화 효과의 연속 파급)으로 인하여 발생하는 비일관성은 아직 문제로 남게 된다. 데이터 변화 효과의 파급이 가져오는 전체 데이터베이스의 일관성 문제를 파악하고 해결하는 것이 문제이다. 뿐만 아니라, 객체지향 데이터베이스에서는 객체지향성이 내포하는 복잡한 특성인 일반화 계층으로 인하여 능동성 보장 및 일관성 관리에도 어려움이 있다는 것은 잘 알려진 사실이다.
본 논문은 능동 객체지향 데이터베이스에서 능동성을 보장할 때 유발되는 비일관성 문제를 해결하는 것이 목적이다. 일관성 관리를 위해 먼저, 무결성 제약조건(integrity constraints)과 능동규칙을 객체지향 데이터베이스에서 이용 가능하도록 표현한다. 이러한 논리적 표현(logical representation)을 바탕으로 능동 객체지향 데이터베이스에서 발생되는 “전체 변화”를 순차적인 갱신문으로 변환시킨다. 본 논문에서 제시하는 순차적 갱신문은 (1)데이터베이스 변화의 사전조건 (변화가 시도되어도 좋을 조건 pre-condition), (2)변화 효과의 전파 (연속해서 수행되어야 하는 능동규칙), (3)보수가 필요하지 않도록 데이터 변화의 폭을 제한하는 사후 조건 (변화 후의 일관성을 확인하는 조건 post-condition)을 포함하도록 한다. 본 논문의 기여도는 먼저 능동성을 객체지향 데이터베이스에 새롭게 적용하였으며, 전체 데이터베이스의 일관성을 관리하기 위하여 갱신문들이 순차적으로 모델링 되는 데 있다. 결국, 이 모델링은 사용자가 제시하는 단순한 갱신이 데이터베이스 내에서 능동적으로 뿐만 아니라 일관성을 유지하도록 수행될 수 있는 장점을 가지고 있다.

다국어 초록 (Multilingual Abstract)

This paper describes consistency management in active object-oriented databases. State changes in typical databases are initiated by users, however, in active databases, active rules are activated in response of database state changes, and further the effects of active rule activation are propagated as well. Although this manner increases the activeness in databases by side-effect propagations, it may cause inconsistencies to the overall databases by those side-effect propagations. Activation of active rules and propagation of rule activation side-effects are useful in one hand to make databases active, but it come shortfalls in another hand to keep databases in consistency. In addition, object-orientation characteristics are yet another shortfall to make databases both active and consistent.
This paper aims to solve the inconsistency problem which may occur in active object-oriented databases. First, integrity constraints and active rules are formalized to be suitable to object-oriented databases. Such a logical representation can be semantically reformulated to a sequence of database updates. A sequence of database updates thus contains (1)pre-conditions for updates to be activated, (2)propagations of side-effects of active rule activations, (3)post-conditions for updates to be in consistency. The contributions of this paper contain an extension of activeness features to object-oriented databases, and modeling a sequence of updates to manage database consistencies. In this way, a single database update can be reformulated to a sequence of updates in order to make object-oriented databases active and maintain the databases consistent.

목차 (Table of Contents)

• 요약
• ABSTRACT
• 1. 서론
• 2. 제약조건 언어
• 3. 데이터 변화 중의 제약조건 관리
• 4. 객체지향 클래스에 능동규칙 병합하기
• 5. 갱신의 전파
• 6. 결론
• 참고문헌