Í léttvæg hagnýtur afleiðing er einn eiginleiki undirhópur annars
Í heimi vísindagagnagrunns kenningarinnar er hagnýtt ósjálfstæði þegar ein eiginleiki ákvarðar aðra eiginleika einstaklega í gagnagrunni. Léttvæg hagnýtur ósjálfstæði er gagnagrunnsáreiðanleiki sem á sér stað þegar lýsing er á hagnýtum ósjálfstæði eiginleiki eða söfnun eiginleika sem inniheldur upphaflega eiginleika.
Dæmi um trivial virkni afbrigði
Þessi tegund af ósjálfstæði er kallað léttvæg vegna þess að hún er unnin úr skynsemi. Ef einn "hlið" er hluti af hinni, telst hún léttvæg. Vinstri hliðin er talin ákvarðandi og réttur háð .
- {A, B} -> B er léttvæg hagnýtur afstaða vegna þess að B er undirhópur A, B. Þar sem { A, B} -> B inniheldur B er hægt að ákvarða gildi B. Það er léttvæg hagnýtur afstaða vegna þess að ákvarða B er ánægður með tengslin við A, B. Þar sem gildin B eru ákvörðuð með gildi A , mun önnur röð sem deilir gildum A hafa nákvæmlega sömu gildi og B. Önnur leið til að setja það er að allt B er innifalið í A , þess vegna er það undirhópur A.
- {Starfsmaður_ID, Starfsmaður_Name} -> Starfsmaður_ID er einnig léttvæg hagnýtur frásögn síðan Starfsmaður_ID er undirhópur {Employee_ID, Employee_Name} .
- Sama gildir um A -> A eða Employee_ID -> Employee_ID og Employee_Name -> Employee_Name . Þetta eru öll léttvæg virkni afbrigði.
- Ef hagnýtur ósjálfstæði X-> Y og Y er undirhópur X, er þetta léttvæg hagnýtur ósjálfstæði. Ef Y er ekki undirhópur X, þá er þetta ekki léttvæg hagnýtur afstaða.