Semantic characterizations of navigational XPath
The work
| Authors | M. Marx; Maarten de Rijke |
|---|---|
| Editors | |
| Type | article |
| Year | 2005 |
| Citekey | marx2005semantic |
Where it appeared
| Published in | ACM SIGMOD Record |
|---|---|
| Publisher | Association for Computing Machinery |
| Volume | 34 |
| Issue | 2 |
| Pages | 41--46 |
Identifiers
| DOI | 10.1145/1083784.1083792 |
|---|---|
| OpenAlex | W1484900789 |
Access
| Landing page | https://doi.org/10.1145/1083784.1083792 |
|---|
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
Abstract
We give semantic characterizations of the expressive power of navigational XPath (a.k.a. Core XPath) in terms of first order logic. XPath can be used to specify sets of nodes and sets of paths in an XML document tree. We consider both uses. For sets of nodes, XPath is equally expressive as first order logic in two variables. For paths, XPath can be defined using four simple connectives, which together yield the class of first order definable relations which are safe for bisimulation. Furthermore, we give a characterization of the XPath expressible paths in terms of conjunctive queries.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-24 17:49 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@article{marx2005semantic,
title = {Semantic characterizations of navigational XPath},
author = {M. Marx and Maarten de Rijke},
year = {2005},
journal = {ACM SIGMOD Record},
publisher = {Association for Computing Machinery},
volume = {34},
number = {2},
pages = {41--46},
doi = {10.1145/1083784.1083792},
}
This record lives at https://refs.drheap.org/marx2005semantic/ and will keep doing so.