functionele afhankelijkheid

Een functionele afhankelijkheid is een bepaald soort constraint (voorwaarde) op de mogelijke waarden in een relatie (tabel) van een relationele database. Een verzameling attributen (kolommen) van de relatie wordt functioneel afhankelijk genoemd van een tweede verzameling attributen als altijd wanneer twee tupels (rijen) van de relatie gelijke waarden hebben voor de tweede verzameling attributen, ze ook gelijke waarden hebben voor de eerste verzameling attributen: De beide verzamelingen attributen worden de gedetermineerde respectievelijk de determinant van de functionele afhankelijkheid genoemd. Een verzameling attributen waarvan alle attributen functioneel afhankelijk zijn wordt een kandidaatsleutel van de relatie genoemd. Functionele afhankelijkheden spelen een grote rol bij databanknormalisatie.