Evaluation of datalog extended with an XPath predicate.

Royi Ronen Oded Shmueli

Published in: WIDM (2007)

Keyphrases

query language
transitive closure
first order logic
expressive power
query evaluation
xml documents
evaluation method
logic programming
evaluation methods
xml data
query answering
deductive databases