Deduktive Datenbanken
Hinweis: Die Vorlesung Deduktive Datenbanken findet im Sommersemester 2018 erstmals als 5LP-Vorlesung statt. Zusätzlich wird ab Wintersemester 2018/19 die Vorlesung "Logische Programmierung" angeboten.
| Titel: | Deduktive Datenbanken |
|---|---|
| Typ: | Vorlesung mit Übung |
| Kürzel / Nr: | 10-I=DDB / 129921 |
| SWS / LP: | 2V+2Ü / 5LP |
| Dozent: | Dietmar Seipel |
| Betreuer: | Daniel Weidner |
| Termine: | Vorlesung: Dienstags, 14 bis 16 Uhr Hörsaal 4 (Naturwissenschaftlicher Hörsaalbau) Übung: (tba.) |
| Lernplattform: | Die Veranstaltung wird mit Hilfe der Lernplattform WueCampus durchgeführt. Bitte registrieren Sie sich hier. |
| Prüfungstermine: | (tba) |
| Beschreibung | |
| Unterrichtssprache: | Deutsch |
| Turnus: | jedes Sommersemester |
| Niveau: | Weiterführend |
| Inhalt: | Syntax und Semantik von Logikprogrammen; Auswertungsmethoden für Datalog; Negation und Stratifizierung; Disjunktive Logikprogramme. |
| Lernergebnisse: | Die Studierenden verfügen über Kompetenzen im Umgang mit Datalog (inklusive Negation und Disjunktion). |
