Inhoudsopgave:
- Definitie - Wat betekent functionele afhankelijkheid?
- Techopedia verklaart functionele afhankelijkheid
Definitie - Wat betekent functionele afhankelijkheid?
Functionele afhankelijkheid is een relatie die bestaat wanneer een kenmerk uniek een ander kenmerk bepaalt.
Als R een relatie is met attributen X en Y, wordt een functionele afhankelijkheid tussen de attributen weergegeven als X-> Y, wat aangeeft dat Y functioneel afhankelijk is van X. Hier is X een determinantenset en Y is een afhankelijk attribuut. Elke waarde van X wordt geassocieerd met precies één Y-waarde.
Functionele afhankelijkheid in een database dient als een beperking tussen twee sets attributen. Het definiëren van functionele afhankelijkheid is een belangrijk onderdeel van het relationele databaseontwerp en draagt bij aan aspectnormalisatie.
Techopedia verklaart functionele afhankelijkheid
Een functionele afhankelijkheid is triviaal als Y een subset van X is. In een tabel met de kenmerken van de naam van de werknemer en het sofinummer (SSN) is de naam van de werknemer functioneel afhankelijk van SSN omdat de SSN uniek is voor individuele namen. Een SSN identificeert de werknemer specifiek, maar de naam van een werknemer kan het SSN niet onderscheiden omdat meer dan één werknemer dezelfde naam zou kunnen hebben.
Functionele afhankelijkheid definieert de normale vorm van Boyce-Codd en de derde normale vorm. Hierdoor blijft de afhankelijkheid tussen attributen behouden, waardoor herhaling van informatie wordt geëlimineerd. Functionele afhankelijkheid is gerelateerd aan een kandidaatsleutel, die op unieke wijze een tuple identificeert en de waarde van alle andere attributen in de relatie bepaalt. In sommige gevallen zijn functioneel afhankelijke sets onherleidbaar als:
- De rechter set functionele afhankelijkheid bevat slechts één kenmerk
- De linker set van functionele afhankelijkheid kan niet worden verminderd, omdat dit de volledige inhoud van de set kan veranderen
- Door de bestaande functionele afhankelijkheid te verminderen, kan de inhoud van de set veranderen
Een belangrijke eigenschap van een functionele afhankelijkheid is het axioma van Armstrong, dat wordt gebruikt bij het normaliseren van databases. In een relatie, R, met drie attributen (X, Y, Z) geldt het axioma van Armstrong als aan de volgende voorwaarden is voldaan:
- Axioma of Transivity: Als X-> Y en Y-> Z, dan X-> Z
- Axioma van reflexiviteit (eigenschap van subset): als Y een subset van X is, dan X-> Y
- Axioma van augmentatie: Als X-> Y, dan XZ-> YZ
