Functional dependency (source code)

= Functional dependency
{title2=$X\to Y$}
{wiki}

= FD
{c}
{synonym}

A <database integrity constraint> saying that any two <database tuples> agreeing on <database attributes> $X$ also agree on <database attributes> $Y$.