184.247 Deductive Databases Canceled
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2017W, VO, 2.0h, 3.0EC


  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VO Lecture

Aim of course

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.


Subject of course

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

Additional information

ECTS breakdown: 3 ECTS = 75 Hours

1h Kick-Off Meeting

24h Lectures

10h Homeworks

38h Preparation for Exam

2h Written Exam



Course registration

Begin End Deregistration end
16.10.2017 00:00 30.11.2017 23:30 01.12.2017 22:00



The lecture slides are available here.