Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage

• verschiedene Forschungbereiche der Datenbanktheorie-Forschung zu benennen
• die wichtigsten Fragestellungen im Zusammenhang mit Anfragesprachen zu erklären
• die Komplexität und Ausdruckskraft von Anfragesprachen selbst zu analyisieren.

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

Der ersten Teil der LVA besteht aus Präsentationen des Vortragenden zu den oben genannten Aspekten von Datenbank-Anfragespreachen.

Im zweiten Teil der LVA müssen die Studierenden jeweils einen Forschungsartikel aus diesem Themenbereich präsentieren.

Bemerkung: Die LVA ist im WS 2022 als Präsenz-LVA geplant. Falls es die Covid-Situation erfordert, wird die LVA virtuell via Zoom an den geplanten Terminen abgehalten.

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

Die Beurteilung geschieht auf der Basis der Präsentation des Forschungsarktikels und einer mündlichen Prüfung.

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

Grundkenntnisse in mathematischer Logik und Grundkenntnisse in Komplexitätstheorie (entsprechend der Vorlesung "Formale Methoden der Informatik") werden vorausgesetzt.