Gagnasafn ósjálfstæði er efni sem oft ruglar bæði nemendur og gagnagrunna sérfræðinga eins. Sem betur fer eru þau ekki svo flókin og er best sýnd með því að nota nokkur dæmi. Í þessari grein skoðar við algengar tegundir gagnasafna.
Gagnagrunnsviðhengi / virkni
Afsögn kemur fram í gagnagrunni þegar upplýsingar sem eru geymdar í sömu gagnagrunni töflu ákvarða einstaklega aðrar upplýsingar sem eru geymdar í sama töflu. Þú getur einnig lýst þessu sem sambandi þar sem að þekkja gildi einnar eiginleiki (eða sett af eiginleikum) er nóg til að segja þér gildi annarrar eiginleiks (eða setja eiginleika) í sama töflu.
Að segja að það sé háð á milli eiginleika í töflu er það sama og að segja að það sé hagnýtur afstaða milli þessara eiginleika. Ef það er háð í gagnagrunni þannig að eiginleiki B sé háð eiginleiki A myndi þú skrifa þetta sem "A -> B".
Til dæmis, í töflu sem sýnir starfsmenn einkenni, þ.mt almannatryggingarnúmer (SSN) og nafn, má segja að nafnið sé háð SSN (eða SSN -> nafn) vegna þess að nafn starfsmanns getur verið einstaklega ákvarðað af SSN þeirra. Hins vegar er hið gagnstæða yfirlýsingu (nafn -> SSN) ekki satt því að fleiri en einir starfsmenn geta haft sama heiti en mismunandi SSN.
Trivial virkni afleiðingar
A léttvæg hagnýtur afleiðing á sér stað þegar þú lýsir virkri afleiðingu eiginleiki á safn eiginleika sem inniheldur upphaflega eiginleika. Til dæmis, "{A, B} -> B" er léttvæg hagnýtur afleiðing, eins og er "{nafn, SSN} -> SSN". Þessi tegund af hagnýtur ósjálfstæði er kallaður léttvæg vegna þess að hún er unnin úr skynsemi. Það er augljóst að ef þú þekkir nú þegar gildi B, þá getur gildi B verið einstaklega ákvörðuð af þeirri þekkingu.
Fullir virkni
Fullur hagnýtur áreiðanleiki á sér stað þegar þú uppfyllir nú þegar kröfur um hagnýtur ósjálfstæði og ekki er hægt að draga úr stillingum eiginleika á vinstri hlið hagnýtrar yfirlýsingar um tilhneigingu. Til dæmis, "{SSN, aldur} -> nafn" er hagnýtur ósjálfstæði, en það er ekki fullur hagnýtur ósjálfstæði vegna þess að þú getur fjarlægt aldur frá vinstri hlið yfirlýsingarinnar án þess að hafa áhrif á tengslanetið.
Gagnkvæm afbrigði
Umburðarlyndi berst þegar óviðkomandi tengsl eru til staðar sem veldur hagnýtum ósjálfstæði. Til dæmis, "A -> C" er tíðni viðnáms þegar það er satt aðeins vegna þess að bæði "A -> B" og "B -> C" eru sönn.
Fjölbreytt ósjálfstæði
Fjölbreytt ósjálfstæði eiga sér stað þegar tilvist einnar eða fleiri raða í töflu felur í sér tilvist einnar eða fleiri raða í sömu töflu. Til dæmis, ímyndaðu þér bílafyrirtæki sem framleiðir margar gerðir bíla, en gerir alltaf bæði rauða og bláa liti hvers módel. Ef þú ert með borð sem inniheldur líkanið heiti, lit og ár hvers bíls sem fyrirtækið framleiðir, þá er fjölbreytt háð á því borð. Ef það er röð fyrir tiltekið heiti og ár í bláu, verður einnig að vera svipuð röð sem samsvarar rauðu útgáfunni af sömu bílnum.
Mikilvægi af ósjálfstæði
Gagnagrunni ósjálfstæði er mikilvægt að skilja vegna þess að þeir veita helstu byggingarstokka sem notaðar eru í eðlilegum gagnagrunni . Til dæmis:
- Ef borð er í öðru eðlilegu formi (2NF) , þá má ekki vera nein tilfelli af einkaleyfishlutfalli í töflunni sem er virkni háð undirhluti forritslykils .
- Fyrir borð að vera í þriðja eðlilegu formi (3NF) , skal hver non-prime eiginleiki hafa virkni sem ekki er afleiðing af öllum frambjóðanda.
- Fyrir borð til að vera í Boyce-Codd Normal Form (BCNF) , skal hver hagnýtur ósjálfstæði (annað en léttvæg ósjálfstæði) vera á ofbeldi .
- Fyrir borð að vera í fjórðu eðlilegu formi (4NF) , það verður að hafa engin fjölbreytt ósjálfstæði.