Solving shape-analysis problems in languages with destructive updating
ACM Transactions on Programming Languages and Systems (TOPLAS)
Regular expression simplification
Selected papers from the 1996 or 1997 IMACS-ACA conference on Non-standard applications of computer algebra
Fickle: Dynamic Object Re-classification
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Formal semantics and analysis of object queries
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Efficient Incremental Validation of XML Documents
ICDE '04 Proceedings of the 20th International Conference on Data Engineering
Incremental validation of XML documents
ACM Transactions on Database Systems (TODS)
Regular expression types for XML
ACM Transactions on Programming Languages and Systems (TOPLAS)
Static analysis for path correctness of XML queries
Journal of Functional Programming
Expressiveness and complexity of XML Schema
ACM Transactions on Database Systems (TODS)
Journal of Computer and System Sciences
Efficient Revalidation of XML Documents
IEEE Transactions on Knowledge and Data Engineering
Effective typestate verification in the presence of aliasing
ACM Transactions on Software Engineering and Methodology (TOSEM)
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)
ACM Computing Surveys (CSUR)
Schema-based independence analysis for XML updates
Proceedings of the VLDB Endowment
Verification of tree updates for optimization
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
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
Projection for XML update optimization
Proceedings of the 14th International Conference on Extending Database Technology
Reverting the effects of XQuery update expressions
BNCOD'11 Proceedings of the 28th British national conference on Advances in databases
Mechanizing the metatheory of mini-XQuery
CPP'11 Proceedings of the First international conference on Certified Programs and Proofs
Type-based detection of XML query-update independence
Proceedings of the VLDB Endowment
Partitioning XML documents for iterative queries
Proceedings of the 16th International Database Engineering & Applications Sysmposium
Static analysis of XML document adaptations
ER'12 Proceedings of the 2012 international conference on Advances in Conceptual Modeling
On the expressive power of update primitives
Proceedings of the 32nd symposium on Principles of database systems
Hi-index | 0.00 |
The W3C recently released the XQuery Update Facility 1.0, a Candidate Recommendation for an XML update language. It appears likely that this proposal will become standard. XQuery has been equip- ped with a formal semantics and sound type system, but there has been little work on static analysis or typechecking of XML updates, and the typing rules in the current W3C proposal appear unsound for "transform" queries that perform embedded updates. In this paper, we investigate the problem of schema alteration , or synthesizing an output schema describing the result of an update applied to a given input schema. We review regular expression type systems for XQuery, present a core language and semantics for W3C-style XML updates, and develop an effect analysis and schema alteration, which can be used as the basis for sound typechecking for queries involving "transform".