Verständnis der Sprache Datalog und Erweiterungen um Negation und Disjunktion. Fähigkeit zur Modellierung von Problemen mittels dieser Sprachen. HINWEIS: Die LVA wird voraussichtlich in Englisch abgehalten.
Datalog, Logik und Datenbanken (Wiederholung und Vertiefung) Datalog mit Negation, Stratifikation, Semantik nichtstratifizierbarer Programme Datalog mit Disjunktion, Semantik disjunktiver Programme Modellierung verschiedener Problemstellungen Evaluierung von Datalogprogrammen, Optimierungen