Multi-Level Transactions (MLT) o er a useful framework for increasing transaction concurrency in database systems. In this paper, we develop various approaches to implementing MLT in a shared disk multi-node system. By combining correctness and implementation speci cations, we present concrete insights into the resulting tradeo s between the degree of concurrency, the complexity of recovery, an...