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

Ejemplares similares

Ejemplares similares