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 (7.4.) and Lecture 2 (14.4))
  Motivation; overview of course; on the unusual effectiveness of logic in computer science/information systems; FOL logic and its fragments, properties, complexity theory  
• Links Lecture 1: pdf,  pdf without animation
• Links Lecture 2: pdf, pdf without animation
  
• Logical Foundations of Database Systems: Finite Model Theory (Lecture 3 (21.4), Lecture 4 (28.4))
  Locality; games; descriptive complexity; algorithmic model theory  
• Links Lecture 3: pdf; pdf without animation
• Links Lecture 4: pdf; pdf without animation
• Information Integration on DB Level: Data Integration (Lecture 5 (5.5.))
  Integration modes; LAV, GAV, certain answering; view rewriting; bucket algorithm
• Links Lecture 5: pdf; pdf without animation
• Information Integration on DB Level: Data Exchange  (Lecture 6 (12.5), Lecture 7 (19.5))
  Target constraints; chase algorithm; universal solution; cores; complexity results; mapping management; non-relational data exchange
• Links Lecture 6: pdf, pdf with less animations
• Links Lecture 7: pdf, pdf without animations
• Semantic Integration with OBDA: Bridging the DB and Ontology World (Lecture 8 (2.6), Lecture 9 (9.6)) Handling incompleteness (NULL values); closed world, open world; certain answers; ontologies;   ABDEO: limits of DL-Lite, concrete datatypes; existential rules;  extended forms of ontology-based data access: ABox modularization
• Links Lecture 8: pdf, pdf without animations
• Links Lecture 9: pdf, pdf without animations
• Semantic Integration on Ontology Level: Ontology Integration (Lecture 10 (16.6), Lecture 11 (23.6))
  Belief revision; ontology change; ontology debugging; ontology import; inconsistency handling;alignment, mapping change
• Links Lecture 10: pdf, pdf without animations
• Links Lecture 11: pdf, pdf with less animations
• Database Repairs (lecture 12 (30.6))
  Sub-/superset, symmetric difference, C-, prioritized, null-based repairs; consistent query answering; dichotomy theorems, constraint satisfaction; prototypes
• Links Lecture 12: pdf, pdf without animations
• Stream Processing  (lecture 13 (7.7))
  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
• Links: pdf

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: 7.4.2022
Übung:      7.4.2022

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.