Login
From:
Surfing Complexity
(Uncensored)
subscribe
Modeling B-trees in TLA+ – Surfing Complexity
https://surfingcomplexity.blog/2024/07/04/modeling-b-trees-in-tla/
links
backlinks
Tagged with:
databases
formalmethods
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…
Roast topics
Find topics
Find it!
