Rules for Attributes

An attribute describes exactly one entity type.
An attribute must have, at most, one value for any entity of the entity type it describes.
An attribute must not have attributes of its own.
An optional attribute may not participate in an identifier.
The initial value of an attribute that participates in an identifier may not be changed.
A derived attribute may not participate in an identifier.