Aktuelles
-
Die für den 22.6. und 13.7. geplanten Vorträge entfallen.
-
Zur Info: Am Mittwoch, den 11.5.16 fand die Veranstaltung The
Digital Future — 75 years Zuse Z3 and the digital revolution statt
(Ort: KOSMOS, Karl-Marx-Allee 131a, Berlin)
-
Die Vorbesprechung, Themenvergabe und Festlegung weiterer Termine fand in
der zweiten Vorlesungswoche,
am Mittwoch, den 27.04.2016, um 15:30-17:00 Uhr in Raum 3.408 (Johann von Neumann-Haus) statt.
Einführung
Anhand von Originalarbeiten und ergänzender Literatur werden im Seminar
aktuelle Themen im Bereich 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 Master- oder
Diplomstudiengang, die sich im Bereich Logik und Datenbanktheorie spezialisieren wollen.
Die Teilnahme am Seminar setzt Kenntnisse, die in den Vorlesungen "Logik
in der Informatik" und "Einführung in die Datenbanktheorie"
vermittelt werden, voraus.
Ort und Zeit
- Zeit und Raum
-
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
|
| 27.4.16 |
N. Schweikardt |
Vorbesprechung, Themenvergabe und Festlegung weiterer Termine |
| 18.5.16 |
N. Schweikardt |
Einführung ins Thema "enumeration of query results" |
| 25.5.16 |
N. Schweikardt |
Einführung ins Thema "join evaluation":
gemeinsames Schauen der Videoaufzeichnung des Vortrags
"The Relational Join: New Theory and New Applications" von Prof. Christopher
Ré und der
zugehörigen Vortragsfolien
[Anmerkung: Der Vortrag war
eine Keynote
bei der Konferenz EDBT/ICDT
2014]
|
| 01.6.16 |
N. Schweikardt |
Einführung ins Thema "3-valued logic and certain answers":
Vortrag basierend auf der Einleitung der Arbeit "Incomplete data: what went
wrong, and how to fix it" von Leonid Libkin
(Proc. PODS 2014, pp. 1-13)
[Anmerkung: Die genannte Arbeit basiert auf einer Keynote bei
der Konferenz PODS 2014]
|
| 22.6.16 |
|
Vortrag zu Thema 3: Acyclic Conjunctive Queries and Constant Delay
Enumeration
Der Vortrag entfällt |
| 29.6.16 |
Marie Schaeffer |
Vortrag zu Thema 2: MSO queries on trees — enumerating answers under updates |
| 06.7.16 |
Jens Keppeler |
Aktuelle Forschungsresultate zum Thema "constant delay enumeration" |
| 13.7.16 |
|
Vortrag zu Thema 4: Leapfrog Triejoin — A simple, worst-case
optimal join algorithm
Der Vortrag entfällt |
| 20.7.16 |
Frank Lange |
Vortrag zu Thema 6: SQL's 3-valued logic and certain answers |
Mögliche Vortragsthemen
-
Faster decision
of first-order graph properties von Ryan Williams.
Proc. CSL-LICS 2014, article no. 80, 2014.
-
MSO queries on
trees: enumerating answers under updates.
Katja Losemann, Wim Martens.
Proc. CSL-LICS 2014, article no. 67, 2014.
-
On
Acyclic Conjunctive Queries and Constant Delay Enumeration.
Guillaume Bagan, Arnaud Durand, Etienne Grandjean.
Proc. CSL 2007, pages 208-222, 2007.
-
Leapfrog Triejoin: A Simple, Worst-Case Optimal Join
Algorithm von Todd L. Veldhuizen. Proc. ICDT 2014, pages 96-106, 2014.
-
Efficient Approximations of Conjunctive Queries von Pablo
Barceló, Leonid Libkin, Miguel Romero.
SIAM Journal on Computing 43(3): 1085-1130, 2014.
-
SQL's Three-Valued Logic and Certain Answers von Leonid
Libkin. Proc. ICDT 2015, pages 94-109, 2015.
Mehr Informationen finden sich in der zugehörigen Zeitschriftenarbeit:
SQL's Three-Valued Logic and Certain Answers von Leonid
Libkin. ACM Trans. Database Syst. 41(1): 1 (2016)
-
Efficient
Enumeration for Conjunctive Queries over X-underbar Structures.
Guillaume Bagan, Arnaud Durand, Emmanuel Filiot, Olivier Gauwin.
Proc. CSL 2010, pages 80-94, 2010.
-
Enumeration
Complexity of Logical Query Problems with Second-order Variables.
Arnaud Durand, Yann Strozecki.
Proc. CSL 2011, pages 189-202, 2011.
Spielregeln
Zum Bestehen des Moduls sind nötig:
-
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),
-
Anwesenheit an mind. 75% aller Vorträge und
-
Abgabe einer schriftlichen Ausarbeitung des Vortragsthemas:
Länge ca 5 Seiten (mindestens 4, maximal 7),
Layout wie in
der Layout-Vorlage
angegeben, Deadline: Ende der Vorlesungszeit des Sommersemesters 2016 (also:
23.07.2016 23.08.2016, 23:59 Uhr),
als pdf-Datei per Email zu senden
an Prof. Dr. Nicole Schweikardt.
