Lectures
- Tue (Sep 3). Course info and the relational model. Attach:lec1.pdf
- Wed (Sep 4). First-order logic. Attach:lec2.pdf
- Tue (Sep 10). First-order logic finished. Relational algebra started. Attach:lec3.pdf
- Tue (Sep 17). Relational algebra finished. Core fragment of SQL started. Attach:lec4.pdf
- Tue (Sep 24). Core fragment of SQL finished. "Relational algebra = First-order logic" started. We covered the translation from RA to FO today. Attach:lec5.pdf
- Tue (Oct 1). Translation from FO to RA. Homomorphisms. Attach:lec6.pdf
- Tue (Oct 8). Functional dependencies and the chase (cont. next week). Attach:lec7.pdf
- Tue (Oct 15). Inclusion dependencies (cont. next week). Attach:lec8.pdf
- Tue (Oct 22). Cancelled (due to illness).
- Tue (Oct 29). Conjunctive queries. Self-study. Attach:lec9.pdf
- Tue (Nov 5). Homomorphisms and Expressiveness (cont. next week). Attach:lec10.pdf
- Tue (Nov 12). Containment and Equivalence. Core and Minimization defined. Attach:lec11.pdf
- Tue (Nov 19). Core and Minimization finished (skipped the details of Proposition 3). Hypergraphs and acyclic CQs. Attach:lec12.pdf Attach:lec13.pdf
- Tue (Nov 26). Evaluation of ACQs (skipped proof details). Edge covers and fractional edge covers started. Attach:lec14.pdf Attach:lec15.pdf
- Tue (Dec 3). Worst-case optimal join algorithms. AEJoin algorithm (skipped the details of its correctness and time complexity). Attach:lec16.pdf