고립화 수준을 검증하기 위한 트랜잭션의 시험

Abstract

데이터베이스 응용 프로그램들은 DBMS가 관리하는 데이터베이스를 동시에 접근하기 때문에 동시성 문제가 발생하며 이를 해결하기 위해서 대부분의 상업용 DBMS들은 고립화 수준을 설정할 수 있게 한다. 데이터베이스 응용 프로그램을 구성하는 트랜잭션들의 고립화 수준에 따라서 데이터베이스의 일관성이 위반될 수도 있기 때문에 트랜잭션의 고립화 수준의 검증은 중요하다. 본 논문은 트랜잭션의 고립화 수준 설정 오류를 검증하기 위한 시험 도구를 제안하고 프로토타입을 구현한다. 시험 도구는 ESQL/C 프로그램을 분석하여 고립화 수준을 검증할 수 있는 코드를 추가하여 시험 트랜잭션을 실행시키고 고립화 수준의 오류를 검출할 수 있게 한다. Concurrency and synchronization problems are often caused by database applications concurrently accessing databases managed by DBMS. Most commercial DBMSs support isolation levels to resolve these problems. Verification of isolation levels are most important because consistency and integrity constraints of the database can be violated according to isolation levels of transactions that consists of database applications. We propose a test tool set to verify and reveal faulty settings of isolation levels and implement a prototype of the test tool set. The proposed tool set analyzes the SQL statements of ESQL/C programs, attaches the test codes to verify isolation levels, runs the test transactions and detects errors.