Logical Introduction to Databases: Instructor's Manual