Mewn dibyniaeth swyddogaeth ddibwys, un priodoldeb yw is-set o un arall
Ym myd theori cronfa ddata berthynasol, mae dibyniaeth swyddogaethol yn bodoli pan fo un nodwedd yn pennu priodoldeb arall yn unigryw mewn cronfa ddata. Mae dibyniaeth swyddogaeth ddibwys yn dibyniaeth cronfa ddata sy'n digwydd wrth ddisgrifio dibyniaeth swyddogaethol o briodoldeb neu gasgliad o nodweddion sy'n cynnwys y priodoldeb gwreiddiol.
Enghreifftiau o Ddibyniaethau Swyddogaethol Trivial
Gelwir y math hwn o ddibyniaeth yn ddibwys oherwydd gall fod yn deillio o synnwyr cyffredin. Os yw un "ochr" yn is-set o'r llall, ystyrir bod yn ddibwys. Ystyrir yr ochr chwith y penderfynydd a'r dde y dibynnydd .
- {A, B} -> B yn ddibyniaeth swyddogaethol ddibwys oherwydd mae B yn is-set o A, B. Gan fod { A, B} -> B yn cynnwys B , gellir pennu gwerth B. Mae'n ddibyniaeth weithredol ddibwys oherwydd bod ei bennu yn A, B, yn fodlon ar benderfynu B. Gan fod gwerthoedd B yn cael eu pennu gan werthoedd A , bydd unrhyw ddilyniant arall sy'n rhannu gwerthoedd A fydd yr un gwerthoedd â B. Ffordd arall i'w roi yw bod pob un o'r B wedi'i gynnwys yn A , a dyna pam ei fod yn is-set A.
- {Employee_ID, Employee_Name} -> Mae Employee_ID hefyd yn ddibyniaeth ymarferol ymarferol oherwydd mae Employee_ID yn is-set o {Employee_ID, Employee_Name} .
- Mae'r un peth yn wir am A -> A neu Employee_ID -> Employee_ID, a Employee_Name -> Employee_Name . Mae'r rhain i gyd yn ddibyniaethau dibynnol ymarferol.
- Os yw dibyniaeth swyddogaethol X-> Y, a Y yn is-set o X, mae hyn yn ddibyniaeth ymarferol ddibwys. Os nad yw IS yn is-set o X, nid yw hyn yn ddibyniaeth ymarferol ddibwys.