XML Query Algebra WD
- XML Query Algebra is used:
- to define XQuery semantics
- to support query optimization
- Algebra defines both static and dynamic semantics
- static semantics are presented as type inference rules, which relate Algebra expressions to types
- dynamic, or operational, semantics are presented as value inference rules, which relate Algebra expressions to values in the XML Query Data Model