Informationssysteme (CS4130-KP06)


Dozent:
PD Dr. habil. Özgür Lütfü Özcep

Beschreibung der Vorlesung

  • Bei der Vorlesung Informationssysteme (Modul CS4130) handelt es sich um ein Master-Basismodul
  • Die Vorlesung wird auf Englisch gehalten.
  • In den Übungen werden die Inhalte der Vorlesung anhand von wöchentlich zu lösenden Übungsaufgaben vertieft.


Inhalt (PDFs im Wesentlichen vom SoSe 2020)

  • Logic, Logic, Logic (Lecture 1 (20.4.) and Lecture 2 (27.4))
    Motivation; overview of course; on the unusual effectiveness of logic in computer science/information systems; FOL logic and its fragments, properties, complexity theory   
  • Logical Foundations of Database Systems: Finite Model Theory (Lecture 3 (4.5), Lecture 4 (11.5))
    Locality; games; descriptive complexity; algorithmic model theory  
  • Information Integration on DB Level: Data Integration (Lecture 5 (25.5.))
    Integration modes; LAV, GAV, certain answering; view rewriting; bucket algorithm
  • KEINE Vorlesung (wg. Dienstreise)(1.6.)
  • Information Integration on DB Level: Data Exchange  (Lecture 6 (8.6), Lecture 7 (15.6))
    Target constraints; chase algorithm; universal solution; cores; complexity results; mapping management; non-relational data exchange
  • Semantic Integration with OBDABridging the DB and Ontology World (Lecture 8 (22.6), Lecture 9 (29.6)) Handling incompleteness (NULL values); closed world, open world; certain answers; ontologies;   limits of DL-Lite, concrete datatypes; existential rules; 
  • Semantic Integration on Ontology LevelOntology Integration (Lecture 10 (6.7), Lecture 11 (13.7))
    Belief revision; ontology change; ontology debugging; ontology import; inconsistency handling;alignment, mapping change
  • Database Repairs (lecture 12 (20.7))
    Sub-/superset, symmetric difference, C-, prioritized, null-based repairs; consistent query answering; dichotomy theorems, constraint satisfaction; prototypes
  • QA (27.7)
  • Stream Processing (nicht in diesem Semester)
    Low-level and relational data stream processing (for relational data streams and sensor networks, complex event processing; XML streams); high-level ontology based data access to streams
  • HINWEIS: Gegebenfalls werden Foliensätze erneuert. Vor der Klausur sollte man sich den frischen Foliensatz runterladen.

Zielgruppe: siehe Modulbeschreibung

Umfang: 
2 SWS Vorlesung
2 SWS Übung

Zeit und Ort:
Vorlesung: Do, 12:15-13:45, IFIS 2035
Übung: Do, 14:15-15:45, IFIS 2035

               
Beginn:
Vorlesung: 20.4.2023
Übung:      20.4.2023

Modus:

Vor Ort in Lübeck. 



Alle weiteren Informationen zur Veanstaltung sowie Unterlagen zur Vorlesung und den Übungen werden auf der Moodle-Seite dieser Veranstaltung zur Verfügung gestellt.