Wyznaczenie kluczy kandydujacych oraz sprawdzenie czy schemat jest 2PN Opcje

[dcielak]

Przepraszam, ale nie wiem w jakim dziale to umiescic..
Mam schemat:
R=({A,B,C,D,E,G,H,K}, {BC->K,BD->EG,K->A,A->BCD})
HA+ = {H,A,B,C,D,K,E,G} - klucz k.
HB+ = {H,B}
HC+ = {H,C}
HD+ = {H,D}
HK+={H,K,A,B,C,D,E,G} - klucz k.
HBC+ = {H,B,C,K,A,D,E,G} - klucz k.
HCD+ = {H,C,D}
HBD+ = {H,B,D,E,G}
Klucze kandydujące: HA,HK,HBC
Atrybuty niekluczowe: E,G
Jak sprawdzić mając to czy schemat jest 2PN ?