Exercises: Logische Programmierung und deduktive Datenbanken (Übung Do 12-14) - Details

Exercises: Logische Programmierung und deduktive Datenbanken (Übung Do 12-14) - Details

Close message box
You are not logged into Stud.IP.

General information

Course name Exercises: Logische Programmierung und deduktive Datenbanken (Übung Do 12-14)
Subtitle http://www.informatik.uni-halle.de/~brass/lp19/
Semester SS 2019
Current number of participants 11
expected number of participants 20
Home institute Leitung des Instituts für Informatik
participating institutes Praktische Informatik (Datenbanken)
Courses type Exercises in category Offizielle Lehrveranstaltungen
First date Thursday, 11.04.2019 12:15 - 14:45, Room: Seminarraum 0.03 [VSP 1]
Pre-requisites Vorlesung Datenbanken I, Programmierkenntnisse
Studiengänge (für) Master Informatik (120 LP)
Master Bioinformatik (120 LP)
Master Wirtschaftsinformatik (120 LP)
SWS 2+2
ECTS points 5

Fields of study

Module assignments

Comment/Description

Dies ist eine Spezialvorlesung für besonders interessierte Studierende (deduktive Datenbanken sind mein Haupt-Forschungsthema).

Das Ziel deduktiver Datenbanken ist es, ein integriertes System aus Datenbank und Programmiersprache zu schaffen, wobei die Programmiersprache hier im Gegensatz zu anderen Versuchen einer solchen Integration deklarativ ist (wie die bekannte Anfragesprache SQL). Konkret werden Prolog-ähnliche Sprachen verwendet.

Inhalt:
- Logische Grundlagen: Horn-Klauseln, Herbrand Modelle
- Datenbank-Anfragen und Programmierung in Datalog
- Programmierung in Prolog
- Anfrage-Auswertung: Naiv, Seminaiv, Magische Mengen
- Programm-Ausführung: SLD-Resolution, eventuell kurze Einführung in die Warren Abstract Machine (WAM)
- Nichtmonotone Negation
- Eventuell Integritätsüberwachung
- Eventuell Constraint Logic Programming

Registration mode

After enrolment, participants will manually be selected.

Potential participants are given additional information before enroling to the course.