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.