Sign in
A Trace Semantics for Positive Core XPath.
Pieter H. Hartel
Published in:
TIME (2005)
Keyphrases
</>
xml documents
formal semantics
positive and negative
semantic information
query evaluation
transitive closure
operational semantics
logic programming
xml data
positively correlated
tree pattern queries
conceptual model
default reasoning
xml fragments