Преглед садржаја:
Дефиниција - Шта значи функционална зависност?
Функционална зависност је однос који постоји када један атрибут јединствено одређује други атрибут.
Ако је Р однос са атрибутима Кс и И, функционална зависност између атрибута представљена је као Кс-> И, што специфицира да И је функционално зависна од Кс. Овде је Кс одређујући скуп, а И зависни атрибут. Свака вредност Кс повезана је са тачно једном И вредношћу.
Функционална зависност у бази података служи као ограничење између два скупа атрибута. Дефинисање функционалне зависности је важан део дизајна релационих база података и доприноси нормализацији аспеката.
Техопедија објашњава функционисану зависност
Функционална зависност је тривијална ако је И подскуп Кс. У табели са атрибутима имена запосленика и социјалног броја (ССН), име запосленика функционално зависи од ССН-а јер је ССН јединствен за појединачна имена. ССН идентификује запосленог посебно, али име запосленог не може разликовати ССН јер више од једног запосленог може имати исто име.
Функционална зависност дефинише Боице-Цодд нормалан облик и трећи нормалан облик. Овим се чува зависност између атрибута, елиминирајући понављање информација. Функционална зависност повезана је са кандидатским кључем, који јединствено идентификује тавор и одређује вредност свих осталих атрибута у односу. У неким случајевима, функционално зависни скупови су неодредиви ако:
- Десни скуп функционалне зависности има само један атрибут
- Леви се скуп функционалне зависности не може смањити, јер то може променити целокупни садржај скупа
- Смањивањем било које постојеће функционалне зависности може се променити садржај скупа
Важно својство функционалне зависности је Армстронгов аксиом који се користи у нормализацији база података. У односу, Р, са три атрибута (Кс, И, З), Армстронгов аксиом важи ако су испуњени следећи услови:
- Аксиом пролазности: Ако су Кс-> И и И-> З, онда је Кс-> З
- Аксиом рефлексивности (својство подскупине): Ако је И подскуп Кс, тада је Кс-> И
- Аксиом увећања: Ако је Кс-> И, онда је КСЗ-> ИЗ
