Logic in Databases
Logik in Datenbanken
8 CPirregularlyEN
Contents
Predicate logic, Herbrand model, datalog, fuzzy logic, quantum mechanics and logic, query language CQQL, probabilistic databases, algorithms for evaluating logical expressions.
Learning outcomes
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.
Assessment
Prerequisite: • Successful completion of practical training tasks and exercise tasks 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.
Literature (4)
- 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
Remarks
• 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“ • Study programme Mathematical Data Science M.Sc.: Compulsory elective module in complex „Fundamentals of Data Science“
Source: BTU's module description · retrieved 29 Sep 2026Original