Pablo Barceló (Universidad Católica de Chile)
Diego Figueira (LaBRI, Université de Bordeaux)
Abstract: In this course we survey results on querying graph-structured data. We put a focus on complexity, expressive power, and static analysis optimization and we present various general-purpose navigational query languages, such as the regular path queries and its extensions with conjunctions, inverses, path comparisons, and abilities to talk about data values. The course material should be useful to anyone with an interest in query languages for graph structured data, and more broadly in foundational aspects of database theory. This course has some technically demanding parts, and should appeal mainly to an audience from Logic, Automata, and Database theory.