Decidability of downward XPath

DOI10.1145/2362355.2362362MaRDI QIDQ2946683zbMATH OpenOpenAlexFDO

Authors Diego Figueira

Publication date 17 September 2015

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2362355.2362362

zbMATH Keywords

data treedata valuesDD automatadownward data automataemptinessextensible languageinfinite alphabetsatisfiabilityXMLXPath

Mathematics Subject Classification ID

Database theory (68P15) Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45)

Recommendations

• Alternating automata on data trees and XPath satisfiability
• XPath satisfiability in the presence of DTDs
• scientific article; zbMATH DE number 5999538
• Definability for downward and vertical XPath on data trees
• Bottom-up automata on data trees and vertical \(\mathsf{XPath}\)

Cited in

(15)

• On regular paths with counting and data tests
• Axiomatizations for downward XPath on data trees
• Hilbert-style axiomatization for hybrid XPath with data
• An extension of data automata that captures XPath
• Alternating automata on data trees and XPath satisfiability
• Decidable classes of documents for XPath
• Logics of repeating values on data trees and branching counter systems
• XPath satisfiability in the presence of DTDs
• scientific article; zbMATH DE number 7407777 (Why is no real title available?)
• Complexity of two-variable logic on finite trees
• Database Programming Languages
• Data graphs with incomplete information (and a way to complete them)
• Data-aware hybrid tableaux
• Constraint automata on infinite data trees: from \(\mathrm{CTL}(\mathbb{Z})/\mathrm{CTL}^*(\mathbb{Z})\) to decision procedures
• Constraint automata on infinite data trees: from CTL\((\mathbb{Z})\text{CTL}^*(\mathbb{Z})\) to decision procedures

Describes a project that uses

Uses Software

• XPath

This page was built for publication: Decidability of downward XPath

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2946683)