Instituts-Logo Logik in der Informatik
Prof. Dr. Nicole Schweikardt
Humboldt-Logo

Seminar Aktuelle Themen in Logik und Datenbanktheorie

Sommersemester 2019

Aktuelles   Einführung    Ort und Zeit    Vorträge    Vortragsthemen   Spielregeln


Aktuelles


Einführung

Anhand von Originalarbeiten und ergänzender Literatur werden im Seminar aktuelle Themen in Logik und Datenbanktheorie erarbeitet.

Ziele sind das Kennenlernen neuer Forschungsergebnisse, das Verstehen wissenschaftlicher Originaltexte, die Fähigkeit zur Einordnung der Inhalte und Beweistechniken, sowie deren Wiedergabe in eigener Darstellung in einem begrenzten Zeitrahmen.

Das Seminar richtet sich an fortgeschrittene Studierende in einem Diplom- oder Masterstudiengang, die sich im Bereich Theoretische Informatik spezialisieren wollen. Die Teilnahme am Seminar setzt Kenntnisse, die in den Vorlesungen "Ausgewählte Kapitel der Logik", "Logik und Komplexität" oder "Einführung in die Datenbanktheorie" vermittelt werden, voraus.


Ort und Zeit

Zeit und Raum
i.d.R. Mittwochs, 15:30-17:00 Uhr im Johann von Neumann-Haus (Rudower Chaussee 25), Raum 3.408
 
Veranstalter/in
Prof. Dr. Nicole Schweikardt

Vorträge

Nach und nach wird hier eine Liste der Vortragstermine angegeben.

Datum Vortragende/r Thema
29.05.19 Nicole Schweikardt Vorbesprechung und Themenvergabe
19.06.19 13:15 Hubie Chen (Univ. London) Gastvortrag: "PODS '19 preview": "Testability of Homomorphism Inadmissibility: Property Testing Meets Database Theory" und "The Selfish Models Property: Bounding the Complexity of Query Containment and Entailment Problems"
10.07.19 13:15 Cristian Riveros (Univ. Chile) Gastvortrag: "Efficient log-space complexity classes for enumeration, counting, and uniform generation" (Best-Paper-Award winning PODS'19 paper)
24.07.19 alle Seminarteilnehmer Blockseminar


Mögliche Vortragsthemen

  1. Document Spanners: A Formal Approach to Information Extraction. Ronald Fagin, Benny Kimelfeld, Frederick Reiss, Stijn Vansummeren. Journal of the ACM 62(2): 12:1-12:51, 2015. LINK.
    1-3 Vorträge: Sections 1-3, Section 4, Sections 5-7.
  2. Constant Delay Algorithms for Regular Document Spanners. Fernando Florenzano, Cristian Riveros, Martín Ugarte, Stijn Vansummeren, Domagoj Vrgoc. Proceedings of the 37th Symposium on Principles of Database Systems (PODS 2018), pages 165-177, 2018. LINK.
    1 Vortrag.
  3. Constant-Delay Enumeration for Nondeterministic Document Spanners. Antoine Amarilli, Pierre Bourhis, Stefan Mengel and Matthias Niewerth. Proceedings of the 22nd International Conference on Database Theory (ICDT 2019), pages 20:1-20:18, 2019. LINK.
    1 Vortrag.
  4. The Dynamic Yannakakis Algorithm: Compact and Efficient Query Processing Under Updates. Muhammad Idris, Martín Ugarte, Stijn Vansummeren. Proceedings of the 2017 ACM International Conference on Management of Data (SIGMOD 2017), pages 1259-1274. LINK.
    1 Vortrag.
  5. Conjunctive Queries with Inequalities Under Updates. Muhammad Idris, Martín Ugarte, Stijn Vansummeren, Hannes Voigt, Wolfgang Lehner. PVLDB 11(7): 733-745, 2018. LINK.
    1 Vortrag.
  6. Answering Conjunctive Queries under Updates. Christoph Berkholz, Jens Keppeler, Nicole Schweikardt. Proceedings of the 36th Symposium on Principles of Database Systems (PODS 2017), pages 303-318, 2017. LINK.
    1 Vortrag (Sections 1-5 und 7 sowie Appendix A und B).
  7. Enumeration Complexity of Conjunctive Queries with Functional Dependencies. Nofar Carmeli und Markus Kröll. Proceedings of the 21st International Conference on Database Theory (ICDT 2018), pages 11:1-11:17, 2018. LINK.
    1 Vortrag.
  8. Enumeration Complexity of Unions of Conjunctive Queries. Nofar Carmeli und Markus Kröll. Proceedings of the 38th Symposium on Principles of Database Systems (PODS 2019), to appear. Preliminary version available at CoRR, volume abs/1812.03831, 2018. LINK.
    1 Vortrag.
  9. Ranked Enumeration of Conjunctive Query Results. Shaleen Deep, Paraschos Koutris. Technischer Bericht, CoRR, volume abs/1902.02698, 2019. LINK
    1 Vortrag
  10. Enumeration Complexity of Logical Query Problems with Second-order Variables. Arnaud Durand, Yann Strozecki. Proceedings of the 25th International Workshop / 20th Annual Conference of the EACSL (CSL 2011), pages 189-202, 2011. LINK.
    1 Vortrag.

Spielregeln

Zum Bestehen des Moduls sind nötig:
  1. Rechtzeitige Vereinbarung und Wahrnehmung eines Sprechstundentermins, der mindestens 1 Woche vor dem eigenen Seminarvortrag stattfindet und während dem ein detailliertes Vortragskonzept inkl. Vortragsfolien/Tafellayout vorgelegt wird,
  2. einen Vortrag zu einem der oben genannten Themen zu halten (Dauer: 60 Minuten, plus 10 Minuten zur Diskussion und zur Klärung von Fragen aus dem Publikum),
  3. Anwesenheit an mind. 75% aller Vorträge und
  4. Abgabe einer schriftlichen Ausarbeitung des Vortragsthemas: Länge ca 5 Seiten (mindestens 4, maximal 7), Layout wie in der Layout-Vorlage angegeben, Deadline: Ende des Sommersemesters 2019, also 30.09.2019, 23h59 AoE, als pdf-Datei per Email zu senden an Prof. Dr. Nicole Schweikardt.

Last modified: 08.07.2019
Nicole Schweikardt