A logic with temporally accessible iteration

Deficiency in expressive power of the first-order logic has led to developing its numerous extensions by fixed point operators, such as Least Fixed-Point (LFP), inflationary fixed-point (IFP), partial fixed-point (PFP), etc. These logics have been extensively studied in finite model theory, database theory, descriptive complexity. In this paper we introduce unifying framework, the logic with iteration operator, in which iteration steps may be accessed by temporal logic formulae. We show that proposed logic FO+TAI subsumes all mentioned fixed point extensions as well as many other fixed point logics as natural fragments. On the other hand we show that over finite structures FO+TAI is no more expressive than FO+PFP. Further we show that adding the same machinery to the logic of monotone inductions (FO+LFP) does not increase its expressive power either

Consultas a bases de datos expresadas con extensiones de FO

La motivación de este trabajo es que (...) el grado de expresividad de FO es sumamente limitado ya que en [CH80] se demostró que está estrictamente contenido en (y es muy inferior a) DSPACE(log n). Nosotros consideraremos extensiones de FO con el agregado de cuantificadores que nos permitan incorporar distintos tipos de iteraciones en su interpretación semántica, con el fin de aumentar el poder expresivo de FO, aunque no alcancemos a cubrir totalmente la clase CQ.Eje: Ingeniería de software y base de datosRed de Universidades con Carreras en Informática (RedUNCI

Consultas a bases de datos expresadas con extensiones de FO

La motivación de este trabajo es que (...) el grado de expresividad de FO es sumamente limitado ya que en [CH80] se demostró que está estrictamente contenido en (y es muy inferior a) DSPACE(log n). Nosotros consideraremos extensiones de FO con el agregado de cuantificadores que nos permitan incorporar distintos tipos de iteraciones en su interpretación semántica, con el fin de aumentar el poder expresivo de FO, aunque no alcancemos a cubrir totalmente la clase CQ.Eje: Ingeniería de software y base de datosRed de Universidades con Carreras en Informática (RedUNCI

Un intérprete de consultas a bases de datos expresadas mediante lógica de primer orden con clausura transitiva

Este trabajo consiste en la descripción de un intérprete de consultas a Bases de Datos relacionales expresadas utilizando fórmulas de la lógica de Primer Orden (FO) extendida con cuantificadores de clausura transitiva (CT) y clausura transitiva determinística (CTD), que suponen iteraciones en su interpretación semántica, que están ausentes en FO. La motivación es aumentar el grado de expresividad del lenguaje de consulta. En [CH80] se demostró que la expresividad de FO está estrictamente contenida en (y es muy inferior a) LOGSPACE. Al extender FO, con dichos cuantificadores de clausura, se capturan las clases de complejidad que se mencionan, sobre estructuras finitas ordenadas [GMc95]: FO(CTD) captura LOGSPACE FO(CT) captura NLOGSPACE Así, al trabajar con estas extensiones de FO, se pueden analizar consultas a Bases de Datos que están en la clase NLOGSPACE. El intérprete permite la evaluación de consultas expresadas con las extensiones de FO planteadas, dentro de un ambiente que además permite operar sobre la Base de Datos.Área: Informática Teórica - Inteligencia Artificial - Lenguajes - CompiladoresRed de Universidades con Carreras en Informática (RedUNCI

Un intérprete de consultas a bases de datos expresadas mediante lógica de primer orden con clausura transitiva

Este trabajo consiste en la descripción de un intérprete de consultas a Bases de Datos relacionales expresadas utilizando fórmulas de la lógica de Primer Orden (FO) extendida con cuantificadores de clausura transitiva (CT) y clausura transitiva determinística (CTD), que suponen iteraciones en su interpretación semántica, que están ausentes en FO. La motivación es aumentar el grado de expresividad del lenguaje de consulta. En [CH80] se demostró que la expresividad de FO está estrictamente contenida en (y es muy inferior a) LOGSPACE. Al extender FO, con dichos cuantificadores de clausura, se capturan las clases de complejidad que se mencionan, sobre estructuras finitas ordenadas [GMc95]: FO(CTD) captura LOGSPACE FO(CT) captura NLOGSPACE Así, al trabajar con estas extensiones de FO, se pueden analizar consultas a Bases de Datos que están en la clase NLOGSPACE. El intérprete permite la evaluación de consultas expresadas con las extensiones de FO planteadas, dentro de un ambiente que además permite operar sobre la Base de Datos.Área: Informática Teórica - Inteligencia Artificial - Lenguajes - CompiladoresRed de Universidades con Carreras en Informática (RedUNCI

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

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.Eje: Bases de datosRed de Universidades con Carreras en Informática (RedUNCI

Implementación de un lenguaje de consultas utilizando lógica de primer orden con cuantificadores de punto fijo

En este trabajo se considera una extensión de la Lógica de Primer Orden, con distintos tipos de cuantificadores de punto fijo, para expresar consultas a Bases de Datos relacionales permitiendo distintos tipos de iteraciones ausentes en primer orden. Esta extensión fue propuesta en [AVV97]. La motivación es que la Lógica de Primer Orden no permite la expresión de ciertos tipos de consultas a Bases de Datos, como quedó demostrado en [CH80]. Por ello intentamos continuar ampliando su poder expresivo para cubrir una mayor parte del conjunto de consultas posibles de computar sobre una Base de Datos. Con esta extensión se pueden realizar consultas a Bases de Datos que están en la clase EXPTIME. Se muestran aquí algunos aspectos importantes de la implementación de dicho lenguaje, como así también justificación de cotas obtenidas o establecidas. Con este trabajo se contribuye al análisis de distintos tipos de formalismos, con diferentes grados de expresividad para formular consultas a Bases de Datos relacionales.Área: Informática Teórica - Inteligencia Artificial - Lenguajes - CompiladoresRed de Universidades con Carreras en Informática (RedUNCI