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

2018S, VU, 2.0h, 3.0EC, wird geblockt abgehalten

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

Einführung in die Datenbanktheorie: Verständnis der grundlegenden Begriffe, Konzepte, Methoden und Resultate.

 

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

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

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.09:00 - 11:0006.03.2018 - 26.06.2018Seminarraum FAV 01 C (Seminarraum 188/2) Vorlesungseinheiten
Datenbanktheorie - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.06.03.201809:00 - 11:00Seminarraum FAV 01 C (Seminarraum 188/2) Datenbanktheorie
Di.13.03.201809:00 - 11:00Seminarraum FAV 01 C (Seminarraum 188/2) Datenbanktheorie
Di.20.03.201809:00 - 11:00Seminarraum FAV 01 C (Seminarraum 188/2) Datenbanktheorie
Di.10.04.201809:00 - 11:00Seminarraum FAV 01 C (Seminarraum 188/2) Datenbanktheorie
Di.17.04.201809:00 - 11:00Seminarraum FAV 01 C (Seminarraum 188/2) Datenbanktheorie
Di.24.04.201809:00 - 11:00Seminarraum FAV 01 C (Seminarraum 188/2) Datenbanktheorie
Di.08.05.201809:00 - 11:00Seminarraum FAV 01 C (Seminarraum 188/2) Datenbanktheorie
Di.15.05.201809:00 - 11:00Seminarraum FAV 01 C (Seminarraum 188/2) Datenbanktheorie
Di.29.05.201809:00 - 11:00Seminarraum FAV 01 C (Seminarraum 188/2) Datenbanktheorie
Di.05.06.201809:00 - 11:00Seminarraum FAV 01 C (Seminarraum 188/2) Datenbanktheorie
Di.12.06.201809:00 - 11:00Seminarraum FAV 01 C (Seminarraum 188/2) Datenbanktheorie
Di.19.06.201809:00 - 11:00Seminarraum FAV 01 C (Seminarraum 188/2) Datenbanktheorie
Di.26.06.201809:00 - 11:00Seminarraum FAV 01 C (Seminarraum 188/2) Datenbanktheorie
LVA wird geblockt abgehalten

Leistungsnachweis

Präsentation eines Forschungsartikels und mündliche Prüfung

Prüfungen

TagZeitDatumOrtPrüfungsmodusAnmeldefristAnmeldungPrüfung
Mi. - 30.06.2021mündlich01.03.2021 00:00 - 28.06.2021 00:00in TISSoral exam

LVA-Anmeldung

Von Bis Abmeldung bis
12.02.2018 00:00 06.03.2018 23:55 20.03.2018 23:55

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.

Weitere Informationen

Sprache

Englisch