Implementación de un lenguaje de consultas utilizando lógica de primer orden con cuantificadores de punto fijo
- Autores
- Reyes, Nora Susana; Grosso, Alejandro; Maldocena, Paulino; Turull Torres, José María
- Año de publicación
- 2000
- Idioma
- español castellano
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- 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 - Compiladores
Red de Universidades con Carreras en Informática (RedUNCI) - Materia
-
Ciencias Informáticas
Query languages
cuantificadores de punto fijo
Predicate logic - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
- Repositorio
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/23665
Ver los metadatos del registro completo
id |
SEDICI_d59ed88964d11839466b30548d347c83 |
---|---|
oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/23665 |
network_acronym_str |
SEDICI |
repository_id_str |
1329 |
network_name_str |
SEDICI (UNLP) |
spelling |
Implementación de un lenguaje de consultas utilizando lógica de primer orden con cuantificadores de punto fijoReyes, Nora SusanaGrosso, AlejandroMaldocena, PaulinoTurull Torres, José MaríaCiencias InformáticasQuery languagescuantificadores de punto fijoPredicate logicEn 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)2000-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/23665spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:28:20Zoai:sedici.unlp.edu.ar:10915/23665Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:28:20.558SEDICI (UNLP) - Universidad Nacional de La Platafalse |
dc.title.none.fl_str_mv |
Implementación de un lenguaje de consultas utilizando lógica de primer orden con cuantificadores de punto fijo |
title |
Implementación de un lenguaje de consultas utilizando lógica de primer orden con cuantificadores de punto fijo |
spellingShingle |
Implementación de un lenguaje de consultas utilizando lógica de primer orden con cuantificadores de punto fijo Reyes, Nora Susana Ciencias Informáticas Query languages cuantificadores de punto fijo Predicate logic |
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 |
dc.creator.none.fl_str_mv |
Reyes, Nora Susana Grosso, Alejandro Maldocena, Paulino Turull Torres, José María |
author |
Reyes, Nora Susana |
author_facet |
Reyes, Nora Susana Grosso, Alejandro Maldocena, Paulino Turull Torres, José María |
author_role |
author |
author2 |
Grosso, Alejandro Maldocena, Paulino Turull Torres, José María |
author2_role |
author author author |
dc.subject.none.fl_str_mv |
Ciencias Informáticas Query languages cuantificadores de punto fijo Predicate logic |
topic |
Ciencias Informáticas Query languages cuantificadores de punto fijo Predicate logic |
dc.description.none.fl_txt_mv |
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 - Compiladores Red de Universidades con Carreras en Informática (RedUNCI) |
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. |
publishDate |
2000 |
dc.date.none.fl_str_mv |
2000-10 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/conferenceObject info:eu-repo/semantics/publishedVersion Objeto de conferencia http://purl.org/coar/resource_type/c_5794 info:ar-repo/semantics/documentoDeConferencia |
format |
conferenceObject |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
http://sedici.unlp.edu.ar/handle/10915/23665 |
url |
http://sedici.unlp.edu.ar/handle/10915/23665 |
dc.language.none.fl_str_mv |
spa |
language |
spa |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
dc.format.none.fl_str_mv |
application/pdf |
dc.source.none.fl_str_mv |
reponame:SEDICI (UNLP) instname:Universidad Nacional de La Plata instacron:UNLP |
reponame_str |
SEDICI (UNLP) |
collection |
SEDICI (UNLP) |
instname_str |
Universidad Nacional de La Plata |
instacron_str |
UNLP |
institution |
UNLP |
repository.name.fl_str_mv |
SEDICI (UNLP) - Universidad Nacional de La Plata |
repository.mail.fl_str_mv |
alira@sedici.unlp.edu.ar |
_version_ |
1842260122402816000 |
score |
13.13397 |