A Compositional Language for Property Graphs
Cet article traite du manque de compositionnalité des langages de requête de graphes standardisés GQL et SQL/PGQ en proposant un nouveau langage compositionnel qui combine les requêtes de chemin régulières avec une extension graphe-à-graphe #Datalog entièrement compositionnelle afin de combler les écarts d'expressivité et de permettre la construction de nouveaux éléments de graphe.
Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète
Imaginez que vous essayez de donner des indications à un ami en utilisant une carte. Dans le monde de la donnée, cette carte est appelée un Graphe de Propriétés. C'est un réseau de points (personnes, comptes, produits) et de lignes (relations, transferts, connexions) où chaque point et chaque ligne peut avoir de petites notes attachées, comme un « solde » ou un « horodatage ».
Récemment, deux nouveaux recueils de règles officiels pour poser des questions sur ces cartes ont été créés : GQL et SQL/PGQ. Considérez-les comme les « codes de la route » pour naviguer dans les données. Les auteurs de ce document soutiennent que ces nouveaux recuecles de règles présentent une faille majeure : ils ne sont pas compositionnels.
Le Problème : La « Chaîne Brisée »
Pour comprendre la « compositionnalité », imaginez que vous construisez une chaîne de trombones en papier.
- Compositionnel : Vous pouvez prendre une chaîne terminée, regarder le dernier maillon, et y attacher immédiatement le suivant. L'ensemble reste connecté.
- Non-compositionnel (le problème actuel) : Dans les nouveaux recueils de règles, si vous construisez une chaîne de connexions et que vous essayez d'ajouter un autre maillon à la fin, le système oublie les détails des maillons précédents. C'est comme essayer de construire une chaîne, mais chaque fois que vous ajoutez un nouveau maillon, le système abandonne le précédent et repart d'une page blanche.
L'exemple du monde réel :
Le document donne un exemple bancaire.
- Requête facile : « Trouver deux comptes bancaires où l'argent augmente à chaque transfert entre eux. » Les recueils de règles actuels peuvent faire cela facilement.
- La requête difficile : « Trouver deux comptes bancaires où l'heure des transferts augmente à chaque étape. »
- Imaginez une chaîne de transferts se déroulant à 11h00, 12h00, 13h00 et 14h00.
- Les recueils de règles actuels échouent ici. Pourquoi ? Parce que lorsqu'ils essaient de vérifier l'heure du transfert suivant, ils perdent la mémoire de l'heure du transfert précédent. Ils ne peuvent pas « coller » les étapes ensemble pour voir l'ensemble de la chronologie croissante.
C'est étrange car ces recueils de règles sont censés être assez puissants pour résoudre presque n'importe quel puzzle logique (mathématiquement, ils devraient gérer les problèmes « NLOGSPACE »), mais ce simple puzzle de « temps croissant » les fait échouer.
La Solution : Deux Nouveaux Outils
Les auteurs proposent deux nouveaux outils pour réparer cette chaîne brisée. Considérez cela comme une meilleure paire de ciseaux et une nouvelle sorte de colle.
Outil 1 : Le « Chemin Symétrique » (RPQVs)
Actuellement, les recueils de règles traitent les Nœuds (points) et les Arêtes (lignes) différemment. C'est comme un jeu où vous ne pouvez marcher que sur les points, mais les lignes entre eux sont invisibles ou se comportent bizarrement.
- La correction : Les auteurs proposent une nouvelle façon d'écrire des chemins où les points et les lignes sont traités de manière égale. Vous pouvez commencer sur une ligne, finir sur une ligne, et le système se souvient de chaque étape et de ses détails (comme le temps ou le montant) sans perdre la mémoire.
- L'analogie : Au lieu d'un jeu où vous devez sauter d'île en île, en oubliant le pont que vous venez de traverser, ce nouvel outil vous permet de marcher sur les ponts tout en tenant un journal de bord de chaque étape que vous avez franchie.
Outil 2 : Le « Constructeur de Graphe » (#Datalog)
Parfois, la réponse à une question n'est pas seulement de trouver un chemin ; c'est de construire une nouvelle carte basée sur l'ancienne.
- La correction : Les auteurs introduisent un langage appelé #Datalog. Cela vous permet de prendre les résultats d'une requête et de les transformer en de tout nouveaux points et de nouvelles lignes sur la carte.
- L'analogie : Imaginez que vous avez la carte d'une ville. Vous trouvez toutes les rues avec un trafic croissant. Au lieu de simplement les lister, #Datalog vous permet de prendre ces rues et de construire physiquement une nouvelle autoroute les reliant. Vous pouvez ensuite poser des questions sur cette nouvelle autoroute.
- Cela crée une boucle de rétroaction : Vous interrogez la carte Vous construisez une nouvelle partie de la carte Vous interrogez la nouvelle partie. Les recueils de règles actuels ne permettent pas de construire la nouvelle partie ; ils ne permettent que de regarder l'ancienne.
Le Résultat : Une Boîte à Outils Complète
En combinant ces deux outils, les auteurs montrent que vous pouvez enfin poser n'importe quelle question logique sur le graphe qu'un ordinateur peut raisonnablement résoudre, sans avoir besoin d'utiliser des contournements compliqués et lents qui font planter l'ordinateur ou tournent pendant des heures.
Ils proposent d'ajouter ces fonctionnalités aux standards officiels de GQL et SQL/PGQ.
- Compatibilité ascendante : Ils promettent que l'ajout de ces nouveaux outils ne cassera pas les requêtes existantes. C'est comme ajouter une nouvelle voie à une autoroute ; les anciennes voitures peuvent toujours rouler dans les anciennes voies, mais il y a maintenant une voie rapide pour les trajets complexes.
- L'objectif : Faire en sorte que les « codes de la route » pour les graphes de données soient logiques, cohérents et suffisamment puissants pour gérer le raisonnement complexe nécessaire à la détection de la fraude, aux chaînes d'approvisionnement et à l'analyse financière.
En résumé, le document dit : « Les nouveaux recueils de règles pour les graphes de données manquent d'une pièce clé de logique qui leur fait oublier le passé. Nous avons conçu une correction simple et élégante qui permet au système de se souvenir de tout le voyage et même de construire de nouvelles routes pendant qu'il roule, rendant le langage complet et prêt pour l'avenir. »
Noyé(e) sous les articles dans votre domaine ?
Recevez des digests quotidiens des articles les plus récents correspondant à vos mots-clés de recherche — avec des résumés techniques, dans votre langue.