Structure of the Glossary
In the following, we will name concepts selected by applying the four
above principles. For most of the concepts being named, we will employ
the same template:
- Name—the chosen name of the concept is used as the
heading.
- Definition—the definition of the concept.
- Explanation—further exploration of the definition
and its consequences, including exemplification; this section is
optional.
- Previously Used Names—list of previously used names.
- Discussion of Naming—reasons for the particular
choice of name (and concept) and reasons for not selecting
previously used names (and concepts).
Names of concepts that are defined in the glossary are typeset with a
special font. For example, valid time and transaction time
have entries in the glossary. The special font is only used for the
first occurrence of a name in a subsection of a glossary entry, and
only if the entry of the name may be found in the current section or
in an earlier section. To locate a particular glossary entry, use the
index at the end of the document.