Musings on Graph Data, Schemas, Modality, and Coinduction

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Musings on Graph Data, Schemas, Modality, and Coinduction

Vortrag von Stephan Mennicke
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.