Constellation, le dépôt institutionnel de l'Université du Québec à Chicoutimi

Satisfying a fragment of XQuery by branching-time reduction

Hallé Sylvain et Villemaire Roger. (2008). Satisfying a fragment of XQuery by branching-time reduction. Dans : 15th International Symposium on Temporal Representation and Reasoning , 16-18 June 2008 , Montreal, Canada.

[thumbnail of shrv-time08.pdf]
Prévisualisation
PDF
164kB

URL officielle: http://dx.doi.org/10.1109/TIME.2008.20

Résumé

Configuration Logic (CL) is a fragment of XQuery that allows first-order quantification over node labels. In this paper, we study CL satisfiability and seek a deterministic decision procedure to build models of satisfiable CL formulæ. To this end, we show how to revert CL satisfiability into an equivalent CTL satisfiability problem in order to leverage existing model construction algorithms for CTL formulæ.

Type de document:Matériel de conférence (Non spécifié)
Date:2008
Identifiant unique:10.1109/TIME.2008.20
Sujets:Sciences naturelles et génie > Sciences mathématiques > Informatique
Département, module, service et unité de recherche:Départements et modules > Département d'informatique et de mathématique
Mots-clés:Trace validation, runtime monitoring, temporal logic, XML, streaming, web services
Déposé le:26 avr. 2013 00:48
Dernière modification:26 avr. 2013 00:48
Afficher les statistiques de telechargements

Éditer le document (administrateurs uniquement)

Creative Commons LicenseSauf indication contraire, les documents archivés dans Constellation sont rendus disponibles selon les termes de la licence Creative Commons "Paternité, pas d'utilisation commerciale, pas de modification" 2.5 Canada.

Bibliothèque Paul-Émile-Boulet, UQAC
555, boulevard de l'Université
Chicoutimi (Québec)  CANADA G7H 2B1
418 545-5011, poste 5630