28
Restriction, cont'd
n
Similarly,
(forename+,surname)
n
is a restriction of the original type definition for
name
(title?,forename*,surname)
n
and the same relation holds.