×

zbMATH — the first resource for mathematics

Decidability of downward XPath. (English) Zbl 1351.68116

MSC:
68Q25 Analysis of algorithms and problem complexity
68P15 Database theory
68Q45 Formal languages and automata
Software:
XPath
PDF BibTeX XML Cite
Full Text: DOI