funkcionális függőség, meghatározás

Rövid szöveges bemutatás: 
A funkcionális függőségeket széles körben alkalmazzák, például az elsőrendű logikában vagy az adatbázis táblák leírásánál. A funkcionális függőség dióhéjban azt jelenti, hogy egy-egy kifejezés vagy változó értéke egyértelműen meghatározza egy másik változó értékét. Egyszerű példa erre: Ha egy olyan világban élünk ahol a kenyeret csakis tejjel lehet venni, akkor a Vesz(Endre, kenyér) állításból egyértelműen következik, hogy Vesz(Endre, tej). Bár fordítva már nem feltétlenül igaz. Az adatbázisok tudományterület ez a függőség típus annyira elterjedt és jelentős, hogy speciális szintaxist is kapott, mely később elterjedt. Íme: Vesz(Endre, kenyér) -> Vesz(Endre, tej). Változók esetén például, ha x=5 -> y=115. Tehát x értéke egyértelműen meghatározza y értékét.