Resumen:
XPath es un lenguaje de consulta para documentos XML, el cual se abstrae matemáticamente como una lógica que permite expresar propiedades sobre un universo semántico de árboles cuyos nodos están etiquetados y almacenan datos. En esta tesis trabajamos principalmente con la caracterización al estilo Hennessy-Milner, relacionando la noción de bisimulación con la de equivalencia lógica de modelos punteados. Hacemos esto para dos fragmentos de XPath poco estudiados, los cuales consideran ejes navegacionales reflexo-transitivos además de la capacidad de descender de a un paso por el árbol.
Citación:
---------- APA ----------
González, Nicolás Ezequiel. (2020). Caracterizaciones para fragmentos de XPath con ejes horizontales reflexo-transitivos. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nMAT001017_Gonzalez
---------- CHICAGO ----------
González, Nicolás Ezequiel. "Caracterizaciones para fragmentos de XPath con ejes horizontales reflexo-transitivos". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2020.https://hdl.handle.net/20.500.12110/seminario_nMAT001017_Gonzalez
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nMAT001017_Gonzalez.pdf
Distrubución geográfica
