| March 26 |
Unit 1: Classical Model Theory Handout slides Beamer slides
|
| March 28 |
Unit 1 (continued)
|
| April 2 |
Unit 1 (continued)
|
| April 4 |
Unit 1 (continued)
|
| April 9 |
CANCELED
|
| April 11 |
CANCELED
|
| April 16 |
Unit 2: Expressibility and Games Handout slides Beamer slides(coninued)
|
| April 18 |
Unit 2 (continued)
|
| April 23 |
Unit 3 Logic and Complexity Handout slides Beamer slides(coninued)
|
| April 25 |
Unit 3 (continued)
|
| April 30 |
Unit 3 (continued)
|
| May 2 |
Unit 4: Query Containment Handout slides Beamer slides(coninued)
|
| May 7 |
Unit 5 Algorithmic FMT Handout slides Beamer slides
|
| May 9 |
Unit 5 (continued)
|
| May 14 |
CANCELED Makeup on Thu/Fri: Functional Aggregate Queries are FAQs Guest Lecturer Hung Ngo
|
| May 16 |
CANCELED
|
| May 21 |
Unit 7: The Semiring Framework for Database Provenance Guest lecturer Val Tannen Room: Gates Commons
|
| May 23 |
Unit 7 Provenance Analysis for First-Order Model Checking Guest lecturer Val Tannen Room: Gates Commons
|
| May 30 |
Unit 8: Discussion
|