The final exam will be Thursday, May 5 at 1:30-3:20PM in Main 326.
The exam will be open book and notes.
A short review.
and example final exam are available.
Homework 1 is available.
For Exercise 6.30 problem f), give a statement in logic that
expresses the condition that the two relations are the same (by
comparing tuples). The statement should evaluate to true or false
rather than to a relation.