13813 - Logic in Databases Modulübersicht

Module Number: 13813
Module Title:Logic in Databases
  Logik in Datenbanken
Department: Faculty 1 - Mathematics, Computer Science, Physics, Electrical Engineering and Information Technology
Responsible Staff Member:
  • Prof. Dr.-Ing. habil. Schmitt, Ingo
Language of Teaching / Examination:English
Duration:1 semester
Frequency of Offer: On special announcement
Credits: 8
Learning Outcome:After successfully completing the module, students will will be able expressions of different kinds of logic for data modeling and querying as well as for information extraction.

Contents:Predicate logic, Herbrand model, datalog, fuzzy logic, quantum mechanics and logic, query language CQQL, probabilistic databases, algorithms for evaluating logical expressions.
Recommended Prerequisites:None
Mandatory Prerequisites:None
Forms of Teaching and Proportion:
  • Lecture / 2 Hours per Week per Semester
  • Exercise / 2 Hours per Week per Semester
  • Practical training / 2 Hours per Week per Semester
  • Self organised studies / 150 Hours
Teaching Materials and Literature:
  • Foundations of Databases“, Abiteboul, Hull, Vianu, Addison Wesley, 1996
  • „Multimedia-Kurs Datenbanksysteme“, Werner Kießling, Springer-Verlag, 1998
  • „Quantenlogik für Ingenieure und Informatiker“, Günther Wirsching, Ingo Schmitt, Matthias Wolff, Springer-Verlag
  • Script
Module Examination:Prerequisite + Final Module Examination (MAP)
Assessment Mode for Module Examination:Prerequisite:
  • Successful completion of the laboratory course
Final module examination:
  • Written examination, 90 min. OR
  • Oral examination, 30-45 min. (with small number of participants)
In the first lecture it will announced, wheter the examination will organized in written or oral form.
Evaluation of Module Examination:Performance Verification – graded
Limited Number of Participants:None
Part of the Study Programme:
  • Master (research-oriented) / Artificial Intelligence / PO 2022
  • Abschluss im Ausland / Informatik / keine PO
  • Master (research-oriented) / Informatik / PO 2008
  • Master (research-oriented) / Informations- und Medientechnik / PO 2017
  • Study programme Informatik M.Sc.: Compulsory elective module in complex "Grundlagen der Informatik" (level 400)
  • Study programme Artificial Intelligence M.Sc.: Compulsory elective module in complex  „Knowledge Acquisition, Representation, and Processing“
Module Components:
  • Lecture: Logic in Databases
  • Accompanying exercise
  • Accompanying laboratory
  • Related examination
Components to be offered in the Current Semester: