Einführung in die Datenbanktheorie: Verständnis der grundlegenden Begriffe, Konzepte, Methoden und Resultate.
Grundlegende Aspekte von Datenbank-Anfragesprachen:
*) Relationale Anfragesprachen (Einführung)
*) Datalog
*) Codd's Theorem: Relationen-Kalkül, Relationale Algebra, Datalog
*) Trakhtenbrot's Theorem
*) Komplexität der Anfrageauswertung
*) Conjunctive Queries
*) Ausdruckskraft, Ehrenfeucht-Fraisse Spiele
Aufwandsabschätzung
2 h Eingangstest
23 h Vorlesung (10 Termine inclusive Vorbereitung)
35 h Forschungsartikel (schriftlicher Bericht, Präsentation)
15 h Prüfungsvorbereitung
-----------------------------------------------------------
75 h = 3 Ects
Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley, 1995, ISBN 0-201-53771-0.