Axiomatizing the Logical Core of XPath 2.0.

Balder ten Cate Maarten Marx

Published in: Theory Comput. Syst. (2009)

Keyphrases

query evaluation
xml documents
transitive closure
query language
xml data
xpath queries
logical operations
machine learning
pattern matching
expressive power
logical properties
data model and query language