Software · L5 · Database Theory & Query Optimization

The formal foundations of relational databases: relational algebra, conflict serializability via the precedence-graph test, and the combinatorics of query and join-order optimization.