XML reasoning made practical

12 years 10 months ago
XML reasoning made practical
— 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.
Pierre Genevès, Nabil Layaïda
Added 17 May 2010
Updated 17 May 2010
Type Conference
Year 2010
Where ICDE
Authors Pierre Genevès, Nabil Layaïda
Comments (0)