R(A,B,C,D)
F = {А->B, A,C->D, AB->C, BC->AC}
A) Da li je f-na zavisnost A -> C logička posledica F, tj. da li pripada F+
Ukoliko jeste, objasniti postupak (koji aksiomi su primenjeni)
B) Odrediti KK (obrazložiti dodavanje svakog atributa svakom od zatvorenja)
Opet, odlično!
Profesorka, treba mi mala pomoc, ne snalazim se oko ovih ostalih
zatvorenja, nikako ne mogu da dobijem jedno slovo sa leve strane ni za
(B)+ ni (C)+
Kada sam raspisala videla sam da si u pravu. Iz B,C->A,C ne može ništa korisno da se izvede samo za B.
(B)+ = {B}
(C) + = {C}
