Lezárása relációs algebra és átnevezési művelet
Az általános értelmezése relációs műveleteket.
· A művelet kombinálásával két összefüggést aránya elő, amely az összes tuple tartalmazza legalább egy az operandus kapcsolatok.
· A kereszteződés két kapcsolatok termel olyan arányban, amely magában foglalja az összes sorok megjelenő mindkét relációban operandus.
· Ratio, ami a különbség a két reláció tartalmazza az összes hármas tartozó arány - az első operandus, oly módon, hogy egyikük nem tartalmazza az arány, amely a második operandus.
· Ha a közvetlen terméke két kapcsolatok végezzük kapcsolatban, amelynek hármas az összefűzés (tengelykapcsoló) hármas az első és a második operandus.
· Az eredmény korlátozott jelentőséggel bír egy bizonyos feltétel az aránya, beleértve a hármas kapcsolatok operandus, ezt a feltételt kielégítő.
• Amikor előrejelzések kapcsolatok egy adott sor sajátságainak történik hozzáállás, hármas által készített, figyelembe véve a megfelelő értékeket a sorok a kapcsolat operandus.
· Amikor két kapcsolatok egy bizonyos feltétel kialakítva kapott aránya, akiknek tuple a összefűzésével tuple az első és második arány és megfelel ennek a feltételnek.
· A működés relációs osztály két operandus - két- és egyváltozós kapcsolatok. A kapott arány áll egyetlen attribútum esek beleértve az első attribútum értéke az első operandus tuple úgy, hogy a beállított értékek a második attribútum (egy fix érték az első attribútum) egybeesik a beállított értéke a második operandus.
· Átnevezése művelet termel aránya, akiknek a teste ugyanaz, mint az operandus testet, de az attribútum nevek megváltoznak.
· Kiosztás művelet lehetővé teszi, hogy mentse az eredmény kiszámításához összehasonlító kifejezés vonatkozásában a meglévő adatbázist.
Ennek eredményeként bármely relációs művelet (kivéve hozzárendelés) egy olyan arány, akkor lehetséges, hogy a relációs kifejezések amely ahelyett, hogy az arány a relációs-operandus műveletek van ágyazva relációs kifejezés.
Lezárása relációs algebra és nevezze működését.
Minden egye áramkört jellemzi az arány (vagy fejléc) és egy sor sorok (vagy szerv). Ezért, ha igazán szeretné, hogy algebra műveletek zárva a koncepció kapcsolat, az egyes műveleteket kell mutatnia az arány a valódi értelemben vett, azaz kellett volna, és a test és a fejléc. Csak ebben az esetben lesz igazán lehet építeni Beágyazott kifejezéseket.
Cím kapcsolatok halmaza párok <имя-атрибута, имя-домена>. Ha megnézzük áttekintést relációs operátorok azt az előző szakaszban, azt látjuk, hogy a domének az attribútumok a kapott összefüggés egyértelműen meghatározható domén operandus kapcsolatok.
Jellemzői halmazelméleti műveletek a relációs algebra.
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ás kapcsolatok 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.
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.
A kompatibilitás fogalmának figyelembe kiterjesztett 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.
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.
Különleges relációs műveleteket.
Működés korlátozások igényel két operandus: korlátozódik egy egyszerű és korlátozott feltételek. Egyszerű állapot korlátozásokat lehet bármilyen (a comp-op b), ahol a és b - a nevét a korlátozott kapcsolat tulajdonítja, ami teljesen érthető lépés összehasonlítjuk comp-op vagy nézetek (a comp-op const), ahol egy - az attribútum neve Limited kapcsolatok, és const - a szó szoros értelmében meghatározott állandó.
A művelet figyelembe a vetítés is megköveteli két operandus - prognosztizált kapcsolat és attribútum nevek szerepelnek a fejlécben a kapcsolat A.
Ennek eredményeként a vetítés viszonyát a1, a2 attribútum listát. egy attitűd, a címet, meghatároz egy attribútumok a1, a2. egy, és egy test álló tuple az űrlap Kapcsolódó cikkek