Introduction into Foundations of Data and Knowledge Systems
Query and Rule Languages (Datalog, Conjunctive Queries, etc) Declarative Semantics (model theoretic, algebraic) Operational Semantics (semi-naive, SLD, Rete, Magic Templates etc) Complexity and Expressiveness
This is an area course of the Vienna PhD School of Informatics.
Please register in TISS.
Papers / book chapters