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

2021W, VO, 2.0h, 3.0EC


  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VO Lecture
  • Format: Distance Learning

Learning outcomes

After successful completion of the course, students are able to...

... develop ASP programs and queries, as well as to classify such programs by their language concepts and complexity.
... describe the structure and concepts of Description Logics (DLs), as well as to distinguish and compare different DLs.
... design ontologies in OWL and DLs.
... analyze reasoning problems related to DLs and to apply them for solving typical data management- and querying tasks.
... identify the difference between (logic programming) rules and ontologies.
... use formalisms for combining rules and ontologies.
... identify and assess the problems emerging when trying to combine these two kinds of formalisms.
... apply all of the presented formalisms to improve the query answering capabilities of ordinary relational databases.

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.

  • Datalog with disjunction, negation, existential quantification
  • Answer Set Semantics, well-founded semantics
  • external theories in the form of Description Logic ontologies


Teaching methods

All concepts and contents of the course are presented during lectures and demonstrated on small examples.

Mode of examination


Additional information


Due to COVID-19, this course will be taught online (distance learning) during 2021WS. The online version of the course will be as follows:

  1. On a weekly basis, I will post online a video recording of the lecture.
  2. We will have a weekly Zoom meeting to discuss the videos, where you will have the opportunity to ask questions. 

The first Zoom meeting will be held on October 22 at 10:15. In the first Zoom meeting, we will discuss the organizational details of the lecture.

The Zoom link for the first meeting is:


In order to receive updates (like news regarding videos, or the links to Zoom meetings), you should register for the course on TISS. 

If you have questions, please contact Mantas Simkus by email (simkus@dbai.tuwien.ac.at).



ECTS breakdown: 3 ECTS = 75 Hours

1h Kick-Off Meeting

24h Lectures

10h Homeworks

38h Preparation for Exam

2h Written Exam




Examination modalities

The evaluation and grading of the lecture is based on a written exam (ONLINE) at the end of the course.

Course registration

Begin End Deregistration end
15.09.2021 00:05 28.01.2022 23:55 29.01.2022 23:55



No lecture notes are available.