Sadržaj:
Definicija - Što znači funkcionalna ovisnost?
Funkcionalna ovisnost je odnos koji postoji kada jedan atribut jedinstveno određuje drugi atribut.
Ako je R odnos s atributima X i Y, funkcionalna ovisnost između atributa predstavljena je kao X-> Y, što specificira da Y funkcionalno ovisi o X. Ovdje je X odrednički skup, a Y ovisni atribut. Svaka vrijednost X povezana je s točno jednom Y vrijednošću.
Funkcionalna ovisnost u bazi podataka služi kao ograničenje između dva skupa atributa. Definiranje funkcionalne ovisnosti važan je dio dizajna relacijske baze podataka i pridonosi normalizaciji aspekata.
Tehopedija objašnjava funkcijsku ovisnost
Funkcionalna ovisnost je trivijalna ako je Y podskup X. U tablici s atributima imena zaposlenika i broja socijalnog osiguranja (SSN) naziv zaposlenika funkcionalno ovisi o SSN-u jer je SSN jedinstven za pojedinačna imena. SSN identificira zaposlenika posebno, ali ime zaposlenika ne može razlikovati SSN jer više od jednog zaposlenika može imati isto ime.
Funkcionalna ovisnost definira Boyce-Codd normalan oblik i treći normalan oblik. Time se čuva ovisnost između atributa, eliminirajući ponavljanje informacija. Funkcionalna ovisnost povezana je s kandidatskim ključem koji jedinstveno identificira tuple i određuje vrijednost svih ostalih atributa u odnosu. U nekim slučajevima, funkcionalno ovisni skupovi su neizvodljivi ako:
- Desni skup funkcionalne ovisnosti ima samo jedan atribut
- Lijeva skupina funkcionalne ovisnosti ne može se smanjiti jer to može promijeniti cijeli sadržaj skupa
- Smanjenje bilo koje postojeće funkcionalne ovisnosti može promijeniti sadržaj seta
Važno svojstvo funkcionalne ovisnosti je Armstrongov aksiom koji se koristi u normalizaciji baza podataka. U odnosu R, s tri atributa (X, Y, Z), Armstrongov aksiom vrijedi ako su zadovoljeni sljedeći uvjeti:
- Aksiom prolaznosti: Ako su X-> Y i Y-> Z, onda je X-> Z
- Aksiom refleksivnosti (svojstvo podskupine): Ako je Y podskup X, tada je X-> Y
- Aksiom povećanja: Ako je X-> Y, tada je XZ-> YZ
