MLU
INF.01085.07 - Logische Programmierung und Deduktive Datenbanken (Vollständige Modulbeschreibung)
Originalfassung Englisch
INF.01085.07 5 CP
Modulbezeichnung Logische Programmierung und Deduktive Datenbanken
Modulcode INF.01085.07
Semester der erstmaligen Durchführung
Fachbereich/Institut Institut für Informatik
Verwendet in Studiengängen / Semestern
  • Bioinformatik (MA120 LP) (Master) > Bioinformatik BioinformatikMA120, Akkreditierungsfassung gültig ab SoSe 2023 > Datenbanken und Informationssysteme (Anteil gem. § 5 Abs. 4-6, Anlage 2)
  • Bioinformatik (MA120 LP) (Master) > Bioinformatik BioinformatikMA120, Akkreditierungsfassung (WS 2009/10 - SS 2016) > Datenbanken und Informationssysteme
  • Bioinformatik (MA120 LP) (Master) > Bioinformatik BioinformatikMA120, Akkreditierungsfassung (WS 2016/17 - WS 2022/23) > Datenbanken und Informationssysteme
  • Informatik (MA120 LP) (Master) > Informatik InformatikMA120, Akkreditierungsfassung gültig ab SoSe 2023 > Basismodule der Vertiefungsrichtung `Datenbanken und Informationssysteme`
  • Informatik (MA120 LP) (Master) > Informatik InformatikMA120, Akkreditierungsfassung (WS 2006/07 - SS 2013) > Primärmodule
  • Informatik (MA120 LP) (Master) > Informatik InformatikMA120, Akkreditierungsfassung (WS 2013/14 - SS 2016) > Basismodule der Vertiefungsrichtung `Datenbanken und Data Mining`
  • Informatik (MA120 LP) (Master) > Informatik InformatikMA120, Akkreditierungsfassung (WS 2016/17 - WS 2022/23) > Basismodule der Vertiefungsrichtung `Datenbanken und Informationssysteme`
  • Wirtschaftsinformatik (Business Information Systems) (MA120 LP) (Master) > Wirtschaftsinformatik WirtschaftsinformatMA120, Akkreditierungsfassung gültig ab WS 2020/21 > 2.2 Informatik
  • Wirtschaftsinformatik (Business Information Systems) (MA120 LP) (Master) > Wirtschaftsinformatik WirtschaftsinformatMA120, Akkreditierungsfassung (SS 2016 - SS 2020) > II. Wahlbereich Informatik
  • Wirtschaftsinformatik (Business Information Systems) (MA120 LP) (Master) > Wirtschaftsinformatik WirtschaftsinformatMA120, Akkreditierungsfassung (WS 2008/09 - WS 2015/16) > II. Informatik
  • Wirtschaftsinformatik (Business Information Systems) (MA120 LP) (Master) > Wirtschaftsinformatik WirtschaftsinformatMA120, Akkreditierungsfassung (WS 2008/09 - WS 2015/16) > Informatik (W)
Modulverantwortliche/r
Weitere verantwortliche Personen
Prof. Dr. Stefan Brass
Teilnahmevoraussetzungen
Kompetenzziele
Nach Abschluss dieses Moduls sollen die Teilnehmenden folgendes können:
  • Die logischen und konzeptuellen Grundlagen der logischen Programmierung erklären.
  • In der Sprache Prolog programmieren.
  • Weitere logische Programmiersprachen nutzen, insbesondere die Sprache Datalog, aber auch Sprachen des "Constraint Logic Programming".
  • Die Ausführung von Programmen und Anfragen in Prolog bzw. deduktiven Datenbanken erklären und ggf. selbst Teile eines logischen Programmiersystems entwickeln.
Modulinhalte
  • Einleitung (Motivation, Historische Entwicklung, Einordnung)
  • Logische Grundlagen: Horn-Klauseln, Herbrand Modelle, Minimales Modell
  • Datenbank-Anfragen und Programmierung in Datalog
  • Eingebaute Prädikate
  • Anfrage-Auswertung I: Naiv, Seminaiv
  • Pure Prolog (mit Funktionssymbolen)
  • Programm-Ausführung: SLD-Resolution, Warren Abstract Machine (sehr kurz)
  • Praktische Prolog-Programmierung
  • Anfrage-Auswertung II: Magische Mengen
  • Nichtmonotone Negation
  • Ausblick (z.B. Integritätsüberwachung, Constraint Logic Programming, neuere logische Programmiersprachen)
Lehrveranstaltungsformen Kursus (2 SWS)
Kursus
Kursus (2 SWS)
Kursus (1 SWS)
Kursus (1 SWS)
Kursus
Kursus
Unterrichtsprachen Deutsch, Englisch
Dauer in Semestern 1 Semester Semester
Angebotsrhythmus Modul jedes Sommersemester
Aufnahmekapazität Modul unbegrenzt
Prüfungsebene
Credit-Points 5 CP
Modulabschlussnote LV 1: %; LV 2: %; LV 3: %; LV 3: %; LV 4: %; LV 4: %; LV 5: %.
Faktor der Modulnote für die Endnote des Studiengangs 1
Hinweise
Basismodul für die Vertiefungsrichtung "Datenbanken und Informationssysteme"
Modulveran­staltung Lehrveranstaltungs­form Veranstaltungs­titel SWS Workload Präsenz Workload Vor- / Nach­bereitung Workload selbstge­staltete Arbeit Workload Prüfung incl. Vorbereitung Workload Summe
LV 1 Kursus Seminar 2 0
LV 2 Kursus Selbststudium 0
LV 3 Kursus Übung 2 0
LV 3 Kursus Tafelübung 1 0
LV 4 Kursus Praktische Übung 1 0
LV 4 Kursus Vorbereitung eines Seminarvortrages 0
LV 5 Kursus Lösen von Hausaufgaben 0
Workload modulbezogen 150 150
Workload Modul insgesamt 150
Prüfung Prüfungsvorleistung Prüfungsform
LV 1
LV 2
LV 3
LV 3
LV 4
LV 4
LV 5
Gesamtmodul
Korrekte Bearbeitung der Hausaufgaben, wobei ein gewisser Prozentsatz der Punkte erreicht werden muss, eine weitere Präzisierung findet sich in der konkreten Modulbeschreibung., Regelmäßige Teilnahme an den Tafelübungen, aktive Beteiligung (z.B. Beantwortung von Fragen, Vorrechnen von Aufgaben)., In Einzelfällen (begründete Ausnahmen) kann der Modulverantwortliche eine mündliche Kurzprüfung als Alternative anbieten.
mündl. Prüfung oder Klausur oder Hausarbeit (20-30 Seiten) oder Präsentation
Wiederholungsprüfung
Regularien Teilnahme­voraussetzungen Angebots­rhythmus Anwesenheits­pflicht Gewicht an Modulnote in %
LV 1 Sommersemester Nein %
LV 2 Sommersemester Nein %
LV 3 Sommersemester Nein %
LV 3 Sommersemester Nein %
LV 4 Sommersemester Nein %
LV 4 Sommersemester Nein %
LV 5 Sommersemester Nein %