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 I...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Gagliardi, Edilma Olinda, Maldocena, Paulino, Reyes, Nora Susana
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2001
Materias:
Ciencias Informáticas
base de datos
Bases de Datos Relacionales
Queries
Lógica de Primer Orden
Cuantificadores de Clausura Transitiva y Punto Fijo
Teoría de Modelos Finitos
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23545
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares