Reasoning About Pattern-Based XML Queries

Amélie Gheerbrant 1, 2 Leonid Libkin 1 Cristina Sirangelo 3, 4
4 DAHU - Verification in databases
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Abstract : We survey results about static analysis of pattern-based queries over XML documents. These queries are analogs of conjunctive queries, their unions and Boolean combinations, in which tree patterns play the role of atomic formulae. As in the relational case, they can be viewed as both queries and incomplete documents, and thus static analysis problems can also be viewed as finding certain answers of queries over such documents. We look at satisfiability of patterns under schemas, containment of queries for various features of XML used in queries, finding certain answers, and applications of pattern-based queries in reasoning about schema mappings for data exchange.
Type de document :
Communication dans un congrès
RR - 7th International Conference on Web Reasoning and Rule Systems, 2013, Jul 2013, Mannheim, Germany. 2013
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00908414
Contributeur : Cristina Sirangelo <>
Soumis le : vendredi 22 novembre 2013 - 18:25:19
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14
Document(s) archivé(s) le : dimanche 23 février 2014 - 04:31:55

Fichier

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

Identifiants

  • HAL Id : hal-00908414, version 1

Collections

Citation

Amélie Gheerbrant, Leonid Libkin, Cristina Sirangelo. Reasoning About Pattern-Based XML Queries. RR - 7th International Conference on Web Reasoning and Rule Systems, 2013, Jul 2013, Mannheim, Germany. 2013. 〈hal-00908414〉

Partager

Métriques

Consultations de la notice

402

Téléchargements de fichiers

82