Logic in Databases
Logik in Datenbanken
8 LPunregelmäßigEN
Inhalte
Predicate logic, Herbrand model, datalog, fuzzy logic, quantum mechanics and logic, query language CQQL, probabilistic databases, algorithms for evaluating logical expressions.
Lernziele
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.
Prüfungsleistung
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.
Literatur (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
Bemerkungen
• 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“
Quelle: Modulbeschreibung der BTU · abgerufen 29.09.2026Original