Verifiable Graph Queries and Transformations – VeriGraph
Despite the wide use of property graphs as a flexible data model for numerous applications and use cases, the current graph processing systems lack foundations for well-defined semantics of the underlying graph query languages and mapping specifications. These are however the principal building blocks of modern graph processing and graph data integration systems. The project VeriGraph is thus motivated by two main observations. First, there is currently a shift from relational to Graph Databases that still suffer from the lack of a formal semantics. Second, graph databases need to be both queried and also transformed in a meaningful and reliable way. The project will address these issues by making decisive contributions at the interface of Graph Databases and Programming Language Theory, by (1) enriching graph databases with formal semantic information; (2) verifying and informing the design of the next generation of graph query languages; (3) defining graph transformation and schema mapping languages with a formal semantics to permit fully automated verification of enforcement of consistency constraints. The project will have a considerable impact on the design and specification of a new standard for a graph query language pursued by the International Organization for Standardization together with the key graph database vendors. The project will in addition significantly advance our understanding of property graph transformations for data integration and data curation.
Monsieur Leonid Libkin (Département d'Informatique de l'Ecole Normale Supérieure)
The author of this summary is the project coordinator, who is responsible for the content of this summary. The ANR declines any responsibility as for its contents.
LIG Laboratoire d'Informatique de Grenoble
LIRIS UMR 5205 - LABORATOIRE D'INFORMATIQUE EN IMAGE ET SYSTEMES D'INFORMATION
DI ENS Département d'Informatique de l'Ecole Normale Supérieure
Help of the ANR 440,784 euros
Beginning and duration of the scientific project: February 2022 - 48 Months