The objective of the course is a good understanding of the theoretic foundations of deductive databases, which are database systems that use automated reasoning to improve the query answering capabilities of ordinary relational databases. The course will be held in ENGLISH.
The course will cover various query languages for expressing complex queries over data. In particular, the course will present Datalog and its extensions (e.g. with disjunction, negation, existential quantification, and external theories in the form of Description Logic ontologies).