Allgemeine Informationen

Veranstaltungsname	Übung: Logische Programmierung und deduktive Datenbanken (Übung Do 12-14)
Untertitel	http://www.informatik.uni-halle.de/~brass/lp19/
Semester	SS 2019
Aktuelle Anzahl der Teilnehmenden	11
erwartete Teilnehmendenanzahl	20
Heimat-Einrichtung	Leitung des Instituts für Informatik
beteiligte Einrichtungen	Praktische Informatik (Datenbanken)
Veranstaltungstyp	Übung in der Kategorie Offizielle Lehrveranstaltungen
Erster Termin	Donnerstag, 11.04.2019 12:15 - 14:45, Ort: Seminarraum 0.03 (30) [VSP 1]
Voraussetzungen	Vorlesung Datenbanken I, Programmierkenntnisse
Studiengänge (für)	Master Informatik (120 LP) Master Bioinformatik (120 LP) Master Wirtschaftsinformatik (120 LP)
SWS	2+2
ECTS-Punkte	5

Lehrende

Räume und Zeiten

Seminarraum 0.03 (30) [VSP 1]: Donnerstag: 12:15 - 14:45, wöchentlich (13x)

Studienbereiche

Naturwissenschaftliche Fakultät III - Agrarwiss., Geowiss. und Informatik > Informatik > Institut für Informatik > Themen > Lehrgebiet Datenbanken und Informationssysteme
Naturwissenschaftliche Fakultät III - Agrarwiss., Geowiss. und Informatik > Informatik > Institut für Informatik > Themen > Datenbanksysteme
Naturwissenschaftliche Fakultät II - Chemie, Physik und Mathematik > Institut für Mathematik > Themen > Logik
Naturwissenschaftliche Fakultät III - Agrarwiss., Geowiss. und Informatik > Informatik > Institut für Informatik > Themen > Programmiersprachen

Modulzuordnungen

Kommentar/Beschreibung

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

Anmeldemodus

Die Auswahl der Teilnehmenden wird nach der Eintragung manuell vorgenommen.

Nutzer/-innen, die sich für diese Veranstaltung eintragen möchten, erhalten nähere Hinweise und können sich dann noch gegen eine Teilnahme entscheiden.