Feil i forelesningsnotat 1 om databaser i logikperspektiv

Evgenij oppdaget en st?rre feil i forelesningsnotat 1 om databaser i logikperspektiv. Query containment tilsvarer |= Ax (F -> G), ikke Ax F |= Ax G. Ny versjon av notatet er lagt opp i timeplanen og under undervisningsmateriale.