In English

DD2469 Databasteori 6,0 hp

Database Theory

En avancerad kurs i datalogi som behandlar de teoretiska, matematiska, grunderna för databassystem.

  • Utbildningsnivå

    Avancerad nivå

  • Kursnivå (A-D)

    D

  • Huvudområde

    Informationsteknik

  • Betygsskala

    A, B, C, D, E, FX, F

Det finns inget planerat kurstillfälle.

Lärandemål

Undervisningen avser att ge en teoretisk grund avseende databasers strukturering, databassystem och deras applikationsområden och hur matematiska teorier används i databassystem.

Detta innebär att studenterna efter fullgjord kurs skall kunna:

  • förklara hur funktionella och mängdvärda beroenden används vid normalisering.
  • bevisa eller motbevisa beroenden.
  • förklara olika normalformer och vilka problem som löses i de olika formerna.
  • diskutera för och nackdelar med olika grad av normalisering.
  • förklara olika algoritmer för normalisering
  • förklara hur restriktioner omformas så att de kan användas för informationsstrukturering.
  • Förklara användningen av transitiva höljen.
  • använda matematisk beskrivning frågor samt beskriva hur dessa optimeras.
  • förstå matematiken för ickenormaliserade strukturer.

För att

  • studenterna i yrkeslivet skall kunna tillämpa moderna matematiska teorier på reella databassystem.

Kursens huvudsakliga innehåll

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.

Behörighet

Rekommenderade förkunskaper

Motsvarande en av kurserna 2I1100/IV1008 Informationssystem och databasteknik, 2D1334/DD1334 Databasteknik och 2D1364/DD1364 Databasteknik för D.

Litteratur

Enligt förteckning på institutionen. Föregående läsår användes P. Atzeni & V. De Antonellis: Relational database theory, Benjamin/Cummings.

Examination

  • LAB1 - Inlämningsuppgifter, 6,0 hp, betygsskala: A, B, C, D, E, FX, F

I denna kurs tillämpas skolans hederskodex, se: http://www.kth.se/csc/student/hederskodex.

Krav för slutbetyg

Inlämningsuppgifter (LAB1; 6 hp).

Ges av

CSC/Datalogi

Kontaktperson

Kjell Lindqvist, tel: 790 6276, e-post: kjellq@nada.kth.se

Examinator

Kjell Lindqvist

Övrig information

Kursen ges vartannat år.

Påbyggnad

Diskuteras med kursledaren.

Versionsinformation

Kursplan giltig från och med HT09.
Examinationsinformation giltig från och med HT07.