Formal semantics and analysis of object queries
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Regular expression types for XML
ACM Transactions on Programming Languages and Systems (TOPLAS)
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Static analysis for path correctness of XML queries
Journal of Functional Programming
Journal of Computer and System Sciences
Efficient Revalidation of XML Documents
IEEE Transactions on Knowledge and Data Engineering
XMark: a benchmark for XML data management
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
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)
Proceedings of the 12th International Conference on Database Theory
Interpreting tree-to-tree queries
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
EDBT'06 Proceedings of the 10th international conference on Advances in Database Technology
Verification of tree updates for optimization
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
XPathMark: an XPath benchmark for the XMark generated data
XSym'05 Proceedings of the Third international conference on Database and XML Technologies
Semantics, Types and Effects for XML Updates
DBPL '09 Proceedings of the 12th International Symposium on Database Programming Languages
XML materialized views and schema evolution in VIREX
Information Sciences: an International Journal
Destabilizers and independence of XML updates
Proceedings of the VLDB Endowment
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
Types and constraints: from relational to XML data
SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
Type-based detection of XML query-update independence
Proceedings of the VLDB Endowment
XML query-update independence analysis revisited
Proceedings of the 2012 ACM symposium on Document engineering
Algebraic incremental maintenance of XML views
ACM Transactions on Database Systems (TODS)
Hi-index | 0.00 |
Query-update independence analysis is the problem of determining whether an update affects the results of a query. Query-update independence is useful for avoiding recomputation of materialized views and may have applications to access control and concurrency control. This paper develops static analysis techniques for query-update independence problems involving core XQuery queries and updates with a snapshot semantics (based on the W3C XQuery Update Facility proposal). Our approach takes advantage of schema information, in contrast to previous work on this problem. We formalize our approach, sketch a proof of correctness, and report on the performance and accuracy of our implementation.