Static Analysis of Graph Database Transformations

Type de document :
Communication dans un congrès avec actes
Titre :
Static Analysis of Graph Database Transformations
Auteur(s) :
Boneva, Iovka [Auteur] refId
Linking Dynamic Data [LINKS]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Groz, Benoit [Auteur]
Données et Connaissances Massives et Hétérogènes - LISN [LaHDAK]
Laboratoire Interdisciplinaire des Sciences du Numérique [LISN]
Hidders, Jan [Auteur]
Birkbeck College [University of London]
Murlak, Filip [Auteur]
Uniwersytet Warszawski [Polska] = University of Warsaw [Poland] = Université de Varsovie [Pologne] [UW]
Staworko, Slawomir [Auteur]
Linking Dynamic Data [LINKS]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Titre de la manifestation scientifique :
Symposium on Principles of Database Systems
Ville :
Seattle
Pays :
Etats-Unis d'Amérique
Date de début de la manifestation scientifique :
2023-06-18
Mot(s)-clé(s) en anglais :
graph databases
data transformations
graph schemas
Discipline(s) HAL :
Informatique [cs]/Base de données [cs.DB]
Résumé en anglais : [en]
We investigate graph transformations, defined using Datalog-like rules based on acyclic conjunctive two-way regular path queries (acyclic C2RPQs), and we study two fundamental static analysis problems: type checking and ...
Lire la suite >
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Non
Collections :
Source :
Harvested from HAL
Fichiers
Thumbnail
Thumbnail