Axiomatizing the Logical Core of XPath 2.0.

Balder ten Cate Maarten Marx

Published in: ICDT (2007)

Keyphrases

xml documents
query evaluation
query language
logical representation
decision trees
first order logic
transitive closure
real time
databases
website
xml data
xpath queries
logical structure
xml streams
data model and query language