XQuery Full-Text Optimization through a Formal Algebra