On July 30th, 2024, due to an important database update, there will be service interruptions in the Student Self-Service and Workforce Management areas between 8 AM and 11 AM. Thank you for your understanding.

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.

2023W, VO, 2.0h, 3.0EC
TUWEL

Properties

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

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

Written

Additional information

ECTS breakdown: 3 ECTS = 75 Hours

1h Kick-Off Meeting

24h Lectures

10h Homeworks

38h Preparation for Exam

2h Written Exam

 

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Fri13:00 - 15:0006.10.2023 - 19.01.2024Seminarraum FAV 01 A (Seminarraum 183/2) VO 192.067 Deductive Databases
Deductive Databases - Single appointments
DayDateTimeLocationDescription
Fri06.10.202313:00 - 15:00Seminarraum FAV 01 A (Seminarraum 183/2) VO 192.067 Deductive Databases (Kickoff meeting)
Fri13.10.202313:00 - 15:00Seminarraum FAV 01 A (Seminarraum 183/2) VO 192.067 Deductive Databases
Fri20.10.202313:00 - 15:00Seminarraum FAV 01 A (Seminarraum 183/2) VO 192.067 Deductive Databases
Fri03.11.202313:00 - 15:00Seminarraum FAV 01 A (Seminarraum 183/2) VO 192.067 Deductive Databases
Fri10.11.202313:00 - 15:00Seminarraum FAV 01 A (Seminarraum 183/2) VO 192.067 Deductive Databases
Fri17.11.202313:00 - 15:00Seminarraum FAV 01 A (Seminarraum 183/2) VO 192.067 Deductive Databases
Fri24.11.202313:00 - 15:00Seminarraum FAV 01 A (Seminarraum 183/2) VO 192.067 Deductive Databases
Fri01.12.202313:00 - 15:00Seminarraum FAV 01 A (Seminarraum 183/2) VO 192.067 Deductive Databases
Fri15.12.202313:00 - 15:00Seminarraum FAV 01 A (Seminarraum 183/2) VO 192.067 Deductive Databases
Fri12.01.202413:00 - 15:00Seminarraum FAV 01 A (Seminarraum 183/2) VO 192.067 Deductive Databases
Fri19.01.202413:00 - 15:00Seminarraum FAV 01 A (Seminarraum 183/2) VO 192.067 Deductive Databases

Examination modalities

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

Course registration

Begin End Deregistration end
13.09.2023 00:05 26.01.2024 23:55 27.01.2024 23:55

Curricula

Study CodeObligationSemesterPrecon.Info
066 645 Data Science Not specified
066 926 Business Informatics Mandatory elective
066 931 Logic and Computation Mandatory elective
066 937 Software Engineering & Internet Computing Mandatory elective

Literature

No lecture notes are available.

Language

English