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.
Slides part1: http://www.dbai.tuwien.ac.at/staff/woltran/slides_dedb10_part1.pdf
Slides part2: http://www.dbai.tuwien.ac.at/staff/woltran/slides_dedb10_part2.pdf
Slides part3: http://www.dbai.tuwien.ac.at/staff/woltran/slides_dedb10_part3.pdf
Slides part4: http://www.dbai.tuwien.ac.at/staff/woltran/slides_dedb10_part4.pdf
Slides part5: http://www.dbai.tuwien.ac.at/staff/woltran/slides_dedb10_part5.pdf
Additional Material: http://www.dbai.tuwien.ac.at/staff/woltran/additional_material.pdf