|
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
|
| 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“
|
| Module Components: | - Lecture: Logic in Databases
- Accompanying exercise
- Accompanying laboratory
- Related examination
|
| Components to be offered in the Current Semester: | |
