# pog2

## Zadanie 1
1. Zapytanie algebry relacji
$\sigma_{liczba > 1}(\gamma_{a, b}; count(c)\rightarrow liczba(R))$
2. rrd
$\{ (a,b,c) | R(a,b,c) \wedge \exists R(a', b', c') (a = a' \wedge b = b' \wedge c \neq c') \}$
3. rrk
$\{t | R(t) \wedge \exists R(t') (t.a = t'.a \wedge t.b = t'.b \wedge t.c \neq t'.c) \}$

## Zadanie 2
1. Zapytanie algebry relacji
$\Pi_{Z}(S) \setminus \Pi_{A}(R)$
2. rrd
$\{ (x,z) | S(x,z) \wedge (\forall R(a,b,c) a \neq z) \}$
3. rrk
$\{ t | S(t) \wedge (\forall R(t') t'.a \neq t.z) \}$

## Zadanie 3
1. R(liczba zagranych ról, aktor id)
Zwracamy liczbę ról którą zagrał aktor (w sensie największą z tych liczb)

Niezależne od dziedziny?

$\{ \pi_{a} (R) \setminus \pi_{R.a} \ (\sigma_{R1.a > R.a}((\rho_{R1} (R)) \times R)) \}$

chyba analogicznie jak do tego zapytania o rank na poprzedniej liście

2.
Nie śmiga dla
$T = \emptyset$, bo możemy mieć niekończone zapytanie ?
Zależny od dziedziny tak na oko

## Zadanie 4
Chętnie dostanę jakiś feedback ale chyba śmiga cnie?
1. $\{ a \in A | \forall_{F1, F2 \in F} \exists_{R1, R2 \in R} (a.pseudo = R1.pseudo \wedge a.pseudo = R2.pseudo \wedge \\ \wedge F1.idf = R1.idf \wedge F2.idf = R2.idf) \implies F1.rokProd = F2.rokProd \}$

2. $\{f \in F | \forall_{F1 \in F} F1.rezyser = f.rezyser \implies f.rokProd > F1.rokProd \}$
3. $\{(pseudo, idf, gaza)| \neg \exists_{r' \in R}(r'.idf = r.idf \wedge r.gaza \leq r'.gaza) \}$
4. $\{a \in A | \forall_{m1, m2 \in M} (a.pseudo = m1.pseudo \wedge a.pseudo = m2.pseudo \implies m1.gaza \geq m2.gaza \wedge \\ \wedge m1.rok > m2.rok) \}$

## Zadanie 5

\{ v(D) | v jest wartościowaniem wszystkich zmiennych z D}

rep(D) - zbiór wszystkich relacji D takich, że mają już wyliczone zmienne

D(zarobki)
|imie | zarobki |
|---|----|
|Kasia|2000|
|Jan|1000|
|Basia|NULL|

$Q = \sigma_{zarobki < 2000}(D)$
Q(rep(D)) jest zależny od wartości nulla
(i chyba o to chodzi?)