Musings on Graph Data, Schemas, Modality, and Coinduction
Aus International Center for Computational Logic
Musings on Graph Data, Schemas, Modality, and Coinduction
Vortrag von Stephan Mennicke
- Veranstaltungsort: APB 3027
- Beginn: 6. Juni 2024 um 11:00
- Ende: 6. Juni 2024 um 12:00
- Forschungsgruppe: Wissensbasierte Systeme
- Event series: Research Seminar Logic and AI
- iCal
In this talk, I'll report on a schema model for graph databases I thought about in late April 2019. The model itself has some nice theoretical and, admittedly, some weird practical consequences. The talk will provide some light in both directions. Up until the submission of my PhD thesis in October 2019, I developed the schema model further and in that very moment, after the submission, itself and any continuation on that line of research practically died. This talk will be about its recent revival and potential continuations.