a trait that may appear between attribute types that states that one attribute's value implies another's
a trait that may appear between attribute types that states that one attribute's value implies another's
is a relationship that exists when one attribute uniquely determines another attribute