Notes on the FoundationDB Paper with Additional Proof of Correctness

FoundationDB is a very impressive database. Its paper won the best industry paper award in SIGMOD’21. In this post, I will explain, in detail, how FDB works and discuss a few very interesting design choices they made. It’s a dense paper packed with neat ideas. Many details (sometimes even proof of correctness) are not included in the paper. I added the proof wherever necessary.

What is FoundationDB?