XQuery Formal Semantics: State and Challenges.

Peter Fankhauser

Published in: SIGMOD Rec. (2001)

Keyphrases

formal semantics
logical reasoning
formal language
logical language
learning activities
ontology languages
modelling language