Están todos invitados a la charla de Danae Dutto.

«Teoría de la Prueba para Lógicas Modales con Datos“.

Jueves 5 de diciembre a las 14 hs, Sala 1604.

Resumen:  Los lenguajes modales con datos han ganado una significativa atención en tiempos recientes.
Este interés proviene del estudio formal de lenguajes de bases de datos orientados, como DataGL, XPath y GQL. Estos lenguajes, ademas de expresar caracteristicas topológicas tienen la capacidad de expresar propiedades relacionadas con datos.  HXPathD es un lenguaje modal híbrido que formaliza el fragmento navegacional de XPath enriquecido con nominales, operador de satisfacción @ y comparación de datos por igualdad y desigualdad.
Resultados de completitud para axiomatizaciones de HXPathD, así como también para extensiones que caracterizan diversas clases de modelos, han sido presentados en trabajos anteriores. En esta charla, además de esos resultados, se hablará sobre los primeros avances hacia una teoría de la prueba para HXPathD y, más en general, para lógicas modales con datos.
Concretamente, se presentará un cálculo de secuentes al estilo Gentzen para HXPathD el cual es correcto, completo y cut-free.

Danae Dutto está haciendo el Doctorado en Ciencias de la Computación en FaMAF, Universidad Nacional de Córdoba, y está de visita en el DC.