Verifiable Properties of Database Transactions

Michael Benedikt, Timothy Griffin, Leonid Libkin. Verifiable Properties of Database Transactions. In Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 3-5, 1996, Montreal, Canada. pages 117-127, ACM Press, 1996. [doi]

Abstract

Abstract is missing.