The Community for Technology Leaders
RSS Icon
Subscribe
Long Beach, CA, USA
Mar. 1, 2010 to Mar. 6, 2010
ISBN: 978-1-4244-5445-7
pp: 1169-1172
Pierre Geneves , CNRS, Grenoble, France
Nabil Layaida , INRIA, Grenoble, France
ABSTRACT
We present a tool for the static analysis of XPath queries and XML Schemas. The tool introduces techniques used in the field of verification (such as binary decision diagrams) in order to efficiently solve XPath query satisfiability, containment, and equivalence, in the presence of real-world XML Schemas. The tool can be used in query optimizers, in order to prove soundness of query rewriting. It can also be used in type-checkers and optimizing compilers that need to perform all kinds of compile-time analyses involving XPath queries and XML tree constraints.
CITATION
Pierre Geneves, Nabil Layaida, "XML reasoning made practical", ICDE, 2010, 2013 IEEE 29th International Conference on Data Engineering (ICDE), 2013 IEEE 29th International Conference on Data Engineering (ICDE) 2010, pp. 1169-1172, doi:10.1109/ICDE.2010.5447786
27 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool