● Describes relationship between attributes in a relation.
● If A and B are attributes of relation R, B is functionally dependent on A (denoted A  B), if each value of A in R is associated with exactly one value of B in R.
Property of the meaning (or semantics) of the attributes in a relation.