Inntroduction to Database Theory: Understanding of basic notions, concepts, methods, and results.

Fundamental Aspects of database query languages:
*) relational query languages (introduction)
*) Datalog
*) Codd's Theorem: relational calculus, relational algebra, datalog
*) Trakhtenbrot's theorem
*) Complexity of query evaluation
*) Conjunctive queries
*) Expressive power, Ehrenfeucht-Fraisse games

ECTS Breakdown

 2 h quiz 
 23 h lecture (10 classes including preparation)
 35 h research article (report, presentation)
 15 h preparation for oral exam
-----------------------------------------------------------
 75 h = 3 Ects

presentation of a research article and oral exam

Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley, 1995, ISBN 0-201-53771-0.

Students are assumed to have a basic knowledge in mathematical logic and to be familiar with basic concepts of complexity theory (to the extent taught in the course "Formale Methoden der Informatik").