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.

2012W, 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
Tue10:00 - 11:0016.10.2012Seminarraum FAV EG C (Seminarraum Gödel) Kick-Off Meeting
Tue09:00 - 12:0020.11.2012 - 27.11.2012Seminarraum Argentinierstrasse Deduktive Datenbanken
Thu09:00 - 12:0022.11.2012 - 29.11.2012EI 6 Eckert HS Deduktive Datenbanken
Tue09:00 - 12:0011.12.2012Seminarraum Argentinierstrasse Deduktive Datenbanken
Thu09:00 - 12:0013.12.2012EI 6 Eckert HS Deduktive Datenbanken
Deductive Databases - Single appointments
DayDateTimeLocationDescription
Tue16.10.201210:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Kick-Off Meeting
Tue20.11.201209:00 - 12:00Seminarraum Argentinierstrasse Deduktive Datenbanken
Thu22.11.201209:00 - 12:00EI 6 Eckert HS Deduktive Datenbanken
Tue27.11.201209:00 - 12:00Seminarraum Argentinierstrasse Deduktive Datenbanken
Thu29.11.201209:00 - 12:00EI 6 Eckert HS Deduktive Datenbanken
Tue11.12.201209:00 - 12:00Seminarraum Argentinierstrasse Deduktive Datenbanken
Thu13.12.201209:00 - 12:00EI 6 Eckert HS Deduktive Datenbanken

Course registration

Begin End Deregistration end
30.10.2012 00:00

Curricula

Literature

No lecture notes are available.

Language

German