A theory of reliability in database systems

Vassos Hadzilacos

We examine reliable concurrent processing of transactions in a database system. As serialisability, the conventional concurrency control correctness criterion, is not adequate in the presence of common failures, we propose another theory of correctness, involving the concepts of commit serialisability, recoverability and resiliency.