Logik in Datenbanken
Logic in Databases
8 LPunregelmäßigDEwird nicht mehr angeboten
Inhalte
Prädikatenlogik, Herbrand-Modell, Datalog, Fuzzy-Logik, Quantenmechanik und -logik, Anfragesprache CQQL, probabilistische Datenbanken, Algorithmen zur Auswertung logischer Ausdrücke.
Lernziele
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.
Prüfungsleistung
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.
Literatur (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
Bemerkungen
• Studiengang Informatik M. Sc.: Wahlpflichtmodul im Komplex „Grundlagen der Informatik“ (Niveaustufe 400). • Studiengang Informations- und Medientechnik M. Sc.: Wahlpflichtmodul im Komplex „Methodische Vertiefung".
Quelle: Modulbeschreibung der BTU · abgerufen 16.10.2026Original