About expressive capability of XML query language

XSLT, XQuery are turing-Complete. (A Simple Proof for the Turing-Completeness of XSLT and XQuery)
xpath 1 is equivalent to MSO datalog (or more general, MSO Logic).(XPath Processing in a Nutshell)
XQuery Optimization, refer to it.