XDuce: A statically typed XML processing language
ACM Transactions on Internet Technology (TOIT)
CDuce: an XML-centric general-purpose language
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Types for path correctness of XML queries
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Proceedings of the 2004 ACM symposium on Document engineering
Regular expression types for XML
ACM Transactions on Programming Languages and Systems (TOPLAS)
XPath satisfiability in the presence of DTDs
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Managing structure in bits & pieces: the killer use case for XML
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
DB2/XML: designing for evolution
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Semantic adaptation of schema mappings when schemas evolve
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Taxonomy of XML schema languages using formal language theory
ACM Transactions on Internet Technology (TOIT)
Static analysis for path correctness of XML queries
Journal of Functional Programming
Preserving XML queries during schema evolution
Proceedings of the 16th international conference on World Wide Web
Efficient static analysis of XML paths and types
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Managing and querying transaction-time databases under schema evolution
Proceedings of the VLDB Endowment
The design space of type checkers for XML transformation languages
ICDT'05 Proceedings of the 10th international conference on Database Theory
Impact of XML Schema Evolution
ACM Transactions on Internet Technology (TOIT)
Evolution and change management of XML-based systems
Journal of Systems and Software
DaemonX: Design, Adaptation, Evolution, and Management of Native XML (and More Other) Formats
Proceedings of International Conference on Information Integration and Web-based Applications & Services
Methodology for Design and Evolution of XML Schemas using Conceptual Modeling
Proceedings of International Conference on Information Integration and Web-based Applications & Services
Conservative type extensions for XML data
Transactions on Large-Scale Data- and Knowledge-centered systems IX
Hi-index | 0.00 |
During the life cycle of an XML application, both schemas and queries may change from one version to another. Schema evolutions may affect query results and potentially the validity of produced data. Nowadays, a challenge is to assess and accommodate the impact of these changes in evolving XML applications. Such questions arise naturally in XML static analyzers. These analyzers often rely on decision procedures such as inclusion between XML schemas, query containment and satisfiability. However, existing decision procedures cannot be used directly in this context. The reason is that they are unable to distinguish information related to the evolution from information corresponding to bugs. This paper proposes a predicate language within a logical framework that can be used to make this distinction. We present a system for monitoring the effect of schema evolutions on the set of admissible documents and on the results of queries. The system is very powerful in analyzing various scenarios where the result of a query may not be anymore what was expected. Specifically, the system is based on a set of predicates which allow a fine-grained analysis for a wide range of forward and backward compatibility issues. Moreover, the system can produce counterexamples and witness documents which are useful for debugging purposes. The current implementation has been tested with realistic use cases, where it allows identifying queries that must be reformulated in order to produce the expected results across successive schema versions.