Algoritmos de tableaux para Xpath con datos
Fil: Seiler, Nahuel Germán. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Main Author: | |
---|---|
Other Authors: | |
Format: | bachelorThesis |
Language: | spa |
Published: |
2019
|
Subjects: | |
Online Access: | http://hdl.handle.net/11086/11913 |
_version_ | 1801214488022614016 |
---|---|
author | Seiler, Nahuel Germán |
author2 | Fervari, Raúl Alberto |
author_facet | Fervari, Raúl Alberto Seiler, Nahuel Germán |
author_sort | Seiler, Nahuel Germán |
collection | Repositorio Digital Universitario |
description | Fil: Seiler, Nahuel Germán. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. |
format | bachelorThesis |
id | rdu-unc.11913 |
institution | Universidad Nacional de Cordoba |
language | spa |
publishDate | 2019 |
record_format | dspace |
spelling | rdu-unc.119132022-10-13T11:32:53Z Algoritmos de tableaux para Xpath con datos Seiler, Nahuel Germán Fervari, Raúl Alberto Logic and databases Theory and algorithms for application domains Database theory Modal Logic Base de datos 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. 2019-08-23T18:19:59Z 2019-08-23T18:19:59Z 2018-03-28 bachelorThesis http://hdl.handle.net/11086/11913 spa Atribución-NoComercial-CompartirIgual 4.0 Internacional http://creativecommons.org/licenses/by-nc-sa/4.0/ |
spellingShingle | Logic and databases Theory and algorithms for application domains Database theory Modal Logic Base de datos Seiler, Nahuel Germán Algoritmos de tableaux para Xpath con datos |
title | 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_short | Algoritmos de tableaux para Xpath con datos |
title_sort | algoritmos de tableaux para xpath con datos |
topic | Logic and databases Theory and algorithms for application domains Database theory Modal Logic Base de datos |
url | http://hdl.handle.net/11086/11913 |
work_keys_str_mv | AT seilernahuelgerman algoritmosdetableauxparaxpathcondatos |