Login
Roast topics
Find topics
Find it!
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
Roast topics
Find topics
Roast it!
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…
