A Declarative Embedding of XQuery in a Functional-Logic Language.
Jesús Manuel Almendros-JiménezRafael CaballeroYolanda García-RuizFernando Sáenz-PérezPublished in: LOPSTR (2011)
Keyphrases
- declarative language
- declarative semantics
- query language for xml
- xml processing
- logic programming language
- rule engine
- rewriting rules
- logic programming
- xml query languages
- proof theory
- dynamic logic
- programming language
- formal language
- language learning
- attribute grammars
- intuitionistic logic
- predicate calculus
- operational semantics
- conditional logic
- natural language
- multi valued
- modal logic
- query language
- xml documents
- vector space
- agent programming
- formal logic
- linear temporal logic
- predicate logic
- xml format
- deductive databases
- xml data
- logic programs
- knowledge representation
- modeling language
- xml schema
- functional language
- data manipulation language
- high dimensional