In this thesis, we propose a new validation scheme, COOV, for scheduling transactions optimistically in client-server based mobile database systems. In the mobile environment, it cannot be guaranteed reliable message transfers due to various latency factors in wireless channels. The delays in transferring commit requests could result in serious performance degradation in validation processes for transaction scheduling. Unlike the validation method in the other optimistic concurrency control schemes, COOV removes the waiting time in validation process induced from the delays on basis of the notion of commit reordering. Another version of COOV, $R^2COOV$, is also devised to reduce the abort ratio in COOV by rearranging the serializable order of committed transactions without destroying serializability. For implementing COOV and $R^2COOV$,we also present a new scheme for assigning transaction number, SORT. It enables COOV and $R^2COOV$ to validate transactions irrespective of the delays and moreover to guarantee serializability corresponding to the substantial execution order.
본 논문에서는 이동계산환경에서의 거래순서화를 낙관적으로 수행하기 위한 거래검증기법을 제안하였다. 기존의 검증기법들을 이동환경에서 그대로 사용할 경우 완료데이타의 전송지연에 따른 검증과정에서의 연속지연이나 무한정 기다림 등의 문제가 발생할 수 있다. 본 논문에서 제안된 COOV는 거래검증순서를 거래의 지역완료시점이 아닌 완료 데이타 도착시점에 의해 결정함으로써 연속지연과 무한정 기다림의 문제를 해결한다. 그러나 거래검증순서를 완료 데이타 도착시점에 따라 수행할 시에는 완료 데이타 전송시간의 불균일성으로 말미암아 거래의 지역실행순서와는 전혀 상관이 없는 거래직렬순서가 검증결과로 생성될 수 있다. 따라서 COOV에서는 거래검증의 순서는 거래완료 데이타가 도착한 순서를 따라 결정하고 거래의 직렬가능 순서는 거래의 지역완료순서에 따라 결정하는 방법을 채택한다. 이를 위해 각 거래는 지역완료시점과 데이타전송완료시점이라는 두개의 타임스탬프값들을 가지고 있어야 하며 이를 위해 본 논문에서 SORT라는 새로운 거래번호부여 기법도 아울러 제안했다.
그러나 낙관적 동시성제어기법은 일반적으로 거래간 충돌이 잦은 환경하에서는 높은 거래철회율로 인해 그 성능이 심각히 저하될 수 있다. 본 논문에서 제안된 COOV의 또 다른 버젼인 $R^2$COOV는 거래검증시 이미 완료된 타거래와 충돌이 발생했음을 발견하는 경우에 검증되는 거래의 직렬가능순서를 재조정함으로써 그 거래가 완료될 수 있는 방안을 모색한다. 이러한 방법에 의해 $R^2$COOV는 성능평가에서도 보았듯이 상당히 거래철회율을 낮출 수 있었다. 그러나 거래철회율을 낮추기 위해서 $R^2$COOV는 COOV에 비해 상당히 많은 양의 부가적인 교차테스트를 필요로 한다. 이는 성능평가에서 거래검증에 필요한 완료시간 비교에서도 그 사실이 입증되었다.