Efficiency Datalog Engine for Formal Research
Event details
| Date | 17.06.2026 |
| Hour | 10:00 › 12:00 |
| Speaker | Christian Fattebert |
| Location | |
| Category | Conferences - Seminars |
EDIC candidacy exam
Exam president: Prof. Martin Odersky
Thesis advisor: Prof. Christoph Koch
Co-examiner: Prof. Viktor Kuncak
Abstract
Datalog engines are starting to show their potential in a wide range of data-intensive applications. This thesis will investigate techniques for developing a fast Datalog engines, specifically focusing on datalog program rewriting and cost-based optimization for recursive queries. Furthermore, I will explore how Datalog can be specialized for specific tasks, such as static program analysis.
Selected papers
coming soon
Exam president: Prof. Martin Odersky
Thesis advisor: Prof. Christoph Koch
Co-examiner: Prof. Viktor Kuncak
Abstract
Datalog engines are starting to show their potential in a wide range of data-intensive applications. This thesis will investigate techniques for developing a fast Datalog engines, specifically focusing on datalog program rewriting and cost-based optimization for recursive queries. Furthermore, I will explore how Datalog can be specialized for specific tasks, such as static program analysis.
Selected papers
coming soon
Practical information
- General public
- Free