Lectures
Course contents are listed below, and later this page will contain the lecture slides. The slides of the previous course (2024/25 Fall) can be found via "Links".
- Course info and the relational model.
- First-order logic (FO).
- Relational algebra (RA).
- Core fragment of SQL.
- RA equals FO.
- Homomorphisms.
- Functional dependencies and the chase.
- Inclusion dependencies.
- Conjunctive queries (CQs).
- Homomorphisms and Expressiveness.
- Containment and Equivalence.
- Core and Minimization.
- Hypergraphs and acyclic CQs.
- Evaluation of ACQs.
- Edge covers and fractional edge covers.
- Worst-case optimal join algorithms.