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

Descripción completa

Detalles Bibliográficos
Autores principales: Reyes, Nora Susana, Grosso, Alejandro, Maldocena, Paulino, Turull Torres, José María
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2000
Materias:
Ciencias Informáticas
Query languages
cuantificadores de punto fijo
Predicate logic
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23665
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-23665
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
Query languages
cuantificadores de punto fijo
Predicate logic
spellingShingle Ciencias Informáticas
Query languages
cuantificadores de punto fijo
Predicate logic
Reyes, Nora Susana
Grosso, Alejandro
Maldocena, Paulino
Turull Torres, José María
Implementación de un lenguaje de consultas utilizando lógica de primer orden con cuantificadores de punto fijo
topic_facet Ciencias Informáticas
Query languages
cuantificadores de punto fijo
Predicate logic
description 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.
format Objeto de conferencia
Objeto de conferencia
author Reyes, Nora Susana
Grosso, Alejandro
Maldocena, Paulino
Turull Torres, José María
author_facet Reyes, Nora Susana
Grosso, Alejandro
Maldocena, Paulino
Turull Torres, José María
author_sort Reyes, Nora Susana
title Implementación de un lenguaje de consultas utilizando lógica de primer orden con cuantificadores de punto fijo
title_short Implementación de un lenguaje de consultas utilizando lógica de primer orden con cuantificadores de punto fijo
title_full Implementación de un lenguaje de consultas utilizando lógica de primer orden con cuantificadores de punto fijo
title_fullStr Implementación de un lenguaje de consultas utilizando lógica de primer orden con cuantificadores de punto fijo
title_full_unstemmed Implementación de un lenguaje de consultas utilizando lógica de primer orden con cuantificadores de punto fijo
title_sort implementación de un lenguaje de consultas utilizando lógica de primer orden con cuantificadores de punto fijo
publishDate 2000
url http://sedici.unlp.edu.ar/handle/10915/23665
work_keys_str_mv AT reyesnorasusana implementaciondeunlenguajedeconsultasutilizandologicadeprimerordenconcuantificadoresdepuntofijo
AT grossoalejandro implementaciondeunlenguajedeconsultasutilizandologicadeprimerordenconcuantificadoresdepuntofijo
AT maldocenapaulino implementaciondeunlenguajedeconsultasutilizandologicadeprimerordenconcuantificadoresdepuntofijo
AT turulltorresjosemaria implementaciondeunlenguajedeconsultasutilizandologicadeprimerordenconcuantificadoresdepuntofijo
bdutipo_str Repositorios
_version_ 1764820466080415747

Ejemplares similares