Example 5.12.3 Another query that requires division in relational algebra is:
“Find names of instructors who have taught every 100-level course, that is,
102 SQL — The Relational Language
every course whose first digit of the course number is 1.” The formulation that
is better suited to SQL implementation is: “Find names of instructors for whom
there is no 100 level course that they have not taught.” This is solved by the
following select construct: