Repetition, fördjupning och formalisering av grundläggande begrepp och matematik från tidigare genomgångna kurser: Relationsalgebra, tupelkalkyl och domänkalkyl. Olika nyckelbegrepp. Funktionella beroenden, axiom och härledningsregler för dessa. Lägre normalformer, satser och bevis avseende normalformer. Algoritmer för automatiserad normalisering.
Generella beroenden: Mängdvärda beroenden, "join"-beroenden, axiom och härledningsregler för dessa.
Högre normalformer: Satser och bevis. Algoritmer för automatiserad normalisering.
Transitiva höljen och deras användning: Koppling till normalformerna. Algoritmer för framtagning av transitiva höljen och kontroll av normaliserade strukturer.
Matematik för ickenormaliserade strukturer: Utvidgningar och generaliseringar av relationsmodellen och dess matematik.
Orientering om modeller: Relationsmodellen, nästlad relationsmodell, funktionella och logiska modeller, objektmodeller. Matematisk grund för de respektive modellerna. Generalisering av modellbegreppet.
Optimering: Matematiska principer för frågeoptimering. Kostnadsfunktioner.