Database system lecture slides for instructors