ANR VERIGRAPH (ANR VERIGRAPH)
Description du projet : Requêtes et transformations vérifiables pour les graphes. Bien que la notion de "property graphs" soit largement utilisée comme modèle de données flexible dans de nombreuses applications, les systèmes actuels de traitement de base de données de graphes ne jouissent pas pour le moment de sémantique formelle bien définie sous-jacente aux langage de requête et pour les spécifications de "mappings". Ce sont, cependant, les principaux éléments constitutifs des systèmes modernes de traitement et d'intégration de données. 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 conception et la spécification d'une nouvelle norme pour un langage d'interrogation de graphes poursuivi par l'Organisation Internationale de Normalisation en collaboration avec les principaux fournisseurs de bases de données de graphes.Tutelle gestionnaire : Université Claude Bernard Lyon 1
Dates du contrat : 01/10/2021 - 31/08/2027
Équipe : BD
Responsable scientifique LIRIS : Angela Bonifati
Partenaires : Département d'Informatique de l'Ecole Normale Supérieure de Paris, Laboratoire d'Informatique de Grenoble
URL : https://anr.fr/Projet-ANR-21-CE48-0015