Übung: Logische Programmierung und deduktive Datenbanken (Übung) - Details

Übung: Logische Programmierung und deduktive Datenbanken (Übung) - Details

Allgemeine Informationen

Veranstaltungsname Übung: Logische Programmierung und deduktive Datenbanken (Übung)
Untertitel http://www.informatik.uni-halle.de/~brass/lp12/
Semester WS 2012/13
Aktuelle Anzahl der Teilnehmenden 0
erwartete Teilnehmendenzahl 20
Heimateinrichtung Leitung des Instituts für Informatik
Beteiligte Einrichtungen Praktische Informatik (Datenbanken)
Veranstaltungstyp Übung in der Kategorie Offizielle Lehrveranstaltungen
Erster Termin Donnerstag, 18.10.12, 12:15 - 13:45 Uhr
Voraussetzungen Vorlesung Datenbanken I, Programmierkenntnisse
Lehrsprache(n) Deutsch
Studiengänge (für) Master Informatik (120 LP)
Master Bioinformatik (120 LP)
Master Wirtschaftsinformatik (120 LP)
SWS 2+2
ECTS-Punkte 5

Räume und Zeiten

Ohne Raum

  • Donnerstag, 12:15 - 13:45, Wöchentlich (ab dem 18.10.12)

Studienbereiche

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

Anmelderegeln

Diese Veranstaltung gehört zum Anmeldeset "Anmeldung gesperrt (global)".
Folgende Regeln gelten für die Anmeldung:
  • Die Anmeldung ist gesperrt.

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.