Shared note
Software · L5 · Database Theory: Relational Algebra, Serializability, and Query Optimization
Relational algebra as SQL's formal foundation, conflict serializability via the precedence-graph test, and the combinatorics of query and join-order optimization.