184.247 Deduktive Datenbanken Abgesagt
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2017W, VO, 2.0h, 3.0EC
Quinn ECTS Erhebung


  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VO Vorlesung

Ziele der Lehrveranstaltung

The objective of the course is a good understanding of the theoretic foundations of deductive databases, which are database systems that use automated reasoning to improve the query answering capabilities of ordinary relational databases. The course will be held in ENGLISH.

Inhalt der Lehrveranstaltung

The course will cover various query languages for expressing complex queries over data. In particular, the course will present Datalog and its extensions (e.g. with disjunction, negation, existential quantification, and external theories in the form of Description Logic ontologies).

Weitere Informationen

ECTS breakdown: 3 ECTS = 75 Hours

1h Vorbesprechung

24h Vorlesung

10h Hausuebungen zur Vertiefung des Vorlesungsstoffs

38h Pruefungsvorbereitung

2h schriftliche Pruefung

Vortragende Personen



Von Bis Abmeldung bis
16.10.2017 00:00 30.11.2017 23:30 01.12.2017 22:00



The lecture slides are available here.