Algebra relacji - rozwiązania zadań Zadania Zadanie 1. Niech dom (IMIE) = { Adam, Ewa,, Zofia }, dom (NAZW ISKO) = { Kowalska, Kowalski, Nowak }, dom (P RZEDMIOT ) = { ANA, BAD, MAD, SIK }, dom (OCENA) = {2, 3, 4, 5}, dom (P UNKT Y ) = {0, 1, 2,..., 220} dom (IN DEKS) = {111111, 222222, 333333, 444444, 555555, 666666} R 1 INDEKS IMIE NAZW ISKO R 2 INDEKS IMIE NAZW ISKO 444444 N owak R 3 IMIE NAZW ISKO P UNKT Y Kowalski 170 Ewa N owak 219 Zof ia N owak 165 R 4 INDEKS P RZEDMIOT OCENA 111111 MAD 3 222222 MAD 4 444444 MAD 5 666666 MAD 2 222222 SIK 2 444444 SIK 4 Dla podanych niżej operacji algebry relacji obliczyć wynik wykonania operacji o ile jest to możliwe (podać postać relacji wynikowej i zinterpretować wynik): a) S 1 = R 1 R 2, R 1 R 3, S 1 INDEKS IMIE NAZW ISKO 444444 N owak Relacja R 1 R 3 nie jest określona ze względu na niezgodność argumentów relacji R 1 i R 3. b) S 2 = π {P RZEDMIOT } (R 4 ) S 2 c) S 1, S 2 P RZEDMIOT ANA BAD MAD SIK
S 1 INDEKS IMIE NAZW ISKO 111111 Adam Kowalska 111111 Adam N owak 111111 Ewa Kowalska 111111 Ewa Kowalski 111111 Ewa N owak 111111 Kowalska 111111 Kowalski 111111 N owak 111111 Zof ia Kowalska 111111 Zof ia Kowalski 111111 Zof ia N owak 222222 Adam Kowalska 222222 Adam Kowalski 222222 Adam N owak 222222 Ewa Kowalski 222222 Ewa N owak 222222 Kowalska 222222 Kowalski 222222 N owak 222222 Zof ia Kowalska 222222 Zof ia Kowalski 222222 Zof ia N owak 333333 Adam Kowalska 333333 Adam Kowalski 333333 Adam N owak 333333 Ewa Kowalska 333333 Ewa Kowalski 333333 Ewa N owak 333333 Kowalska 333333 Kowalski 333333 N owak 333333 Zof ia Kowalski 333333 Zof ia N owak 444444 Adam Kowalska 444444 Adam Kowalski 444444 Adam N owak 444444 Ewa Kowalska 444444 Ewa Kowalski 444444 Ewa N owak 444444 Kowalska 444444 Kowalski 444444 N owak 444444 Zof ia Kowalska 444444 Zof ia Kowalski 444444 Zof ia N owak 555555 Adam Kowalska 555555 Adam Kowalski 555555 Adam N owak 555555 Ewa Kowalska 555555 Ewa Kowalski 555555 Kowalska 555555 Kowalski 555555 N owak 555555 Zof ia Kowalska 555555 Zof ia Kowalski 555555 Zof ia N owak 666666 Adam Kowalska 666666 Adam Kowalski 666666 Adam N owak 666666 Ewa Kowalska 666666 Ewa Kowalski 666666 Ewa N owak 666666 Kowalska 666666 Kowalski 666666 N owak 666666 Zof ia Kowalska 666666 Zof ia Kowalski 666666 Zof ia N owak S 2 = d) R 2 R 3
Relacja R 2 R 3 nie jest określona, ale z kolei relacja π {IMIE,NAZW ISKO} (R 2 ) π {IMIE,NAZW ISKO} (R 3 ) ma sens i jest pustą relacją typu {IMIE, NAZW ISKO}. ( ) e) S 3 = π {IMIE} (S 1 ) π {NAZW ISKO} (S 1 ) \ π {IMIE, NAZW ISKO} (R 3 ) S 3 IMIE NAZW ISKO Adam Kowalska Adam Kowalski Adam Nowak Ewa Kowalska Ewa Kowalski Ewa Nowak Zof ia Zof ia Zofia Kowalska Kowalski Nowak Kowalska Kowalski Nowak f) σ P UNKT Y >170 (R 3 ) σ P UNKT Y >170 (R 3 ) IMIE NAZW ISKO P UNKT Y Ewa N owak 219 g) σ (P RZEDMIOT = ANA P RZEDMIOT = BAD ) OCENA>2 (R 4 ), (podać kolejne kroki wartościowania), oznaczmy S 4 = σ (P RZEDMIOT = ANA P RZEDMIOT = BAD ) OCENA>2 (R 4 ) i S 5 = σ OCENA>2 (S 4 ) (z własności 2.b) wiemy, że S 5 = σ (P RZEDMIOT = ANA P RZEDMIOT = BAD ) OCENA>2 (R 4 )) S 4 INDEKS P RZEDMIOT OCENA S 5 INDEKS P RZEDMIOT OCENA h) R 4 S 2 R 4 S 2 = i) S 1 S1.INDEKS=R 4.INDEKS R 4 S + + S 1.INDEKS S 1.IMIE S 1.NAZW ISKO R 4.INDEKS R 4.P RZEDMIOT R 4.OCENA j) S 1 + S1.INDEKS=R 4.INDEKS R 4
S + S 1.INDEKS S 1.IMIE S 1.NAZW ISKO R 4.INDEKS R 4.P RZEDMIOT R 4.OCENA NULL NULL NULL k) S 1 + S1.INDEKS=R 4.INDEKSR 4 S + S 1.INDEKS S 1.IMIE S 1.NAZW ISKO R 4.INDEKS R 4.P RZEDMIOT R 4.OCENA NULL NULL NULL 666666 M AD 2 l) S 1 + + S1.INDEKS=R 4.INDEKSR 4 S + + S 1.INDEKS S 1.IMIE S 1.NAZW ISKO R 4.INDEKS R 4.P RZEDMIOT R 4.OCENA NULL NULL NULL NULL NULL NULL 666666 M AD 2 Zadanie 2. Udowodnij następujące własności operatora selekcji:
a) σ E (R S) = σ E (R) σ E (S) σ E (R S) = {t R S : E (t) = TRUE} = {t R: E (t) = TRUE} {t S : E (t) = TRUE} = = σ E (R) σ E (S) b) σ E1 E 2 (R) = σ E1 (σ E2 (R)) = σ E2 (σ E1 (R)) = σ E1 (R) σ E2 (R), σ E1 E 2 (R) = {t R: (E 1 E 2 ) (t) = TRUE} = {t R: E 1 (t) = TRUE E 2 (t) = TRUE} = = {t R: E 1 (t) = TRUE} {t R: E 2 (t) = TRUE} = σ E1 (R) σ E2 (R) σ E1 E 2 (R) = {t R: (E 1 E 2 ) (t) = TRUE} = {t R: E 1 (t) = TRUE E 2 (t) = TRUE} = = {t {s R: E 1 (s) = TRUE} : E 2 (t) = TRUE} = σ E2 (σ E1 (R)) Równość σ E1 E 2 (R) = σ E1 (σ E2 (R)) pokazujemy w podobny sposób. c) σ E1 E 2 (R) = σ E1 (R) σ E2 (R) σ E1 E 2 (R) = {t R: (E 1 E 2 ) (t) = TRUE} = {t R: E 1 (t) = TRUE E 2 (t) = TRUE} = = {t R: E 1 (t) = TRUE} {t R: E 2 (t) = TRUE} = σ E1 (R) σ E2 (R)