Beskjeder

En liten feil i pensumlisten er n? rettet opp: EKNF er kursorisk, ikke statarisk.

Vi har gjort pensumlisten noe mer detaljert ved at vi har beskrevet hva i forelesningsmaterialet som ikke st?r i l?reboken og hva slags kjennskap til dette stoffet vi forventer.

Et notat med eksempler p? samtidighetsfenomener finnes her . Et par av eksemplene er endret i forhold til forelesningen for ? tydeliggj?re forskjellene mellom fenomenene.

Oblig2 er lagt ut. Frist: 4. mai kl. 16:00.

Det blir ingen forelesninger denne uken (uke 7) (grunnet at foreleser hoster hele tiden...). De to forelesningene er forel?pig flyttet til uke 15 og 16.

Det er oppdaget en trykkfeil i oblig1, rett f?r oppgave 2F. Her skal det st? BD->>FH. Dette er rettet opp i den nye utgaven av oblig1 som er lagt ut.

Hint til oppgave 2D: Denne kan gj?res ved ? f?rst dekomponere tapsfritt til EKNF og s? dekomponere videre den relasjonen som ikke er p? BCNF.

Oblig1 er lagt ut. Frist: 9. mars kl. 16:00. Mer om innlevering via Devilry kommer senere.

Det er lagt inn et ekstra lysark (ark 19) i forelesningsnotatet datert 26.1. Arket illustrerer sammenhengen mellom normalformene BCNF og 4NF p? en litt ny m?te.

Forelesningsplanen er noe endret i forhold til den opprinnelige. Se undervisningsplanen for detaljer.