Definability for Downward and Vertical XPath on Data Trees

Abriola, Sergio Alejandro; Descotte, María Emilia; Figueira, Santiago

doi:https://doi.org/10.1007/978-3-662-44145-9_2

Artículo

Definability for Downward and Vertical XPath on Data Trees

Abriola, Sergio Alejandro Icon

; Descotte, María Emilia Icon

; Figueira, Santiago Icon

Fecha de publicación: 05/2014

Editorial: Springer

Revista: Lecture Notes in Computer Science

ISSN: 0302-9743

Idioma: Inglés

Tipo de recurso: Artículo publicado

Clasificación temática:

Ciencias de la Computación

Resumen

We study the expressive power of the downward and vertical fragments of XPath equipped with (in)equality tests over data trees. We give necessary and sufficient conditions for a class of pointed data trees to be definable by a set of formulas or by a single formula of each of the studied logics. To do so, we introduce a notion of saturation, and show that over saturated data trees bisimulation coincides with logical equivalence.

Palabras clave: Xpath , Bisimulación , Caracterización , Lógica Modal

Ver el registro completo

Archivos asociados

Tamaño: 315.6Kb

Formato: PDF

Descargar

Licencia

Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción: Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Unported (CC BY-NC-SA 2.5)

Identificadores

URI: http://hdl.handle.net/11336/41628

URL: https://link.springer.com/chapter/10.1007/978-3-662-44145-9_2

DOI: https://doi.org/10.1007/978-3-662-44145-9_2

Colecciones

Articulos(OCA CIUDAD UNIVERSITARIA)
Articulos de OFICINA DE COORDINACION ADMINISTRATIVA CIUDAD UNIVERSITARIA

Citación

Abriola, Sergio Alejandro; Descotte, María Emilia; Figueira, Santiago; Definability for Downward and Vertical XPath on Data Trees; Springer; Lecture Notes in Computer Science; 8652; 5-2014; 20-35

Altmétricas