Utilización de extensiones de lógica de primer orden para la computación de queries en problemas de redes

Abstract

Este trabajo presenta resoluciones de queries a una base de datos que mantiene información acerca de redes de computadoras, utilizando Lógica de Primer Orden extendida con los cuantificadores Clausura Transitiva, Clausura Transitiva Determinística, Puntos fijos en sus variantes Inflaccionario y No Inflaccionario, en su versión Determinística. Para los queries mostrados no alcanza con Lógica de Primer Orden, mientras que con las extensiones planteadas es posible expresarlos. En algunos casos, ellos representan casos críticos y pertenecen a una clase de consultas no expresables en lenguajes cuya expresivividad sea equivalente al de la Lógica de Primer Orden, por lo que es necesario contar con otros cuantificadores de mayor poder expresivo. La aplicación elegida es sólo relevante para observar la semántica de ciertos queries, los cuales son razonables de plantear sobre una base de datos, y cuya complejidad supera la expresividad de los lenguajes que se puedan tener disponibles para la resolución de los mismos.