Hint til oblig 1, oppgave ¡­

Hint til oblig 1, oppgave 2.5 og 2.6: Bruk chase-algoritmen utvidet til MVDer til ? vise at A->B, A->E og A->F holder. (Da er samtidig oppgave 2.6 l?st.) Bruk s? disse nye FDene (pluss de opprinnelige) til ? l?se oppgave 2.5. - Vi kommer for?vrig til ? v?re ganske romslige med hva vi godkjenner av svar p? oppgavene 2.4, 2.5 og 2.6.