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 ...
The main contribution of this paper is a framework that allows the automatic verification of properties related to XML schema and query evolution. In particular ...
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 ...
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 ...
Sep 1, 2009 · What makes automated identification complex? • Time complexity of reasoning with grammars (regular tree languages) and. XPath (multi-directional ...
Jun 25, 2021 · Pierre Genevès, Nabil Layaïda, Vincent Quint: Identifying query incompatibilities with evolving XML schemas. ICFP 2009: 221-230.
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 ...
Nov 26, 2008 · This article proposes a logical framework and tool for verifying forward/backward compatibility issues involving schemas and queries. First, it ...
Missing: incompatibilities | Show results with:incompatibilities
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 ...
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev. Hosted as a part of SLEBOK on ...