Database- og ProgrammeringsTeknologier (DPT)

Som en konsekvens af bl.a. de fortsatte fremskridt i hardwareteknologier, af udbredelsen af internettet, og af tendensen i retningen af til stadighed mere omfattende og komplekse softwaresystemer, så stilles forskningen inden for database- og programmeringsteknologier over for et væld af udfordringer. Moderne softwaresystemer håndterer store mængder af traditionelle og ikke-traditionelle data, inklusiv temporale, spatiale, spatio-temporale, dimensionelle, multimedie og semi-strukturerede data. Enheden har som forskningsmål at udvikle teknologier som opfylder programmerings- og datahåndteringsbehovene for softwaresystemer generelt, men med fokus på dataintensive systemer.

Enhedens områder omfatter generelle programmeringssprog såvel som sprog til specielle formål, f.eks. til håndtering af forskellige typer data, samt sprog som integrerer programlogik med datahåndtering. Programmeringsparadigmer og specifikke sprogfaciliteter og –begreber dækkes også. Ligeledes dækkes omgivelser som tilbyder integreret værktøjsunderstøttelse af applikations- og programudvikling, herunder aktiviteterne design, implementering, dokumentation, test, og vedligehold/drift.

Forskningen inden for databaseteknologi relaterer sig til data warehousing og til temporale, spatiale, og spatio-temporale data, og den omfatter konceptuel modellering og database design, datamodeller, forespørgselsprocessering, indeksering, og applikationer. Gruppen forsker også i mobile services og internetteknologier. Denne forskning omfatter semi-struktureret datahåndtering, lokations-baserede og kontekstafhængige mobile services, applikationsudvikling og XML-relateret programmering.

Enhedens tilgang til forskning har et teknologisk fokus og er som udgangspunkt primært konstruktiv, men rummer også eksperimentelle og analytiske elementer. De konstruktive aktiviteter omfatter design af begreber og frameworks, såvel som design og implementering af algoritmer, datastrukturer, sprog, værktøjer og systemer. De eksperimentelle aktiviteter dækker empiriske studier af de konstruerede artefakter, inklusiv prototype-baserede studier og simulationsbaserede performance studier.  De analytiske aktiviteter inkluderer kompleksitetsanalyse og sprogevaluering. Fokus er på udvikling af teoretisk sunde resultater som vedrører aktuelle praktiske problemer.