Browsing by Subject "Logic and databases"
Now showing items 1-1 of 1
-
Algoritmos de tableaux para Xpath con datos
(2018-03-28)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 ...