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
Course of Vienna PhD School of Informatics
Lectures (in Seminar Room 183/2):
Tue, 9th Nov. 2010; 9-11 a.m.
Tue, 16th Nov. 2010; 9-11 a.m.
Tue, 23rd Nov. 2010; 9-11 a.m.
Tue, 30th Nov. 2010; 9-11 a.m.
Tue, 7th Dec. 2010; 9-11 a.m.
Tue, 14th Dec. 2010; 9-11 a.m.
Tue, 18th Jan. 2010; 9-12 a.m.
Tue, 25th Jan. 2010; 9-12 a.m.