The domain of empno is defined to be the set of strings of length at most
11. In addition, we have the column constraint not null, which means that
null cannot be used as a value of the attribute empno. The domains of the
other attributes have similar, obvious definitions that are discussed below. Note
that in the definition of INSTRUCTORS we impose a table constraint, namely
primary key(empno).