Jellemzői halmazelméleti műveletek a relációs algebra
Home | Rólunk | visszacsatolás
Bár az alapja a set-elméleti részét relációs algebra klasszikus halmazelmélet, relációs algebra megfelelő műveletek bizonyos jellemzőkkel.
Kezdjük a műveletek unió (minden, ami elmondható az egyesület, át a kereszteződést, és a különbözetet a művelet). Sense egyesítési művelet relációs algebra általában maradványait halmazelméleti. Azonban, ha a halmazelmélet egyesíteni művelet értelme bármely két operandus, abban az esetben a relációs algebra művelet eredménye legyen arányban ötvözi. Ha feltesszük a lehetőségét, hogy egy relációs algebra halmazelméleti unió két tetszőleges kapcsolatok (különböző rendszerek), akkor természetesen a művelet eredménye lesz sok, de sok különböző típusú hármas, azaz a Nem hozzáállás. Ha abból indulunk ki, követelményei bezárása relációs algebra képest a koncepció a kapcsolat, ilyen unió művelet értelmetlen.
Mindezen megfontolások kialakulásához vezet fogalmának kompatibilitási viszonyok egyesíteni. két reláció kompatibilis egységesítése akkor és csak akkor, ha az azonos címet. Pontosabban ez azt jelenti, hogy a címek mindkét relációban tartalmazza ugyanazt az attribútum nevek, az azonos nevű és attribútumok meghatározása az ugyanazon a területen.
Ha a két kapcsolatok kompatibilis össze, majd a szokásos teljesítése során unió, metszet, és az a különbség a művelet eredménye egy jól meghatározott kapcsolat a cím egybeesik a fejléc minden az operandus kapcsolatok. Emlékezzünk vissza, hogy ha két kapcsolatok „majdnem” kompatibilis kombináció, azaz következetes minden, de az attribútum nevek, az üzemeltetés típusát vegyülethez ezeket a kapcsolatokat lehet teljes mértékben kompatibilis megszilárdítása alkalmazásával átnevezési művelet.
Megjegyezzük, hogy a felvétel a relációs algebra műveletek három egyesület működését, és az a kereszteződésekben a különbség nyilvánvalóan túlzó, hiszen köztudott, hogy ezek közül bármelyik művelet fejezik két másik. Azonban Codd idején úgy döntött, hogy mind a három művelet, igényei alapján a potenciális felhasználó intuitív rendszer relációs adatbázisok, távol a matematika.
Egyéb problémák működésével kapcsolatos figyelembe a közvetlen terméke a két arány. A halmazelmélet közvetlen terméket kaphatunk bármely két, és az elemek az eredmény halmaz pár elemekből áll az első és a második készlet. Mivel kapcsolatok készletek, akkor bármely két kapcsolatok lehetséges közvetlen terméke. De az eredmény nem a hozzáállás! Az elemek az eredmény nem lesz hármas, és egy pár sorok.
Ezért a relációs algebra használt speciális formája a működését figyelembe véve a közvetlen termék - kiterjesztett közvetlen terméke kapcsolatok. Ha figyelembe kiterjesztett közvetlen terméke két kapcsolatok elem kapott kapcsolat egy tuple, amely az összefűzés (vagy egyesítése) az első aránya egy tuple és egy tuple második kapcsolatot.
De most van egy másik kérdés - hogyan lehet a címe annak a jól formált attitűd-az eredmény? Nyilvánvaló, hogy a probléma lehet az elnevezés a kapott összefüggés attribútumok, ha operandusok kapcsolatok az azonos nevű attribútum.
Ezek a megfontolások kialakulásához vezet fogalmának kompatibilitást a gyűjtemény bővült közvetlen termék. Két kapcsolatok kompatibilisek vette a közvetlen termék akkor és csak akkor, ha a beállított attribútum nevek ezen kapcsolatok nem metszik egymást. Bármely két kompatibilis kapcsolatok figyelembe a közvetlen termék készülhet alkalmazásával átnevezése művelet egy ilyen kapcsolatokat.
Meg kell jegyezni, hogy a művelet a vevő a közvetlen termék nem nagyon érzékeny a gyakorlatban. Először is, a kimeneti eredmény nagyon nagy még egy megengedhető erejét az operandusok, másrészt a működési eredmény sokkal informatívabb, mint hogy együtt az operandusok. Mint látni fogjuk valamivel alacsonyabb, az alapvető értelme a zárási művelet habosított közvetlen terméke a relációs algebra, hogy ennek alapján határozza meg a művelet nagyon hasznos vegyületek.
Ami a halmazelméleti műveletek a relációs algebra is meg kell jegyezni, hogy mind a négy művelet asszociatív. Vagyis, ha mi jelöljük OP minden a négy műveletek, a (A OP B) OP C = A (B OP C), és így anélkül, hogy a kétértelműség lehet levelet OP B OP C (A, B és C -. Kapcsolatok amely rendelkezik a szükséges tulajdonságokat, a helyes végrehajtását a megfelelő művelet). Minden műveletet, kivéve a különbség figyelembe, amelyek kommutatív, azaz A OP B = B OP A.