XML Query Algebra

• defines operators on the query data model
• a strongly-typed language
• emphasis on the optimizability of queries
• defines equivalence laws
• queries are composable; expressions have first-order importance
• meant primarily for implementors; ultimately, users shouldn't need to refer to the Algebra spec
• http://www.w3.org/TR/query-algebra