Example 5.17.5 Recall that in Example 5.12.3 we solved the query “Find
names of instructors who have taught every 100-level course, that is, every
course whose first digit of the course number is 1” by implementing division in
SQL.
Here we determine the number 100-level courses and, then we seek the employee numbers that are associated with all these courses in the GRADES table: