Complete axiomatizations for XPath fragments.

Balder ten Cate Tadeusz Litak Maarten Marx

Published in: J. Appl. Log. (2010)

Keyphrases

xml documents
querying xml data
xml data
query evaluation
artificial intelligence
transitive closure
xml fragments
multi agent
special case
decision procedures