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

2014W, VO, 2.0h, 3.0EC

Properties

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

Aim of course

Understanding of semantics and properties of deductive databases, in particular, Datalog and its extensions with negation and disjunction. NOTE: The lecture will probably given in ENGLISH

Subject of course

Datalog, logics, and databases. Datalog with stratified/non-stratified negation, disjunction. Evaluation of datalog-programs, optimiziation methods.

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
Tue14:00 - 15:0028.10.2014Seminarraum FAV EG C (Seminarraum Gödel) Kick-Off Meeting
Wed08:00 - 12:0005.11.2014FAV Hörsaal 3 Zemanek (Seminarraum Zemanek) Deduktive Datenbanken
Wed08:00 - 12:0019.11.2014FAV Hörsaal 3 Zemanek (Seminarraum Zemanek) Deduktive Datenbanken
Wed08:00 - 12:0026.11.2014Seminarraum FAV EG C (Seminarraum Gödel) Deduktive Datenbanken
Wed08:00 - 12:0010.12.2014Seminarraum FAV EG B (Seminarraum von Neumann) Deduktive Datenbanken
Wed08:00 - 12:0017.12.2014 Meetinroom Menger / Favoritenstr. 9-11 / Stairway 3 / 3rd floorDeduktive Datenbanken

Course registration

Begin End Deregistration end
04.11.2014 00:00

Curricula

Literature

Slides part 1

Slides part 2

Slides part 3

Slides part 4

Slides part 5

Additional Material

 

Language

German