Data Path Queries over Embedded Graph Databases - Archive ouverte HAL
  Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Communication Dans Un Congrès Année : 2022

Data Path Queries over Embedded Graph Databases

Résumé

This paper initiates the study of data-path query languages (in particular, regular data path queries (RDPQ) and conjunctive RDPQ (CRDPQ)) in the classic setting of embedded finite model theory, wherein each graph is "embedded" into a background infinite structure (with a decidable FO theory or fragments thereof). Our goal is to address the current lack of support for typed attribute data (e.g. integer arithmetics) in existing data-path query languages, which are crucial in practice. We propose an extension of register automata by allowing powerful constraints over the theory and the database as guards, and having two types of registers: registers that can store values from the active domain, and read-only registers that can store arbitrary values. We prove NL data complexity for (C)RDPQ over the Presburger arithmetic, the real-closed field, the existential theory of automatic structures and word equations with regular constraints. All these results strictly extend the known NL data complexity of RDPQ with only equality comparisons, and provides an answer to a recent open problem posed by Libkin et al. Among others, we introduce one crucial proof technique for obtaining NL data complexity for data path queries over embedded graph databases called "Restricted Register Collapse (RRC)", inspired by the notion of Restricted Quantifier Collapse (RQC) in embedded finite model theory.
Fichier principal
Vignette du fichier
main.pdf (2.56 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03684553 , version 1 (01-06-2022)

Identifiants

  • HAL Id : hal-03684553 , version 1

Citer

Diego Figueira, Artur Jeż, Anthony W Lin. Data Path Queries over Embedded Graph Databases. Symposium on Principles of Database Systems (PODS), Jun 2022, Philadelphia, United States. ⟨hal-03684553⟩

Collections

77 Consultations
120 Téléchargements

Partager

More