The advances made in network technology offer greater possibilities for distributed database systems. Concurrency control problems in such systems are identified and various solutions are briefly reviewed.
From the fact that we can classify the types of transactions to be run on a particular database, it is useful to analyze transactions before their execution and utilize the result for the concurrency control at run-time. The concept of the conflict graph analysis technique which is used in preanalyzing transactions at database design time is discussed. Also included some notions of transaction modelling.
This thesis is mainly concerned with the design and implementation of a tool that makes this preanalysis operation much easier. This tool, named by Transaction Analyzing System (TAS), reads the specification of transaction classes, checks the conflicts among them, and selects appropriate protocols for each pair of transaction classes.
The overhead of transaction class analysis can be considerably reduced by TAS. Without such a system, the analysis will be a very burdensome and error-prone job. Some remarks on the further study concerning to this system are also discussed.
네트워크 기술의 발달로 데이타베이스를 점점 더 분산시켜서 사용하게 되었다. 그러한 경우의 병행 수행 제어에 관한 문제점을 알아보고 여러가지 해결방안을 소개하였다.
특정한 데이타베이스에서 쓰여질 트랜잭숀들의 형태를 분류할 수 있다는 데에 착안하여, 트랜잭숀들이 수행되기 전에 그들을 분석하여 그 결과를 수행 중에 병행수행 제어를 위하여 사용하면 좀 더 효율적이 된다. 데이타베이스를 설계할 때에 트랜잭숀들을 분석하는데 사용되는 conflict graph 분석 기술개념을 소개하였다. 또한 트랜잭숀을 모델화하는 개념을 포함시켰다.
본 논문에서는 이러한 분석을 좀 더 용이하게 하는 시스템을 설계하고 실제로 만들어 보았다. 이 시스템은 트랜잭숀들이 분류되어진 상태에 관한 정보를 받아들여서 그들간의 conflict를 조사하여 conflict graph를 만들어 주고 적당한 protocol을 트랜잭숀들의 분류된 모임사이에 병행수행 제어를 위하여 정하여 준다.
이 시스템은 conflict graph 분석과정의 여러가지 overhead를 상당히 감소시켜 줄 수 있다. 이러한 시스템이 없으면 그러한 분석은 상당히 부담이 되고 실수를 범하기 쉬운 일이 될 것이다. 끝으로 본 시스템에 관한 앞으로의 연구방향에 관하여 몇가지 제안을 하였다.
