1. Inicio
  2. Atrás
Título: Utilización de extensiones de lógica de primer orden para la computación de queries en problemas de redes
Autores: Gagliardi, Edilma Olinda
Maldocena, P.
Reyes, Nora Susana
Fecha: 2012-11-02
2001-10
1999-10
Publicador: Unversidad Nacional de La Plata
Fuente:

Tipo: Objeto de conferencia
Objeto de conferencia
Tema: Bases de Datos Relacionales
Queries
Lógica de Primer Orden
Cuantificadores de Clausura Transitiva y Punto Fijo
Teoría de Modelos Finitos
Ciencias Informáticas
base de datos
Descripción: 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 datos
Idioma: Español