Mostrar el registro sencillo del ítem

dc.contributor.author
Abriola, Sergio Alejandro  
dc.contributor.author
Descotte, María Emilia  
dc.contributor.author
Figueira, Santiago  
dc.date.available
2018-04-10T20:39:34Z  
dc.date.issued
2014-05  
dc.identifier.citation
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  
dc.identifier.issn
0302-9743  
dc.identifier.uri
http://hdl.handle.net/11336/41628  
dc.description.abstract
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.  
dc.format
application/pdf  
dc.language.iso
eng  
dc.publisher
Springer  
dc.rights
info:eu-repo/semantics/openAccess  
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/  
dc.subject
Xpath  
dc.subject
Bisimulación  
dc.subject
Caracterización  
dc.subject
Lógica Modal  
dc.subject.classification
Ciencias de la Computación  
dc.subject.classification
Ciencias de la Computación e Información  
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS  
dc.title
Definability for Downward and Vertical XPath on Data Trees  
dc.type
info:eu-repo/semantics/article  
dc.type
info:ar-repo/semantics/artículo  
dc.type
info:eu-repo/semantics/publishedVersion  
dc.date.updated
2017-12-29T14:18:58Z  
dc.journal.volume
8652  
dc.journal.pagination
20-35  
dc.journal.pais
Alemania  
dc.journal.ciudad
Berlín  
dc.description.fil
Fil: Abriola, Sergio Alejandro. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina  
dc.description.fil
Fil: Descotte, María Emilia. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Matemática; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina  
dc.description.fil
Fil: Figueira, Santiago. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina  
dc.journal.title
Lecture Notes in Computer Science  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/chapter/10.1007/978-3-662-44145-9_2  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/https://doi.org/10.1007/978-3-662-44145-9_2  

Archivos asociados
Thumbnail
 
Tamaño: 315.6Kb
Formato: PDF
.