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.