ศาสตราจารย์อีฟ อัจฉเดช เป็นอาจารย์ใหญ่ภาคเรียนที่ 525 หรือเปล่า ?ไม่จำเป็นต้องใช้ทุกโต๊ะ
Is Prof. Yves Atchade the head professor for 525 next semester ?It is not neccessary to use all the tables.
 program_requirement:  program_id [ int]  category [ varchar]  min_credit [ int]  additional_req [ varchar] 
SELECT COUNT(*) > 0 FROM course, course_offering, instructor, offering_instructor, semester WHERE course.course_id = course_offering.course_id AND course.department = 'EECS' AND course.number = 525 AND instructor.name LIKE '%Yves Atchade%' AND offering_instructor.instructor_id = instructor.instructor_id AND offering_instructor.offering_id = course_offering.offering_id AND semester.semester = 'FA' AND semester.semester_id = course_offering.semester AND semester.year = 2016