192.067 Deductive Databases
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2018W, VO, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VO Vorlesung

Ziele der Lehrveranstaltung

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.

 

Inhalt der Lehrveranstaltung

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

 

Weitere Informationen

ECTS breakdown: 3 ECTS = 75 Hours

1h Kick-Off Meeting

24h Lectures

10h Homeworks

38h Preparation for Exam

2h Written Exam

 

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mi.13:00 - 14:0024.10.2018Seminarraum FAV EG B (Seminarraum von Neumann) VO 192.067 Deduktive Datenbanken (Kick-off Meeting)
Mi.09:00 - 12:0007.11.2018 - 05.12.2018Seminarraum FAV EG B (Seminarraum von Neumann) 184.247 Deduktive Datenbanken
Mi.09:00 - 12:0012.12.2018Seminarraum FAV EG B (Seminarraum von Neumann) VO 192.067 Deduktive Datenbanken
Deductive Databases - Einzeltermine
TagDatumZeitOrtBeschreibung
Mi.24.10.201813:00 - 14:00Seminarraum FAV EG B (Seminarraum von Neumann) VO 192.067 Deduktive Datenbanken (Kick-off Meeting)
Mi.07.11.201809:00 - 12:00Seminarraum FAV EG B (Seminarraum von Neumann) VO 192.067 Deduktive Datenbanken
Mi.14.11.201809:00 - 12:00Seminarraum FAV EG B (Seminarraum von Neumann) VO 192.067 Deduktive Datenbanken
Mi.28.11.201809:00 - 12:00Seminarraum FAV EG B (Seminarraum von Neumann) VO 192.067 Deduktive Datenbanken
Mi.05.12.201809:00 - 12:00Seminarraum FAV EG B (Seminarraum von Neumann) VO 192.067 Deduktive Datenbanken
Mi.12.12.201809:00 - 12:00Seminarraum FAV EG B (Seminarraum von Neumann) VO 192.067 Deduktive Datenbanken

LVA-Anmeldung

Von Bis Abmeldung bis
01.11.2018 00:05 01.12.2018 23:55 31.12.2018 23:55

Curricula

Literatur

The slides are available at http://www.simkus.info/teaching/

Sprache

Englisch