Universal Quantification Find all students who have taken all courses offered in the Biology department {t3re student (t [ID]=r[ID]) (tu∈course(u[dept_name]=“Biology”→ 3s e takes (t [ID]=s [ID s [course_id]=u [course_id )) Database System Concepts-7th Edition 27.9 @Silberschatz,Korth and SudarshanDatabase System Concepts - 7 27.9 ©Silberschatz, Korth and Sudarshan th Edition Universal Quantification ▪ Find all students who have taken all courses offered in the Biology department • {t |  r  student (t [ID] = r [ID])  ( u  course (u [dept_name]=“Biology”   s  takes (t [ID] = s [ID ]  s [course_id] = u [course_id]))}