Lectures
- Tue (Sep 3). Course info and the relational model.
- Wed (Sep 4). First-order logic.
- Tue (Sep 10). First-order logic finished. Relational algebra started.
- Tue (Sep 17). Relational algebra finished. Core fragment of SQL started.
- Tue (Sep 24). Core fragment of SQL finished. "Relational algebra = First-order logic" started. We covered the translation from RA to FO today.
- Tue (Oct 1). Translation from FO to RA. Homomorphisms.
- Tue (Oct 8). Functional dependencies and the chase (cont. next week).