[DB] Relational Algebra

[0g1op]

Ik heb een paar vragen over het deel Relational Algebra van databases.

Wat gebeurd er als die Omega, Delta en domein van R en S verschillend zijn bij de operaties unie, doorsnede en verschil? Geeft die operatie dan de lege verzameling?

Weet iemand mss algebraische regels die wel gelden voor die operaties? Op p113 van de slides(p37 van pdf deel4) staan er een aantal die niet gelden.

[EagleEye812]

We kunnen enkel de Union, Instersection, Difference uitvoeren op relaties die dezelfde set v Attributen hebben, dezelfde types per attribuut, en dezelfde volgorde van attributen.

Dus die operaties kunt ge gewoon niet uitvoeren...?


algebraïsche regels weet ik niets van hoor :p

[Robbe]

Waarom is het cartesisch product niet commutatief? Maakt de volgorde van kolommen dan iets uit of zie ik het verkeerd?

Mijn intuitie zegt mij dat voor elk element uit A een combinatie maken met elk element uit B dezelfde verzameling tuples geeft als elk element uit B te combineren met elk element uit A.

[0g1op]

Ik denk dat het door de tupels komt en daar is volgorde wel belangrijk.


(a b) != (b a)

[Robbe]

dus een relatie

Code: Select all

A|B|C|D
-+-+-+-
a|b|c|d
e|f|g|h

is niet hetzelfde als een relatie

Code: Select all

A|B|D|C
-+-+-+-
a|b|d|c
e|f|h|g

vind ik moeilijk te geloven...

[slimmy]

euh... are you sure about that robbe?

[0g1op]

Het is de manier van de relatie construeren. Er zit een volgorde aan vast.
Een relatie is toch niet gelijk aan zijn inverse relatie?(als er toch word gesteld dat het niet de identiteit is.)

[slimmy]

kheb hier in nen boek toch staan dat het carthesisch product commutatief is (met nog wat andere regeltjes over relationele algebra)

but who cares, ik heb da vak toch ni

[Robbe]

euh... are you sure about that robbe?

het feit da ik da moeilijk te geloven vind of het feit da die 2 ni gelijk zijn?

btw, wat betekenen die |== en |-- in de cursus eigenlijk juist? Ik vermoed dat die |== iets betekent als 'leidt tot', maar die '|--' is mijeen raadsel.

[EagleEye812]

euh... are you sure about that robbe?

het feit da ik da moeilijk te geloven vind of het feit da die 2 ni gelijk zijn?

btw, wat betekenen die |== en |-- in de cursus eigenlijk juist? Ik vermoed dat die |== iets betekent als 'leidt tot', maar die '|--' is mijeen raadsel.

R een relatie
F de set van FD's van R
X en Y set v attributen

Als X -> Y is in F, dan schrijven we F |- X->Y
Als F |= X->Y, dan volgt X->Y logisch uit de FD's van F

(cursus 187 en 189)

[EagleEye812]

Over die commutativiteit: ik denk dat in relationele algebra in't algemeen het Cartesisch product wel commutatief is, maar omdat den onze is gedefinieerd op 2 relaties met mogelijk attributen met dezelfde naam, moet ge gaan renamen. Dan is het uitgekomen relatie natuurlijk wel verschillend aandehand van de renaming.

"Normale" carthesisch product op relaties is enkel gedefinieerd op relaties die geen attributen gemeen hebben en zo is em wel comm.

[Robbe]

(cursus 187 en 189)

Dat wist ik al. Mijn vraag was eigenlijk: "Hoe spreek ik dat teken uit in een zin zoals je 'A = B' uitspreekt als 'A is gelijk aan B'?"

[EagleEye812]

volgt logisch uit
zit in

ni goe genoeg?

[Robbe]

volgt logisch uit
zit in

ni goe genoeg?

jawel, maar die wist ik dus ni meer. Nele had da eens gezegd tijdens een van de practica waar ik aanwezig was.