Algoritmos de tableaux para Xpath con datos

Mostrar todas las versiones(2)

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 la...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Seiler, Nahuel Germán
Otros Autores: Fervari, Raúl Alberto
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2019
Materias:
Logic and databases
Theory and algorithms for application domains
Database theory
Modal Logic
Base de datos
Acceso en línea:http://hdl.handle.net/11086/11913
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R14111086-11913
record_format dspace
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic Logic and databases
Theory and algorithms for application domains
Database theory
Modal Logic
Base de datos
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
topic_facet Logic and databases
Theory and algorithms for application domains
Database theory
Modal Logic
Base de datos
description 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.
author2 Fervari, Raúl Alberto
author_facet Fervari, Raúl Alberto
Seiler, Nahuel Germán
format bachelorThesis
author Seiler, Nahuel Germán
author_sort Seiler, Nahuel Germán
title Algoritmos de tableaux para Xpath con 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
publishDate 2019
url http://hdl.handle.net/11086/11913
work_keys_str_mv AT seilernahuelgerman algoritmosdetableauxparaxpathcondatos
bdutipo_str Repositorios
_version_ 1764820392830042113

Ejemplares similares