병행 수행 제어를 위한 Transaction분석 시스템에 관한 연구

본 논문은 transaction class의 protocol 표를 자동적으로 작성할 수 있는 시스템 설치에 관한 것이다. 이 시스템은 단순 predicate로 표현된 transaction class를 입력으로 받아 들여서 그 class들 간에 상중여부를 조사한뒤 상충되는 transaction class들에 대해 적절한 protocol을 명시하여 주는 transaction-protocol관계표를 출력으로 생성한다. 이 관계표는 분산데이타 베이스 시스템에 있어서 transaction 들의 병행수행제어를 용이하게 하려는 데 그 목적이 있다.