Tartalomjegyzék:
- Meghatározás - Mit jelent a funkcionális függőség?
- A Techopedia magyarázza a funkcionális függőséget
Meghatározás - Mit jelent a funkcionális függőség?
A funkcionális függőség olyan kapcsolat, amely akkor áll fenn, amikor az egyik attribútum egyedileg meghatározza a másik attribútumot.
Ha R kapcsolatban áll az X és Y attribútumokkal, akkor az attribútumok közötti funkcionális függőséget X-> Y-ként ábrázoljuk, amely meghatározza, hogy Y funkcionálisan függ X-től. Itt X egy determináns halmaz és Y függő attribútum. Minden X érték pontosan egy Y értékkel van társítva.
Az adatbázis funkcionális függősége korlátozásként szolgál két attribútumkészlet között. A funkcionális függőség meghatározása a relációs adatbázis-tervezés fontos része és hozzájárul a aspektus normalizálásához.
A Techopedia magyarázza a funkcionális függőséget
A funkcionális függőség triviális, ha Y az X részhalmaza. A munkavállalói név és a társadalombiztosítási szám (SSN) attribútumokkal ellátott táblázatban az alkalmazott neve funkcionálisan függ az SSN-től, mivel az SSN az egyes nevekre egyedi. Az SSN konkrétan azonosítja a munkavállalót, de az alkalmazott neve nem képes megkülönböztetni az SSN-t, mivel egynél több alkalmazottnak lehet ugyanaz a neve.
A funkcionális függőség meghatározza a Boyce-Codd normál formát és a harmadik normális formát. Ez megőrzi az attribútumok közötti függőséget, kiküszöböli az információk ismétlődését. A funkcionális függőség egy jelölt kulcshoz kapcsolódik, amely egyedileg azonosítja a csatolást és meghatározza a reláció összes többi attribútumának értékét. Egyes esetekben a funkcionálisan függő halmazok nem redukálhatók, ha:
- A jobb oldali funkcionális függőség csak egy attribútumot tartalmaz
- A bal oldali funkcionális függőség nem csökkenthető, mivel ez megváltoztathatja a készlet teljes tartalmát
- A létező funkcionális függőség csökkentése megváltoztathatja a készlet tartalmát
A funkcionális függőség fontos tulajdonsága az Armstrong axióma, amelyet az adatbázis normalizálásában használnak. R viszonyítva, három tulajdonsággal (X, Y, Z), Armstrong axiómája igaz, ha a következő feltételek teljesülnek:
- A tranzitivitás axióma: Ha X-> Y és Y-> Z, akkor X-> Z
- Reflexivitás axióma (részhalmaz tulajdonsága): Ha Y X X részhalmaza, akkor X-> Y
- Augmentációs érzés: Ha X-> Y, akkor XZ-> YZ
