Datenbanktheorie
| Veranstaltungsnummer | 042609 |
| Modulnummer | INF-MSC-605 |
| Titel | Datenbanktheorie |
| Veranstalter | Prof. Dr. Thomas Schwentick |
| Klassifikation | Vertiefungsmodul (MPO) |
| Semester | Wintersemester 2022/23 |
| SWS | 4 (3V+1Ü) |
| Kreditpunkte | 6 |
| Ort und Zeit | Vorlesung: Dienstags, 14-16 Uhr, Übung: Donnerstags 10-12 Uhr, 14-tägig |
| Querverbindungen | |
| Voraussetzungen | |
| Materialien | Im Moodle-Arbeitsraum (Anmeldung über LSF) |
| Übungsleiter | Thomas Schwentick |
Aktuelles
Die Veranstaltung wird Präsenz- und Online-Elemente kombinieren. Genauere Informationen dazu folgen noch.
Die Veranstaltung beginnt am 11.10.2022 um 14:15 Uhr in einem zoom-Meeting: https://tu-dortmund.zoom.us/j/94198598601?pwd=eTZvSWd3KzVWM0VRSVNWV0lhbVlBdz09.
Inhalt
In den späten 60er Jahren hatte ein bei IBM arbeitender Mathematiker eine, für damalige Verhältnisse, revolutionäre Idee: könnte man nicht Daten einfach in Form von Tabellen (Relationen) speichern und den Zugriff auf diese Daten durch einfache Tabellen-Operationen beschreiben? Das war die Geburtsstunde der relationalen Datenbanken eund der Anfang einer auch kommerziell überaus erfolgreichen Umsetzung einer guten Theorie.
Auch wenn das relationale Modell inzwischen längst nicht mehr das alleinige Modelle ist, ist in der Datenbanken-Forschung die enge Verbindung zwischen Theorie und Praxis bis heute erhalten geblieben: zum Beispiel findet die bedeutendste allgemeine Datenbanken-Konferenz (SIGMOD) immer zusammen mit der wichtigsten Konferenz über Datenbanktheorie (PODS) statt und viele prominente Forscher bewegen sich in beiden Bereichen.
In der Vorlesung soll zunächst eine umfassende Einführung in die Theorie relationaler Datenbanken gegeben werden. Dabei sollen sowohl
klassische Resultate wie auch einige neuere und neueste Forschungsergebnisse vorgestellt werden. Außerdem werden andere Datenmodelle behandelt.
Vorgesehene Themen:
- Einfache Anfragesprachen: SQL und Logik erster Stufe
- Statische Analyse und Anfrageoptimierung
- Anfragesprachen mit Rekursion: Datalog
- Ausdrucksstärke und Auswertungskomplexität von Anfragesprachen
- Data Integration & Data Exchange
- Umgang mit unvollständiger Information
- Integritätsbedingungen
- Mögliche weitere Themen
- Graphdatenbanken
- Probabilistische Datenbanken
- Privacy
- Parallele Anfrageauswertung
Aktualisierte Informationen finden sich auf der Vorlesungsseite.
Literatur
- FOUNDATIONS OF DATABASES, Serge Abiteboul, Rick Hull, Victor Vianu, 1995. http://webdam.inria.fr/Alice/
- THE THEORY OF RELATIONAL DATABASES, David Maier, 1983. http://web.cecs.pdx.edu/~maier/TheoryBook/TRD.html