[nastava:2005] - Re: dva pitanja iz baza by Zeljko Nase <ZNase@Sezampro.yu>

Za drugo pitanje nisam siguran, ali ovde se radi o tranzitivnosti.

Pozdrav
ZNase Co.

>  1. U septembarskom roku 2004 je bilo pitanje (3e) koje je posle radjeno i na
>  vezbama.
>  U resenju stoji da zavisnost CE -> AB moze da se izvede iz:
>   
>
>  C->A => CB -> AB
>   
>  CB -> AB, B -> E => CE-> AB
>   
>  Ovaj poslednji red ne mogu da shvatim, zato sto po Armstrongovim pravilima
>  moze: ( X->Y i YW -> Z ) => XW -> Z,
>
>  ali ovde bi za to bila potrebna zavisnost E->B,
>  a ne B->E. Da li neko zna o cemu se radi?
>