From XQuery to Relational Logics by Benedikt, M, Koch, C

“…We start by giving a formalized XQuery XQ that can serve as a representative of the top-down approach. …”

Higher−Order Functions and Structured Datatypes by Benedikt, M, Vu, H

“…We define a higher-order extension for Core XQuery, along with a higher-order algebra over complex values which has the same complexity as the XML-based language. …”

Foundations of Rule−Based Query Answering by Bry, F, Eisinger, N, Eiter, T, Furche, T, Gottlob, G, Ley, C, Linse, B, Pichler, R, Wei, F

“…These results have later formed the basis for conceiving, improving, and implementing several Web and Semantic Web technologies, in particular query languages such as XQuery or SPARQL for querying relational, XML, and RDF data, and rule languages like the “Rule Interchange Framework (RIF)” currently being developed in a working group of the W3C. …”

Higher-order queries and applications by Vu, Q

“…We de- fine higher-order query languages based on Relational Algebra, Monad Algebra, and XQuery. The thesis also studies basic problems for these query languages including evaluation, containment, and type inference. …”