No contexto da teoria relacional para bancos de dados, seja R uma tabela relacional definida pelo conjunto de colunas C = {C1, C2, ... , Cn}.
Sendo X e Y subconjuntos de C, a dependência funcional X → Y é verificada, para qualquer par de linhas t1, t2 da relação R, distintas entre si, no seguinte caso:
