ullman129 (2)

ru par korzystamy z iloczynu kartezjańskicgo, a wyboru par naruszających ograniczenie dokonuje się przez, operację selekcji I)o opisu zależności stosujemy konwencje przyrównania do zbioru pustego.

Aby utworzyć iloczyn kartezjański zbioru z nim samym, trzeba przemianować jedną z kopii, po to by móc we właściwy sposób korzystać z nazw atrybutów w iloczynie. A zatem kopie relacji Gwiazda będziemy skrótowo nazywać MSI oraz MS2. Wówczas omawiana zależność funkcyjna przyjmie następującą postać algebraiczną:

&ia\ .n«iwiske«MS2.nMwlato AN& MSI    rtłS2.*Jr*» (MSI X MS2) ³ 0

W powyższym wyrażeniu MSI w iloczy nie MSI x MS2 stanowi skrót dla zapisu przemianowania:

odrti.płeł. Jaunrodzma) (Gwiazdo)

i MS2 jest podobnym przemianowaniem relacji gwiazda.

□

Czasami trzeba korzystać również, z jeszcze innych rodzajów więzów, tak zwanych więzów dziedziny. Ich znaczenie polega na przestrzeganiu na przykład wymagania, aby wartości atrybutu miały pewien określony typ danych, na przykład, żeby były to liczby całkowite albo napisy o długości nie przekraczającej 30 znaków. Tego typu w ięzów nie da się przedstaw ić w algebrze relacji, ponieważ, nic zawiera ona mechanizmu opisu typów. W niektórych przypadkach jednak więzy domenowe polegają na ograniczeniu zakresu wartości pewnych atry butów. Jeśli taki zbiór wartości akceptowalnych da się zapisać za pomocą warunków wyboru, to wówczas więzy domenowe można również zapisać w postaci więzów algebraicznych.

PRZYKŁAD 4.45

Załóżmy, żc wartości atrybutu płeć relacji Gwiazda to ‘K’ lub ^łM\ Taki warunek można przedstawić za pomocą następującego wyrażenia algebraicznego:

0pi«e • v asp p» *h ( -'Wi a zda) " 0

Tak sprecyzowany warunek oznacza, że zbiór tych krotek relacji Gwiazda, w których składowa pleć nie jest równa ani ‘K\ ani ‘m’jest zbiorem pustym.

□

Istnieją również rodzaje więzów, które nic przypominają żadnego typu więzów opisanych w podrozdziale 2.5. Język algebry' relacji umożliwia zapis wiciu różnych nowych rodzajów więzów. Poniżej przedstawiamy jeden i przy kładów .

PRZYKŁAD 4.46

Załóżmy, żc aby zostać prezesem studia filmowego, trzeba być właścicielem sieci, której wartość nie jest mniejs/a niż 10 000 000 $. Nie można takiego typu ograniczenia zaklasyfikować ani jako więzy domenowe, ani jako pojedynczą wartość, ani też jako więzy integralności referencyjnej. Można je zapisać w postaci wyrażenia algebraicznego w następujący sposób. Najpierw tworzy się złączenie leta dwóch relacji:

FilmDyr (nazwisko, adres, cert.#, cenaSieci)

Studio(nazwa, adres, prezC#)

przy warunku ograniczającym, w którym jest wymagana równość między wartościami atrybutu prezC# /. relacji studio oraz cert# / relacji Fi lm-Dyr. W wyniku tego złączenia powstanie zbiór par krotek zawierających studio i tego dyrektora, który' jest prezesem studia. Jeśli teraz wybierzemy te krotki, w których wartość sieci jest niższa niż dziesięć milionów dolarów, to taki zbiór, w myśl naszych więzów, musi być pusty. A zatem nasze więzy można przedstawić w postaci:

0ć«n*5ł#cl < 10 000 00o(Studio b<J pr*xC«”c«rtłril*riDyr) ~ 0

Te więzy można przedstawić w algebrze relacji także w postaci alternatywnej, przez porównanie zbioru certyfikatów, reprezentujących prezesów studia, ze zbiorem certyfikatów tych prezesów, którzy posiadają sieci warte nie mniej niż 10 000 000 dolarów . Ten pierwszy zbiór musi być podzbiorem drugiego zbioru. Poniżej przedstawiamy wyrażenie, które jest zapisem tego zawierania się zbiorów:

*pr»tc*(Studio) Q /^•(o^rc_łn*«_łc_Ci z iooooooo(n lmDyr))

□

4.5.4. Ćwiczenia do podrozdziału 4.5

Ćwiczenie 4.5.1. Należy zapisać w postaci wyrażeń algebry relacji następujące więzy dotyczące zbioru relacji /. ćwiczenia 4.1.1, których opis ponawiamy poniżej:

Produkt(producent, model, typ)

PC(model, szybkość, rem, hd, cd, cena)

Laptop(model, szybkość, ram, hd, akran, cena)

Drukarka(model, kolor, typ» cena)

Te więzy można przedstawić albo w konwencji przyrównania do zbioru pustego, albo w konwencji zawierania się zbiorów. Należy także wskazać tc dane z ćwiczenia 4 I. I. które naruszają opisane więzy.