XQuery 1.0

• Functional, strongly typed query language
• XQuery 1.0 = XPath 2.0 +

A few more expressions

• for-let-where-return (FLWR)
• sort-by
• XML construction (Transformation)
• Operators on types (Compile & run-time type tests)

+ User-defined functions

• Modularize large queries
• Process recursive data

+ Strong typing

• Guarantees result value conforms to output type
• Enforced statically or dynamically