Modeling B-trees in TLA+

Modeling B-trees in TLA+.
I’ve been reading Alex Petrov’s Database Internals to learn more about how databases are implemented. One of the topics covered in the book is a data structure known as the B-tree. Rela…

Read in full here:

This thread was posted by one of our members via one of our news source trackers.