witam,
Mam taki przyklad:
R = ABCD
F= {A->B,BC->D,D->A}
F+ = F u {AB->BA,ABC->A,ABCD->,AC->AC,...,AC->D,BC->A}
gdzie: u - suma zbiorow; F+ - domkniecie F
Z jakich reguł wyprowadzania zaleznosci funkcyjnych bierze sie AB->BA i ABC->A? Jest jakis sensowny algorytm na wyznaczanie F+? Jakim algorytmem wyznacza sie klucze relacji?
Wielkie dzieki za pomoc