Basic Model Theory of XPath on Data Trees - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Basic Model Theory of XPath on Data Trees

Résumé

We investigate model theoretic properties of XPath with data (in)equality tests over the class of data trees, i.e., the class of trees where each node contains a label from a finite alphabet and a data value from an infinite domain. We provide notions of (bi)simulations for XPath logics containing the child, descendant, parent and ancestor axes to navigate the tree. We show that these notions precisely characterize the equivalence relation associated with each logic. We study formula complexity measures consisting of the number of nested axes and nested subformulas in a formula; these notions are akin to the notion of quantifier rank in first-order logic. We show characterization results for fine grained notions of equivalence and (bi)simulation that take into account these complexity measures. We also prove that positive fragments of these logics correspond to the formulas preserved under (non-symmetric) simulations. We show that the logic including the child axis is equivalent to the fragment of first-order logic invariant under the corresponding notion of bisimulation. If upward navigation is allowed the characterization fails but a weaker result can still be established. These results hold over the class of possibly infinite data trees and over the class of finite data trees. Besides their intrinsic theoretical value, we argue that bi-simulations are useful tools to prove (non)expressivity results for the logics studied here, and we substantiate this claim with examples.
Fichier principal
Vignette du fichier
hal.pdf (1.03 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01793608 , version 1 (16-05-2018)

Identifiants

  • HAL Id : hal-01793608 , version 1

Citer

Diego Figueira, Santiago Figueira, Carlos Areces. Basic Model Theory of XPath on Data Trees. 17th International Conference on Database Theory (ICDT), Mar 2014, Athens, Greece. ⟨hal-01793608⟩

Collections

TDS-MACS
67 Consultations
25 Téléchargements

Partager

Gmail Facebook X LinkedIn More