[nastava:2005] - Re: dva pitanja iz baza by "Uros Romic" <urke_etf@yahoo.it>

Nisam bas siguran da je tranzitivnost. Naveo sam dole
osobinu pseudotranzitivnosti (ono sa X,Y,Z), ali to
ne moze da se primeni da bi se dobilo CE -> AB iz
CB->AB i B->E...
Jedino sto mi jos pada na pamet je da treba da se
trazi zatvarac (CE)+ na osnovu ostalih funkc.zav.,
pa da se dobije da je i AB u tom zatvaracu.
Nemam pojma... Hvala u svakom slucaju.

----- Original Message ----- 
From: "Zeljko Nase" <ZNase@Sezampro.yu>
To: <nastava@titan.etf.bg.ac.yu>
Sent: Saturday, December 17, 2005 12:52 AM
Subject: Re: [nastava] dva pitanja iz baza


> 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?


		
___________________________________ 
Yahoo! Messenger: chiamate gratuite in tutto il mondo 
http://it.messenger.yahoo.com