XML Reasoning Made Practical - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

XML Reasoning Made Practical

Pierre Genevès
Nabil Layaïda

Résumé

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.
Fichier principal
Vignette du fichier
ICDE10demo.pdf (204.56 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00494261 , version 1 (22-06-2010)

Identifiants

Citer

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. pp. 1169-1172, ⟨10.1109/ICDE.2010.5447786⟩. ⟨hal-00494261⟩
186 Consultations
132 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More