Algoritmos de tableaux para Xpath con datos

Autores
Seiler, Nahuel Germán
Año de publicación
2018
Idioma
español castellano
Tipo de recurso
tesis de grado
Estado
versión publicada
Colaborador/a o director/a de tesis
Fervari, Raúl Alberto
Descripción
Fil: Seiler, Nahuel Germán. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
En este trabajo se presenta un cálculo correcto y completo para XPath con datos y caminos descendentes, enriquecido con nominales y operadores de satisfacción. Llamaremos HXPath = (↓) al lenguaje híbrido que resulta de agregar operadores híbridos a XPath. Primero se mencionan aspectos básicos de las lógicas modales, híbridas y de XPath, para luego dar el cálculo de tableaux para XPath = . Finalmente se demuestra completitud del cálculo.En este trabajo se desarrollaron complementos para el sistema de información geográfica QGIS que permiten el preprocesamiento y análisis de series de tiempo del Índice de Vegetación Normalizado (NDVI), útiles para estudiar y comparar la estructura vegetal de diferentes puntos geográficos de interés, a través del tiempo. Las series fueron extraídas a partir de imágenes obtenidas por el sensor MODIS (Moderate Resolution Imaging Spectroradiometer), por un biólogo especialista.
Fil: Seiler, Nahuel Germán. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Materia
Logic and databases
Theory and algorithms for application domains
Database theory
Modal Logic
Base de datos
Nivel de accesibilidad
acceso abierto
Condiciones de uso
Repositorio
Repositorio Digital Universitario (UNC)
Institución
Universidad Nacional de Córdoba
OAI Identificador
oai:rdu.unc.edu.ar:11086/11913

id RDUUNC_9e12cfe41cc5825a8ead2ec9937c2917
oai_identifier_str oai:rdu.unc.edu.ar:11086/11913
network_acronym_str RDUUNC
repository_id_str 2572
network_name_str Repositorio Digital Universitario (UNC)
spelling Algoritmos de tableaux para Xpath con datosSeiler, Nahuel GermánLogic and databasesTheory and algorithms for application domainsDatabase theoryModal LogicBase de datosFil: Seiler, Nahuel Germán. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.En este trabajo se presenta un cálculo correcto y completo para XPath con datos y caminos descendentes, enriquecido con nominales y operadores de satisfacción. Llamaremos HXPath = (↓) al lenguaje híbrido que resulta de agregar operadores híbridos a XPath. Primero se mencionan aspectos básicos de las lógicas modales, híbridas y de XPath, para luego dar el cálculo de tableaux para XPath = . Finalmente se demuestra completitud del cálculo.En este trabajo se desarrollaron complementos para el sistema de información geográfica QGIS que permiten el preprocesamiento y análisis de series de tiempo del Índice de Vegetación Normalizado (NDVI), útiles para estudiar y comparar la estructura vegetal de diferentes puntos geográficos de interés, a través del tiempo. Las series fueron extraídas a partir de imágenes obtenidas por el sensor MODIS (Moderate Resolution Imaging Spectroradiometer), por un biólogo especialista.Fil: Seiler, Nahuel Germán. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.Fervari, Raúl Alberto2018-03-28info:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_7a1finfo:ar-repo/semantics/tesisDeGradoapplication/pdfhttp://hdl.handle.net/11086/11913spainfo:eu-repo/semantics/openAccessreponame:Repositorio Digital Universitario (UNC)instname:Universidad Nacional de Córdobainstacron:UNC2025-09-29T13:43:12Zoai:rdu.unc.edu.ar:11086/11913Institucionalhttps://rdu.unc.edu.ar/Universidad públicaNo correspondehttp://rdu.unc.edu.ar/oai/snrdoca.unc@gmail.comArgentinaNo correspondeNo correspondeNo correspondeopendoar:25722025-09-29 13:43:12.877Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdobafalse
dc.title.none.fl_str_mv Algoritmos de tableaux para Xpath con datos
title Algoritmos de tableaux para Xpath con datos
spellingShingle Algoritmos de tableaux para Xpath con datos
Seiler, Nahuel Germán
Logic and databases
Theory and algorithms for application domains
Database theory
Modal Logic
Base de datos
title_short Algoritmos de tableaux para Xpath con datos
title_full Algoritmos de tableaux para Xpath con datos
title_fullStr Algoritmos de tableaux para Xpath con datos
title_full_unstemmed Algoritmos de tableaux para Xpath con datos
title_sort Algoritmos de tableaux para Xpath con datos
dc.creator.none.fl_str_mv Seiler, Nahuel Germán
author Seiler, Nahuel Germán
author_facet Seiler, Nahuel Germán
author_role author
dc.contributor.none.fl_str_mv Fervari, Raúl Alberto
dc.subject.none.fl_str_mv Logic and databases
Theory and algorithms for application domains
Database theory
Modal Logic
Base de datos
topic Logic and databases
Theory and algorithms for application domains
Database theory
Modal Logic
Base de datos
dc.description.none.fl_txt_mv Fil: Seiler, Nahuel Germán. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
En este trabajo se presenta un cálculo correcto y completo para XPath con datos y caminos descendentes, enriquecido con nominales y operadores de satisfacción. Llamaremos HXPath = (↓) al lenguaje híbrido que resulta de agregar operadores híbridos a XPath. Primero se mencionan aspectos básicos de las lógicas modales, híbridas y de XPath, para luego dar el cálculo de tableaux para XPath = . Finalmente se demuestra completitud del cálculo.En este trabajo se desarrollaron complementos para el sistema de información geográfica QGIS que permiten el preprocesamiento y análisis de series de tiempo del Índice de Vegetación Normalizado (NDVI), útiles para estudiar y comparar la estructura vegetal de diferentes puntos geográficos de interés, a través del tiempo. Las series fueron extraídas a partir de imágenes obtenidas por el sensor MODIS (Moderate Resolution Imaging Spectroradiometer), por un biólogo especialista.
Fil: Seiler, Nahuel Germán. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
description Fil: Seiler, Nahuel Germán. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
publishDate 2018
dc.date.none.fl_str_mv 2018-03-28
dc.type.none.fl_str_mv info:eu-repo/semantics/bachelorThesis
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_7a1f
info:ar-repo/semantics/tesisDeGrado
format bachelorThesis
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11086/11913
url http://hdl.handle.net/11086/11913
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositorio Digital Universitario (UNC)
instname:Universidad Nacional de Córdoba
instacron:UNC
reponame_str Repositorio Digital Universitario (UNC)
collection Repositorio Digital Universitario (UNC)
instname_str Universidad Nacional de Córdoba
instacron_str UNC
institution UNC
repository.name.fl_str_mv Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdoba
repository.mail.fl_str_mv oca.unc@gmail.com
_version_ 1844618948844191744
score 13.070432