Imperative functional programming
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM SIGMOD Record
Query unnesting in object-oriented databases
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Designing OQL: allowing objects to be queried
Information Systems
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
Kleisli, a functional query system
Journal of Functional Programming
A Complete and Efficient Algebraic Compiler for XQuery
ICDE '06 Proceedings of the 22nd International Conference on Data Engineering
Data delivery in a service-oriented world: the BEA aquaLogic data services platform
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Strategies for query unnesting in XML databases
ACM Transactions on Database Systems (TODS)
Oracle PL/SQL Programming, 4th Edition
Oracle PL/SQL Programming, 4th Edition
XMark: a benchmark for XML data management
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
A better semantics for XQuery with side-effects
DBPL'07 Proceedings of the 11th international conference on Database programming languages
Commutativity analysis in XML update languages
ICDT'07 Proceedings of the 11th international conference on Database Theory
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
A schema-based translation of XQuery updates
XSym'10 Proceedings of the 7th international XML database conference on Database and XML technologies
A universal calculus for stream processing languages
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
From a calculus to an execution environment for stream processing
Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems
A data flow language for hybrid query and programming languages
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
XTrigger: XML database trigger
Computer Science - Research and Development
| Hi-index | 0.00 |
The emergence of database languages with side effects, notably for XML, raises significant challenges for database compilers and optimizers. In this paper, we extend an algebra for the W3C XML query language with operations that allow data to be immediately updated. We study the impact of that extension on logical optimization, join detection, and pipelining. The main result of this work is to show that, with proper care, a number of important optimizations based on nested relational algebras remain applicable in the presence of side effects. Our approach relies on an analysis of the conditions that must be checked in order for algebraic rewritings to hold. An implementation and experimental results demonstrate the effectiveness of the approach.