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

Merkmale

  • 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

Institut

LVA-Anmeldung

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

Curricula

Literatur

The lecture slides are available here.

Sprache

Englisch