Semesterside for INF3100 - Vår 2016
Forelesningsmateriale
- Formalia
- Innledning
- Funksjonelle avhengigheter
- Normalformene 1NF-BCNF
- Høyere normalformer
- Relasjonsalgebra
- SQL
- SQL: triggere, views
- SQL: systemaspekter
- Sekundærlager. RAID-teknologi
- Indeksering
- Logging
- Transaksjonshåndtering del 1
- Transaksjonshåndtering del 2
- Semistrukturerte data og XML
- Transaksjonshåndtering del 3
- Effektiv eksekvering av spørsmål
- Spørsmålskompilering del 1
- Spørsmålskompilering del 2
- Distribuerte databaser del 1
- Distribuerte databaser del 2
- Distribuerte databaser del 3
Utfyllende materiale
- Oppskriftsbok FDer, MVDer og relasjonsalgebra
- Kompendium: Relasjonsmodellen og normaliseringsteori (ikke pensum)
- Normalformer utover 4NF (ikke pensum)
- Transaksjonshåndtering - eksempler på oppdateringsfenomener og anomalier
- Lysark om transaksjonshåndtering og samtidighetskontroll
- Paxos Commit