Query- and Specification Languages for Graph- and Grid-Structured Data

图结构数据是数据库理论研究的基本数据格式之一，目前正迅速得到重视。原因是RDF在表示Web上的资源信息方面变得非常流行，而图结构数据由于其灵活性而在数据分析上下文中分析高度连接的数据时变得流行起来。在这个项目中，我们想要研究图结构数据的基本原理的一个重要部分，特别是模式和转换语言的基础、网格结构数据的基础、查询的分析和评估、查询结果的解释和实践研究。该项目的一个重点是关于图上的导航查询，可选地使用传递闭包操作符。该项目是以理论为导向的，但也有一个目标是让理论和实践更紧密地联系在一起。

Graph-structured data is one of the fundamental data formats that are studied in database theory and is currently rapidly gaining importance. The reasons are that RDF has become very popular for representing information about resources on the Web and graph-structured data is, due to its flexibility, becoming popular for analysing highly connected data in a data analytics context. In this project we want to investigate an important part of the underlying principles of graph structured data, notably foundations of schema- and transformation languages, foundations of grid-structured data, analysis and evaluation of queries, explanations of query results, and practical studies. A focus of the project is on navigational queries over graphs, optionally with transitive closure operators. The project is theoretically oriented, but also has a goal to bring theory and practice closer together.