Analysis of Concurrent Transactions in a Functional Database Programming Language. | AMiner