Paper: Defining Schemas for Property Graphs by using the GraphQL Schema Definition Language
Olaf Hartig from Linköping University, partner of SPIRIT project, presents the paper: "Defining Schemas for Property Graphs by using the GraphQL Schema Definition Language", at the Int. Workshop on Graph Data Management Experiences & Systems (GRADES), that will take place during the ACM SIGMOD 2019 conference in Amsterdam at the end of June.
The paper provides a formal definition of the schema definition approach Linköping University is applying for the SPIRIT content DB, and it shows results regarding computational properties of the approach; in particular, it shows that the schema validation problem for the approach has a very low computational complexity (it is in AC0) and the satisfiability problemis NP-hard.See the paper here
Olaf Hartig, Linköping University