Institute for Informatics
Georg-August-Universität Göttingen

Databases and Information Systems

dbis
Uni Göttingen
Global Links:
Institute for Informatics
Göttingen University
DBIS Links:
People
Teaching
Projects
Publications

Deductive Databases (formlerly: Database Theory)

3 SWS + 1 SWS Exercises/Übung; 6 ECTS-Credits; MSc or advanced BSc.

Contents:

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 Web course.