Huom. Nämä tehtävät käsitellään lyhyesti luennolla 9.12. - ei erillisissä harjoituksissa.
1. Oletetaan kaavio R = (ABCDE) ja riippuvuusjoukko
F = {AB -> C, CD -> E, E -> A}.
Onko ositus R1(ABDE), R2(ACD) häviötön?
2. Perustele luentojen sivulla 364 esitetyt kaavioiden EM2, DEPT,
WORKS_FOR ominaisuudet. Vertaa tätä ositusta käytännön kannalta
ositukseen EMP1, DEPT.