Deductive Databases (formlerly: Database Theory)
3 SWS + 1 SWS Exercises/Übung; 6 ECTS-Credits; MSc or advanced BSc.
The course introduces theoretical/logical aspects of databases and
applies them to deductive databases.
- The first-oder-logic-based twin to the relational algebra: Relational Calculus
- Reasoning: First-Order Model Theory, Resolution Calculus
- Deductive Databases - Positive Recursive Datalog
- Advanced Datalog: Datalog with Negation, Well-Founded Semantics, Disjunction, Stable Semantics
The course provides the base for the Semantic