Understanding of semantics and properties of deductive databases, in particular, Datalog and its extensions with negation and disjunction. NOTE: The lecture will probably given in ENGLISH
Datalog, logics, and databases. Datalog with stratified/non-stratified negation, disjunction. Evaluation of datalog-programs, optimiziation methods.
ECTS breakdown: 3 ECTS = 75 Hours
1h Kick-Off Meeting
24h Lectures
10h Homeworks
38h Preparation for Exam
2h Written Exam