An executor for multidatabase transactions which achieves maximal parallelism

The authors concisely specify a executor in the logically parallel language, L.0, for a particular extended transaction model called multidatabase transactions. An executor is a program, which takes as input the data defining any particular multidatabase transaction, dynamically schedules the sub-transactions, and determines whether the multidatabase transaction succeeded or failed. In the program presented, the parallelism is the maximal amount permitted by the semantics of the multidatabase transaction. A refinement of this program could restrict the parallelism to the amount permitted by the systems executing the sub-transactions