Define a functional dependency and write its notation.

Answer

A constraint between two attributes in which the value of one determines the value of the other: A → B means that for each value of A there is exactly one associated value of B.

It is a semantic business rule, not a calculation, and cannot be proven from sample data — only disproven.