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

id	I19-R120-10915-23545
record_format	dspace
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Español
topic	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
spellingShingle	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 Gagliardi, Edilma Olinda Maldocena, Paulino Reyes, Nora Susana Utilización de extensiones de lógica de primer orden para la computación de queries en problemas de redes
topic_facet	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
description	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.
format	Objeto de conferencia Objeto de conferencia
author	Gagliardi, Edilma Olinda Maldocena, Paulino Reyes, Nora Susana
author_facet	Gagliardi, Edilma Olinda Maldocena, Paulino Reyes, Nora Susana
author_sort	Gagliardi, Edilma Olinda
title	Utilización de extensiones de lógica de primer orden para la computación de queries en problemas de redes
title_short	Utilización de extensiones de lógica de primer orden para la computación de queries en problemas de redes
title_full	Utilización de extensiones de lógica de primer orden para la computación de queries en problemas de redes
title_fullStr	Utilización de extensiones de lógica de primer orden para la computación de queries en problemas de redes
title_full_unstemmed	Utilización de extensiones de lógica de primer orden para la computación de queries en problemas de redes
title_sort	utilización de extensiones de lógica de primer orden para la computación de queries en problemas de redes
publishDate	2001
url	http://sedici.unlp.edu.ar/handle/10915/23545
work_keys_str_mv	AT gagliardiedilmaolinda utilizaciondeextensionesdelogicadeprimerordenparalacomputaciondequeriesenproblemasderedes AT maldocenapaulino utilizaciondeextensionesdelogicadeprimerordenparalacomputaciondequeriesenproblemasderedes AT reyesnorasusana utilizaciondeextensionesdelogicadeprimerordenparalacomputaciondequeriesenproblemasderedes
bdutipo_str	Repositorios
_version_	1764820465789960193

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

Ejemplares similares