Database Theory
Aus International Center for Computational Logic
Database Theory
Lehrveranstaltung mit SWS 4/2/0 (Vorlesung/Übung/Praktikum) in SS 2018
Dozent
Tutor
Umfang (SWS)
- 4/2/0
Module
Leistungskontrolle
- Mündliche Prüfung
This course covers the fundamental concepts as well as advanced topics of database theory.
Key topics are:
To write.
Schedule and Location
- The weekly lecture sessions will take place on Tuesdays DS2 and DS3 (11:10 to 12:40) and DS, and Wednesdays DS6 (16:40 to 18:10).
- The weekly exercise session will take place on Tuesdays DS5 (14:50 to 16:20).
- The first exercise will take place in the second week, i.e., on 17 Oct 2017
- All sessions will take place in room APB/E005.
Veranstaltungskalender abonnieren (icalendar)
| Vorlesung | Introduction/Relational Data Model | DS2, 10. April 2018 in APB E005 | Datei 1, Datei 2 |
| Vorlesung | First-Order Queries | DS3, 10. April 2018 in APB E005 | Datei 1, Datei 2 |
| Vorlesung | Query Answering Complexity | DS2, 17. April 2018 in APB E005 | Datei 1, Datei 2 |
| Vorlesung | FO Query Answering Complexity (I) | DS3, 17. April 2018 in APB E005 | Datei 1, Datei 2 |
| Übung | Relational Algebra | DS5, 17. April 2018 in APB E005 | Datei |
| Übung | First-Order Queries | DS5, 24. April 2018 in APB E005 | Datei |
| Vorlesung | FO Query Answering Complexity (II) | DS2, 8. Mai 2018 in APB E005 | Datei 1, Datei 2 |
| Vorlesung | Conjunctive Queries | DS3, 8. Mai 2018 in APB E005 | Datei 1, Datei 2 |
| Übung | First-order Query Complexity | DS5, 8. Mai 2018 in APB E005 | Datei |
| Vorlesung | Tree-Like Conjunctive Queries (1) | DS2, 15. Mai 2018 in APB E005 | Datei 1, Datei 2 |
| Vorlesung | Tree-Like Conjunctive Queries (2) | DS3, 15. Mai 2018 in APB E005 | Datei 1, Datei 2 |
| Übung | Conjunctive Queries, CSP, and Hypergraphs | DS5, 15. Mai 2018 in APB E005 | Datei |
| Vorlesung | Query Optimisation | DS2, 29. Mai 2018 in APB E005 | Datei 1, Datei 2 |
| Vorlesung | Conjunctive Query Optimisation | DS3, 29. Mai 2018 in APB E005 | Datei 1, Datei 2 |
| Übung | Treewidth and Hypertreewidth | DS5, 29. Mai 2018 in APB E005 | Datei |
| Vorlesung | Query language expressivity | DS2, 5. Juni 2018 in APB E005 | Datei 1, Datei 2 |
| Vorlesung | Expressivity of FO queries | DS3, 5. Juni 2018 in APB E005 | |
| Übung | Trakhtenbrot's Theorem | DS5, 5. Juni 2018 in APB E005 | Datei |
| Vorlesung | Introduction to Datalog | DS2, 12. Juni 2018 in APB E005 | Datei 1, Datei 2 |
| Vorlesung | Datalog Complexity | DS3, 12. Juni 2018 in APB E005 | |
| Übung | Query Optimsation | DS5, 12. Juni 2018 in APB E005 | Datei |
| Vorlesung | Datalog Expressivity and Query Containment | DS2, 19. Juni 2018 in APB 1004 | Datei 1, Datei 2 |
| Vorlesung | Datalog Implementation (1) | DS3, 19. Juni 2018 in APB 1004 | Datei 1, Datei 2 |
| Übung | Datalog | DS5, 19. Juni 2018 in APB 1004 | Datei |
| Vorlesung | Datalog Implementation (2) | DS2, 26. Juni 2018 in APB E005 | Datei 1, Datei 2 |
| Vorlesung | Graph Databases | DS3, 26. Juni 2018 in APB E005 | Datei 1, Datei 2 |
| Übung | Semi-positive Datalog | DS5, 26. Juni 2018 in APB E005 | Datei 1, Datei 2 |
| Vorlesung | Regular Path Queries | DS2, 3. Juli 2018 in APB E005 | Datei 1, Datei 2 |
| Vorlesung | Dependencies | DS3, 3. Juli 2018 in APB E005 | Datei 1, Datei 2 |
| Übung | Datalog Evaluation | DS5, 3. Juli 2018 in APB E005 | Datei |
| Vorlesung | The Chase | DS2, 10. Juli 2018 in APB E005 | Datei 1, Datei 2 |
| Vorlesung | Chase Termination and Acyclicity | DS3, 10. Juli 2018 in APB E005 | |
| Übung | Graph Databases and Path Queries | DS5, 10. Juli 2018 in APB E005 | Datei |
| Vorlesung | Query Answering Beyond Acyclic TGDs | DS2, 17. Juli 2018 in APB E005 | Datei 1, Datei 2 |
| Vorlesung | Summary and Outlook | DS3, 17. Juli 2018 in APB E005 | Datei 1, Datei 2 |
| Übung | Dependencies | DS5, 17. Juli 2018 in APB E005 | Datei |
Kalender
