ACM SIGMOD Record
Tutorial: languages for collection types
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Theoretical aspects of object-oriented programming: types, semantics, and language design
Theoretical aspects of object-oriented programming: types, semantics, and language design
Query unnesting in object-oriented databases
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
System R: relational approach to database management
ACM Transactions on Database Systems (TODS)
Optimizing Queries with Object Updates
Journal of Intelligent Information Systems - Special issue on functional approach to intelligent information systems
XL: an XML programming language for web service specification and composition
Proceedings of the 11th international conference on World Wide Web
Database Management Systems
Naturally Embedded Query Languages
ICDT '92 Proceedings of the 4th International Conference on Database Theory
Kleisli, a functional query system
Journal of Functional Programming
Nested Queries and Quantifiers in an Ordered Context
ICDE '04 Proceedings of the 20th International Conference on Data Engineering
XJ: facilitating XML processing in Java
WWW '05 Proceedings of the 14th international conference on World Wide Web
A Complete and Efficient Algebraic Compiler for XQuery
ICDE '06 Proceedings of the 22nd International Conference on Data Engineering
On the expressive power of XQuery-based update languages
XSym'06 Proceedings of the 4th international conference on Database and XML Technologies
XQuery!: an XML query language with side effects
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
XML query optimization in the presence of side effects
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
FLUX: functional updates for XML
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Software—Practice & Experience
A data flow language for hybrid query and programming languages
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
| Hi-index | 0.00 |
Formal semantics for XQuery with side-effects have been proposed in [13,16]. We propose a different semantics which is better suited for database compilation. We substantiate this claim by formalizing the compilation of XQuery extended with updates into a database algebra. We prove the correctness of the proposed compilation by mapping both the source language and the algebra to a common core language with list comprehensions and extensible tuples.