---
# System prepended metadata

title: Zadanie 4.

---

# Zadanie 4.
Mamy zwrócić niepusty wynik wtedy i tylko wtedy gdy w relacji **Mafia** naruszona jest zależność funkcyjna **Proceder** $\rightarrow$ **ROI**, czyli dla pewnych dwóch takich samych procederów dostaniemy różne ROI.

Mafia(Miasto, Gang, Proceder, Szef, Dochód, ROI)
$P = \pi_{Proceder,ROI}Mafia$
$PP = \rho_{P'(Pr,R)}P$
$Wynik = \sigma_{Pr=Proceder \land R\neq ROI \lor (R\ is\ null \land ROI\ is\ not\ null)}(P\times PP)$