181.140 Datenbanktheorie
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2024W, VU, 2.0h, 3.0EC, wird geblockt abgehalten
  • TUWEL-Kurs verfügbar ab: 01.09.2024 00:00.

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung
  • Format der Abhaltung: Präsenz

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...

  • Formale Modelle von Datenbanksystemen, einschließlich relationaler Algebra, Tupelkalkül und Bereichskalkül, zu analysieren und zu vergleichen.
  • Die theoretischen Grundlagen von Abfragesprachen und deren Ausdruckskraft im Rahmen von Komplexitätstheorie zu bewerten.
  • Die mathematischen Grundlagen von Datenabhängigkeiten und deren Rolle in der Theorie der Datenbankformalisierung zu untersuchen.
  • Theoretische Aspekte der Anfrageoptimierung, einschließlich der Untersuchung von Join-Algorithmen und deren Komplexitätsanalyse, zu erforschen.

Inhalt der Lehrveranstaltung

Anders als in den vorigen Jahren wird es dieses Jahr keine Aufnahmeprüfung geben!

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

Weitere Details sind auf der Kurs Webseite verfügbar.

Methoden

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.

 

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

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

 

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.11:00 - 13:0001.10.2024 - 21.01.2025Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Datenbanktheorie - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.01.10.202411:00 - 13:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.08.10.202411:00 - 13:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.15.10.202411:00 - 13:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.22.10.202411:00 - 13:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.29.10.202411:00 - 13:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.05.11.202411:00 - 13:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.12.11.202411:00 - 13:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.19.11.202411:00 - 13:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.26.11.202411:00 - 13:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.03.12.202411:00 - 13:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.10.12.202411:00 - 13:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.17.12.202411:00 - 13:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.07.01.202511:00 - 13:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.14.01.202511:00 - 13:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.21.01.202511:00 - 13:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
LVA wird geblockt abgehalten

Leistungsnachweis

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

Die münldiche Prüfung kann nur nach Abhaltung einer Präsentation wahrgenommen werden.

Die mündliche Prüfung ist ein mal wiederholbar.

Prüfungen

TagZeitDatumOrtPrüfungsmodusAnmeldefristAnmeldungPrüfung
Mo. - 20.01.2025schriftlich01.01.2025 00:00 - 19.01.2025 23:59in TISSOral Exam
Di. - 21.01.2025schriftlich01.01.2025 00:00 - 20.01.2025 23:59in TISSOral Exam

LVA-Anmeldung

Von Bis Abmeldung bis
16.09.2024 00:00 03.10.2024 00:00 21.10.2024 00:00

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
066 011 DDP Computational Logic (Erasmus-Mundus) Keine Angabe
066 645 Data Science Keine Angabe
066 926 Business Informatics Gebundenes Wahlfach
066 931 Logic and Computation Gebundenes Wahlfach
066 937 Software Engineering & Internet Computing Gebundenes Wahlfach

Literatur

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

Vorkenntnisse

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

Weitere Informationen

Sprache

Englisch