[nastava:2003] - baze podataka by "Aleksnadar Parezanovic" <skyfire@eunet.yu>

Moj problem je u 3.zadatku, dekompozicija u BCNF. Na primer, 11.3.2000. Skup funkcijskih zavisnosti F={ AC -> E, E -> B, B -> DF, E -> AC }. Pri dekompoziciji dobijam 
R1 ( A, C, E)       F1 ={ E -> AC, AC -> E, CE -> A, AE -> C}
R2 ( B, D, F)       F2 = { B -> DF, BD -> F, BF -> D }
R3 ( A, B, C)       F3 = { AC -> B}
Problem nastaje kada treba proveriti da li je ( unija) UFi = F. Na prvi pogled izgleda da se zavisnost E -> B izgubila, ali iz F1 imamo E -> AC a iz F3 imamo AC -> B, sto sveukupno daje E -> B. Dolazim do zakljucka da se ni jedna zavisnost nije izgubila (!?). Ovakvo nesto sam primetio u jos nekoliko zadataka . Da li je moj zakljucak ispravan?

                      Aleksandar