A New Concurrency Control Language for Transactional Process in Service-Oriented Architecture

For efficient execution of long-running autonomous transactions, the isolation property is commonly relaxed. Previous works on relaxing the isolation property of transactions proposed deriving the conflict relation between each pair of autonomous transactions. In this paper we show that the pair wise conflict relation is not sufficient in the general cases and propose a solution for implementing concurrency control dynamically according to the global context of all of the autonomous transactions in the system. We employed defeasible logic as a definition tool to describe the concurrency control requirement and used a query-answering defeasible logic system to implement a concurrency control system.