XML Reasoning Made Practical

Pierre Genevès 1 Nabil Layaïda 1
1 WAM - Web, adaptation and multimedia
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
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.
Type de document :
Communication dans un congrès
26th IEEE International Conference on Data Engineering, ICDE 2010, Mar 2010, Long Beach, CA, United States. IEEE, pp. 1169-1172, 2010, <10.1109/ICDE.2010.5447786>
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00494261
Contributeur : Vincent Quint <>
Soumis le : mardi 22 juin 2010 - 15:28:04
Dernière modification le : mardi 22 juin 2010 - 17:10:00
Document(s) archivé(s) le : lundi 22 octobre 2012 - 14:40:56

Fichier

ICDE10demo.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Pierre Genevès, Nabil Layaïda. XML Reasoning Made Practical. 26th IEEE International Conference on Data Engineering, ICDE 2010, Mar 2010, Long Beach, CA, United States. IEEE, pp. 1169-1172, 2010, <10.1109/ICDE.2010.5447786>. <hal-00494261>

Partager

Métriques

Consultations de
la notice

215

Téléchargements du document

100