Polyflow

English

The project is motivated by two observations: (i) there is currently a shift from relational to Graph Databases (GDBs) that still suffer from a lack of a formal semantics; (ii) GDBs not only have to be queried, but also transformed in a meaningful and reliable way. The project will address these issues by making decisive contributions at the interface of GDBs and Programming Language Theory, by (1) enriching GDBs 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 formal semantics of a new ISO Standard for a GDB query language, along with property graph transformations for data integration and data curation.

French

Le projet est motivé par deux observations: (i) il y a actuellement une mouvance partant des bases de données (BDs) relationnelles vers des BDs orientées graphe (GBDs) qui souffrent d’un manque de sémantique formelle; (ii) Les GDBs doivent non seulement être interrogées, mais aussi transformées de manière sémantiquement correcte et fiable. Le projet apportera des solutions à ces verrous avec des contributions décisives à l’interface des GBDs et des langages de programmation, en (1) enrichissant les GBDs avec des informations sémantiques formelles; (2) influençant la définition de la prochaine génération de langages de requêtes pour graphes (3) définissant des langages de transformations et de mapping de schéma avec une sémantique formelle et la vérification de contraintes de consistance. Le projet aura un impact considérable sur la sémantique formelle des langages de GBDs, ainsi que sur les transformations de graphes pour l’intégration et le nettoyage de données.