It's more about relational algebra rather than implementation (at least when I took it)
Yes, but what we need is more materials about actual implementation - how ACID is implemented (e.g. in C++), how query parsing/optimization/execution is realized, etc...