a means of expressing that the value of one particular attribute is associated with a single, specific value of another attribute
a means of expressing that the value of one particular attribute is associated with a single, specific value of another attribute
a trait that may appear between attribute types that states that one attribute's value implies another's