Cześć, mam taką relację
R = ABCDEF ZF = {D->A, D-B, FE ->E, E->F, ABD->C, BC->D}
Jak wyznaczyć domknięcie ZF+ ?
Rozumiem, że jest to zbiór wszystkich zależności jakie można wyprowadzić z ZF tylko jak je właśnie wyprowadzić? :)