Logik in Datenbanken
Logic in Databases
8 CPirregularlyDEno longer offered
Contents
Prädikatenlogik, Herbrand-Modell, Datalog, Fuzzy-Logik, Quantenmechanik und -logik, Anfragesprache CQQL, probabilistische Datenbanken, Algorithmen zur Auswertung logischer Ausdrücke.
Learning outcomes
Nach der Teilnahme am Modul ist der Studierende in der Lage, Ausdrücke verschiedener Logiken zur Datenmodellierung und Anfrageformulierung im Datenbankkontext, also zur Extraktion von Informationen, zu entwickeln und algorithmisch auszuwerten.
Assessment
Voraussetzung für die Modulabschlussprüfung: • Erfolgreiches Bestehen des PraktikumsModulabschlussprüfung: • Klausur, 90 min. ODER • mündliche Prüfung, 30-45 min. (bei geringer Teilnehmerzahl) In der ersten Lehrveranstaltung wird bekanntgegeben, ob die Prüfungsleistung in schriftlicher oder mündlicher Form zu erbringen ist.
Literature (4)
- „Foundations of Databases“ von Abiteboul, Hull, Vianu, Addison Wesley, 1996
- „Multimedia-Kurs Datenbanksysteme“ von Werner Kießling, Springer-Verlag, 1998
- „Quantenlogik für Ingenieure und Informatiker“ von Günther Wirsching, Ingo Schmitt, Matthias Wolff, Springer-Verlag
- Skript
Remarks
• Studiengang Informatik M. Sc.: Wahlpflichtmodul im Komplex „Grundlagen der Informatik“ (Niveaustufe 400). • Studiengang Informations- und Medientechnik M. Sc.: Wahlpflichtmodul im Komplex „Methodische Vertiefung".
Source: BTU's module description · retrieved 16 Oct 2026Original