Foundations of Databases exercise corrections