Regular expression types for XML
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Regular expression pattern matching for XML
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Selected papers from the Third International Workshop WebDB 2000 on The World Wide Web and Databases
Performance Evaluation of a DOM-Based XML Database: Storage, Indexing and Query Optimization
WAIM '02 Proceedings of the Third International Conference on Advances in Web-Age Information Management
Towards an Exhaustive Set of Rewriting Rules for XQuery Optimization: BizQuery Experience
ADBIS '02 Proceedings of the 6th East European Conference on Advances in Databases and Information Systems
KGOL: a Knowledge Grid operating language
ACM SIGPLAN Notices
RPE query processing and optimization techniques for XML databases
Journal of Computer Science and Technology
Declarative XML update language based on a higher data model
Journal of Computer Science and Technology
Structural function inlining technique for structurally recursive XML queries
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Query processing and optimization for regular path expressions
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Query processing in INM database system
WAIM'10 Proceedings of the 11th international conference on Web-age information management
Extending XML with nonmonotonic multiple inheritance
DASFAA'05 Proceedings of the 10th international conference on Database Systems for Advanced Applications
Web and semantic web query languages: a survey
Proceedings of the First international conference on Reasoning Web
DASFAA'12 Proceedings of the 17th international conference on Database Systems for Advanced Applications - Volume Part I
| Hi-index | 0.00 |
The XQuery formalization is an ongoing effort of the W3C XML Query working group to define a precise formal semantics for XQuery. This paper briefly introduces the current state of the formalization and discusses some of the more demanding remaining challenges in formally describing an expressive query language for XML.