Byzantine Fault-Tolerant Transaction Processing for Replicated Databases
Transaction commit is a problem much investigated, both in the databases and systems communities, from the theoretical and practical sides. The authors present a modular approach to solve this problem in the context of database replication on environments that are subject to Byzantine faults. The protocol builds on a total order multicast abstraction and is proven to satisfy a set of safety and liveness properties. On the contrary of previous solutions in the literature, it assures strong consistency for transactions, tolerates Byzantine clients and does not need centralized control or multi-version databases.