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
Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley, 1995, ISBN 0-201-53771-0.