Handbook of formal languages, vol. 3: beyond words
Handbook of formal languages, vol. 3: beyond words
SIGMOD '01 Proceedings of the 2001 ACM SIGMOD international conference on Management of data
A Discipline of Programming
Proceedings of the 17th International Conference on Data Engineering
MONA 1.x: New Techniques for WS1S and WS2S
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Extrapolating Tree Transformations
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
XPath Containment in the Presence of Disjunction, DTDs, and Variables
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Static Analysis of XML Transformations in Java
IEEE Transactions on Software Engineering
XMark: a benchmark for XML data management
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
On testing satisfiability of tree pattern queries
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
The design space of type checkers for XML transformation languages
ICDT'05 Proceedings of the 10th international conference on Database Theory
FLUX: functional updates for XML
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Commutativity analysis for XML updates
ACM Transactions on Database Systems (TODS)
Updates and views dependencies in semi-structured databases
IDEAS '08 Proceedings of the 2008 international symposium on Database engineering & applications
ACM Computing Surveys (CSUR)
Semantics, Types and Effects for XML Updates
DBPL '09 Proceedings of the 12th International Symposium on Database Programming Languages
Schema-based independence analysis for XML updates
Proceedings of the VLDB Endowment
Satisfiability algorithms for conjunctive queries over trees
Proceedings of the 14th International Conference on Database Theory
Dynamic reasoning on XML updates
Proceedings of the 14th International Conference on Extending Database Technology
Algebraic incremental maintenance of XML views
Proceedings of the 14th International Conference on Extending Database Technology
Projection for XML update optimization
Proceedings of the 14th International Conference on Extending Database Technology
Commutativity analysis in XML update languages
ICDT'07 Proceedings of the 11th international conference on Database Theory
EDBT'06 Proceedings of the 10th international conference on Advances in Database Technology
On the expressive power of update primitives
Proceedings of the 32nd symposium on Principles of database systems
Algebraic incremental maintenance of XML views
ACM Transactions on Database Systems (TODS)
XTrigger: XML database trigger
Computer Science - Research and Development
Hi-index | 0.00 |
With the rise of XML as a standard format for representing tree-shaped data, new programming tools have emerged for specifying transformations to tree-like structures. A recent example along this line are the update languages of [16,15,8] which add tree update primitives on top of the declarative query languages XPath and XQuery. These tree update languages use a “snapshot semantics”, in which all querying is performed first, after which a generated sequence of concrete updates is performed in a fixed order determined by query evaluation. In order to gain efficiency, one would prefer to perform updates as soon as they are generated, before further querying. This motivates a specific verification problem: given a tree update program, determine whether generated updates can be performed before all querying is completed. We formalize this notion, which we call “Binding Independence”. We give an algorithm to verify that a tree update program is Binding Independent, and show how this analysis can be used to produce optimized evaluation orderings that significantly reduce processing time.