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.