O conhecimento sobre o conceito de dependência funcional é crucial na modelagem de dados na PPSA. Analise a seguinte definição formal: "Uma dependência do tipo X → → Y, especificada sobre o esquema de relação R, onde X e Y são subconjuntos de R, determina a seguinte restrição sobre qualquer estado de relação r de R: Se duas tuplas t1 e t2 existirem em r tais que t1[X] = t2[X][, então duas tuplas t3 e t4 também deverão existir em r com as seguintes propriedades nas quais usamos Z para indicar (R- (X U Y))". A definição corresponde a: