Correct execution of transactions at different isolation levels | IEEE Journals & Magazine | IEEE Xplore