Database Recovery Demystified: Understanding Aries from First Principles (yashagw.github.io)