View-based query determinacy and rewritings over graph databases

Nadime Francis 1, 2
2 DAHU - Verification in databases
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Résumé : Les graphes de données sont naturellement utilisés dans de nombreux contextes incluant par exemple les réseaux sociaux ou le Web sémantique. L'information contenue dans la base de données se trouve alors aussi bien dans les données mêmes que dans la topologie du graphe, c'est-à-dire dans la manière dont les données sont connectées. Cela implique donc de considérer les questions traditionnelles en théorie des bases de données pour des langages de requêtes capables de parler des chemins connectant les nœuds du graphe. Nous nous intéressons en particulier aux problèmes de la déterminabilité et de la réécriture d'une requête à l'aide de vues. Il s'agit alors de décider si une vue de la base de données contient suffisamment d'information pour répondre entièrement à une requête sans consulter la base de données directement, et dans ce cas, d'exprimer explicitement la réponse à la requête à partir de la vue. Ce cadre rencontre de nombreuses applications, notamment pour l'intégration de données et l'optimisation de requêtes. Nous commençons par comparer ces deux questions aux autres problèmes de décision classiques dans ce contexte : calcul des réponses certaines, test de cohérence et mise à jour d'une instance de vue. Nous améliorons ensuite ces résultats dans deux cas spécifiques. Tout d'abord, nous montrons que pour les requêtes régulières de chemin, l'existence d'une réécriture monotone coïncide avec l'existence d'une réécriture dans Datalog. Puis, nous montrons que pour des vues s'intéressant uniquement aux longueurs des chemins du graphe, une notion plus faible de déterminabilité, appelée déterminabilité asymptotique, est décidable et résulte en des réécritures du premier ordre.
Type de document :
Thèse
Databases [cs.DB]. Université Paris-Saclay, 2015. English. 〈NNT : 2015SACLN015〉
Liste complète des métadonnées

Littérature citée [43 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/tel-01247115
Contributeur : Abes Star <>
Soumis le : mercredi 6 janvier 2016 - 13:45:09
Dernière modification le : mercredi 30 mai 2018 - 13:54:01

Fichier

73123_FRANCIS_2015_archivage.p...
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01247115, version 2

Citation

Nadime Francis. View-based query determinacy and rewritings over graph databases. Databases [cs.DB]. Université Paris-Saclay, 2015. English. 〈NNT : 2015SACLN015〉. 〈tel-01247115v2〉

Partager

Métriques

Consultations de la notice

743

Téléchargements de fichiers

250