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

2022W, VU, 2.0h, 3.0EC, wird geblockt abgehalten

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

  • 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.

Inhalt der Lehrveranstaltung

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

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.

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.

 

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.09:00 - 11:0004.10.2022 - 24.01.2023Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Datenbanktheorie - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.04.10.202209:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.11.10.202209:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.18.10.202209:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.25.10.202209:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.08.11.202209:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.22.11.202209:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.29.11.202209:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.06.12.202209:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.13.12.202209:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.20.12.202209:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.10.01.202309:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.17.01.202309:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Di.24.01.202309:00 - 11: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.

Prüfungen

TagZeitDatumOrtPrüfungsmodusAnmeldefristAnmeldungPrüfung
Fr.09:15 - 11:0010.02.2023 online via Zoom: https://tuwien.zoom.us/j/4826230572mündlich27.01.2023 12:00 - 09.02.2023 23:59in TISS(optional) oral exam
Mo.09:15 - 11:0006.03.2023 online via Zoom: https://tuwien.zoom.us/j/4826230572mündlich13.01.2023 12:00 - 05.03.2023 23:59in TISS(optional) oral exam

LVA-Anmeldung

Von Bis Abmeldung bis
19.09.2022 00:00 07.10.2022 00:00 24.10.2022 00:00

Curricula

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.

Sprache

Englisch