Registro:
| Documento: | Tesis de Grado |
| Título: | Caracterizaciones para fragmentos de XPath con ejes horizontales reflexo-transitivos |
| Autor: | González, Nicolás Ezequiel |
| Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
| Publicación en la web: | 2026-04-09 |
| Fecha de defensa: | 2020-12-29 |
| Fecha en portada: | 29/12/2020 |
| Grado Obtenido: | Grado |
| Título Obtenido: | Licenciado en Ciencias Matemáticas |
| Departamento Docente: | Departamento de Matemáticas |
| Director: | Abriola, Sergio Alejandro |
| Jurado: | Petrovich, Alejandro Gustavo; Sasyk, Román |
| Idioma: | Español |
| Formato: | PDF |
| Handle: |
https://hdl.handle.net/20.500.12110/seminario_nMAT001017_Gonzalez |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nMAT001017_Gonzalez.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nMAT001017_Gonzalez |
| Ubicación: | Dep.MAT 001017 |
| Derechos de Acceso: | Esta obra puede ser leída, grabada y utilizada con fines de estudio, investigación y docencia. Es necesario el reconocimiento de autoría mediante la cita correspondiente. 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 |
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
