Prethodna tema :: Sljedeća tema |
Autor/ica |
Poruka |
tox Gost
|
|
[Vrh] |
|
tox Gost
|
|
[Vrh] |
|
Cobs Forumaš(ica)
Pridružen/a: 21. 01. 2008. (13:32:15) Postovi: (206)16
Spol:
Lokacija: Geto
|
Postano: 11:57 čet, 25. 6. 2009 Naslov: Re: Dokaz distributivnosti prirodnog spoja? |
|
|
[quote="tox"]
(3 relacije: r1,r2 i s, U je unija)
[/quote]
mozda 3 skupa...? ( ak je skupovno, onda nije tesko dokazat, ak su r1, r2 i s relacije onda navedi konkretan primjer da znam o cem se tocno radi )
tox (napisa): |
(3 relacije: r1,r2 i s, U je unija)
|
mozda 3 skupa...? ( ak je skupovno, onda nije tesko dokazat, ak su r1, r2 i s relacije onda navedi konkretan primjer da znam o cem se tocno radi )
|
|
[Vrh] |
|
tox Gost
|
Postano: 14:27 čet, 25. 6. 2009 Naslov: Re: Dokaz distributivnosti prirodnog spoja? |
|
|
[quote="Cobs"]mozda 3 skupa...? ( ak je skupovno, onda nije tesko dokazat, ak su r1, r2 i s relacije onda navedi konkretan primjer da znam o cem se tocno radi )[/quote]
Ovak, radi se o relacijama. U zadatku ja imam napisano da treba dokazati da vrijedi taj izraz koji sam gore napisao, a r1 i r2 kao i s su relacije.
E sad, po mojem mišljenju prema pravilu unije relacije moraju imati istu shemu da bi se mogla naporaviti unija, znaci r1 i r2 moraju biti sheme npr.:
r1(ABCD) i r2(ABCD) dok s moze biti bilo koje sheme, npr. s(XY).
Sad treba dokazati to gore, a možeš napisati i ovaj dokaz za skupove možda mi i to pomogne, često mi se taj zadatak pojavljuje ne ispitu pa bi htio znati taj dokaz, tnx.
Cobs (napisa): | mozda 3 skupa...? ( ak je skupovno, onda nije tesko dokazat, ak su r1, r2 i s relacije onda navedi konkretan primjer da znam o cem se tocno radi ) |
Ovak, radi se o relacijama. U zadatku ja imam napisano da treba dokazati da vrijedi taj izraz koji sam gore napisao, a r1 i r2 kao i s su relacije.
E sad, po mojem mišljenju prema pravilu unije relacije moraju imati istu shemu da bi se mogla naporaviti unija, znaci r1 i r2 moraju biti sheme npr.:
r1(ABCD) i r2(ABCD) dok s moze biti bilo koje sheme, npr. s(XY).
Sad treba dokazati to gore, a možeš napisati i ovaj dokaz za skupove možda mi i to pomogne, često mi se taj zadatak pojavljuje ne ispitu pa bi htio znati taj dokaz, tnx.
|
|
[Vrh] |
|
Cobs Forumaš(ica)
Pridružen/a: 21. 01. 2008. (13:32:15) Postovi: (206)16
Spol:
Lokacija: Geto
|
Postano: 18:40 čet, 25. 6. 2009 Naslov: |
|
|
ako je ova osmica naopacke presjek...
skupovno :
r1, r2, s su skupovi.
inace za skupove( npr. A, B, C ) vrijedi...
A U B = { x | x je element iz A ili x je element iz B }
( A U B je skup svih x - eva takvih da je x element od A ili element od B )
A presjek B = { x | x je element iz A i x je element iz B }
( A U B ) presjek C ---> to je neki novi skup, nazovimo ga D za njega vrijedi:
D = { x | x je element iz ( A U B ) i x je element iz C } =
= { x | ( x je element iz A ili x je element iz B ) i x je element iz C } =
= { x | ( x je element iz A i x je element iz C ) ili ( x je element iz B i x je element iz C ) } =
= { x | x je element iz ( A presjek C ) ili je element iz ( A presjek B ) } =
= ( A U C ) presjek ( A U B )
D = ( A U C ) presjek ( A U B )
i od pocetka imamo D = ( A U B ) presjek C
( A U B ) presjek C = ( A U C ) presjek ( A U B )
ako je ova osmica naopacke presjek...
skupovno :
r1, r2, s su skupovi.
inace za skupove( npr. A, B, C ) vrijedi...
A U B = { x | x je element iz A ili x je element iz B }
( A U B je skup svih x - eva takvih da je x element od A ili element od B )
A presjek B = { x | x je element iz A i x je element iz B }
( A U B ) presjek C ---> to je neki novi skup, nazovimo ga D za njega vrijedi:
D = { x | x je element iz ( A U B ) i x je element iz C } =
= { x | ( x je element iz A ili x je element iz B ) i x je element iz C } =
= { x | ( x je element iz A i x je element iz C ) ili ( x je element iz B i x je element iz C ) } =
= { x | x je element iz ( A presjek C ) ili je element iz ( A presjek B ) } =
= ( A U C ) presjek ( A U B )
D = ( A U C ) presjek ( A U B )
i od pocetka imamo D = ( A U B ) presjek C
( A U B ) presjek C = ( A U C ) presjek ( A U B )
|
|
[Vrh] |
|
larka Gost
|
|
[Vrh] |
|
|