Login / Signup
Satisfying a Fragment of XQuery by Branching-Time Reduction.
Sylvain Hallé
Roger Villemaire
Published in:
TIME (2008)
Keyphrases
</>
query language
temporal logic
model checking
temporal reasoning
query processing
epistemic logic
databases
xml data