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

XMLsatisfiabilityXPathemptinessinfinite alphabetdata treedata valuesDD automatadownward data automataextensible language

Mathematics Subject Classification ID

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

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)

• Alternating automata on data trees and XPath satisfiability
• scientific article; zbMATH DE number 7407777 (Why is no real title available?)
• 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
• On regular paths with counting and data tests
• An extension of data automata that captures XPath
• Decidable classes of documents for XPath
• Complexity of two-variable logic on finite trees
• Hilbert-style axiomatization for hybrid XPath with data
• Logics of repeating values on data trees and branching counter systems
• Axiomatizations for downward XPath on data trees
• Data-aware hybrid tableaux
• Database Programming Languages
• XPath satisfiability in the presence of DTDs
• Data graphs with incomplete information (and a way to complete them)

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)