TMQL Formal Semantics

Table of Contents

1. TMQL Overview
2. Vanilla, Chocolate and Strawberry
3. Navigation Axes
4. Navigation Axes (cont'd)
5. Filtering
6. Association Predicates
7. TMQL Semantics
8. Plan of Attack
9. What's the use of it?
10. Path Expression Semantics
11. FLWR Semantics
12. SELECT Semantics
13. EXISTS and FORALL
14. Conclusion
15. Open Issues
16. Open Issues (cont'd)
17. Resources & Random Thoughts