e/Transitive dependency

Information
has gloss	eng: In mathematics, a transitive dependency is a functional dependency which holds by virtue of transitivity. A transitive dependency can occur only in a relation that has three or more attributes. Let A, B, and C designate three distinct attributes (or distinct collections of attributes) in the relation. Suppose all three of the following conditions hold:
lexicalization	eng: transitive dependency
instance of	c/Database constraints