Bottom-up automata on data trees and vertical XPath - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Logical Methods in Computer Science Année : 2017

Bottom-up automata on data trees and vertical XPath

Résumé

A data tree is a finite tree whose every node carries a label from a finite alphabet and a datum from some infinite domain. We introduce a new model of automata over unranked data trees with a decidable emptiness problem. It is essentially a bottom-up alternating automaton with one register that can store one data value and can be used to perform equality tests with the data values occurring within the subtree of the current node. We show that it captures the expressive power of the vertical fragment of XPath —containing the child, descendant, parent and ancestor axes— obtaining thus a decision procedure for its satisfiability problem.
Fichier principal
Vignette du fichier
1710.08748.pdf (2.76 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01631219 , version 1 (20-02-2018)

Identifiants

Citer

Diego Figueira, Luc Segoufin. Bottom-up automata on data trees and vertical XPath. Logical Methods in Computer Science, 2017, 13 (4), ⟨10.23638/LMCS-13(4:5)2017⟩. ⟨hal-01631219⟩
237 Consultations
72 Téléchargements

Altmetric

Partager

More