Un intérprete de consultas a bases de datos expresadas mediante lógica de primer orden con clausura transitiva
- 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
- Este trabajo consiste en la descripción de un intérprete de consultas a Bases de Datos relacionales expresadas utilizando fórmulas de la lógica de Primer Orden (FO) extendida con cuantificadores de clausura transitiva (CT) y clausura transitiva determinística (CTD), que suponen iteraciones en su interpretación semántica, que están ausentes en FO. La motivación es aumentar el grado de expresividad del lenguaje de consulta. En [CH80] se demostró que la expresividad de FO está estrictamente contenida en (y es muy inferior a) LOGSPACE. Al extender FO, con dichos cuantificadores de clausura, se capturan las clases de complejidad que se mencionan, sobre estructuras finitas ordenadas [GMc95]: FO(CTD) captura LOGSPACE FO(CT) captura NLOGSPACE Así, al trabajar con estas extensiones de FO, se pueden analizar consultas a Bases de Datos que están en la clase NLOGSPACE. El intérprete permite la evaluación de consultas expresadas con las extensiones de FO planteadas, dentro de un ambiente que además permite operar sobre la Base de Datos.
Área: Informática Teórica - Inteligencia Artificial - Lenguajes - Compiladores
Red de Universidades con Carreras en Informática (RedUNCI) - Materia
-
Ciencias Informáticas
Query languages
Relational databases
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/23664
Ver los metadatos del registro completo
id |
SEDICI_a4f35c96d4dbd7766455b680224fcae1 |
---|---|
oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/23664 |
network_acronym_str |
SEDICI |
repository_id_str |
1329 |
network_name_str |
SEDICI (UNLP) |
spelling |
Un intérprete de consultas a bases de datos expresadas mediante lógica de primer orden con clausura transitivaReyes, Nora SusanaGrosso, AlejandroMaldocena, PaulinoTurull Torres, José MaríaCiencias InformáticasQuery languagesRelational databasesPredicate logicEste trabajo consiste en la descripción de un intérprete de consultas a Bases de Datos relacionales expresadas utilizando fórmulas de la lógica de Primer Orden (FO) extendida con cuantificadores de clausura transitiva (CT) y clausura transitiva determinística (CTD), que suponen iteraciones en su interpretación semántica, que están ausentes en FO. La motivación es aumentar el grado de expresividad del lenguaje de consulta. En [CH80] se demostró que la expresividad de FO está estrictamente contenida en (y es muy inferior a) LOGSPACE. Al extender FO, con dichos cuantificadores de clausura, se capturan las clases de complejidad que se mencionan, sobre estructuras finitas ordenadas [GMc95]: FO(CTD) captura LOGSPACE FO(CT) captura NLOGSPACE Así, al trabajar con estas extensiones de FO, se pueden analizar consultas a Bases de Datos que están en la clase NLOGSPACE. El intérprete permite la evaluación de consultas expresadas con las extensiones de FO planteadas, dentro de un ambiente que además permite operar sobre la Base de Datos.Á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/23664spainfo: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/23664Institucionalhttp://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.555SEDICI (UNLP) - Universidad Nacional de La Platafalse |
dc.title.none.fl_str_mv |
Un intérprete de consultas a bases de datos expresadas mediante lógica de primer orden con clausura transitiva |
title |
Un intérprete de consultas a bases de datos expresadas mediante lógica de primer orden con clausura transitiva |
spellingShingle |
Un intérprete de consultas a bases de datos expresadas mediante lógica de primer orden con clausura transitiva Reyes, Nora Susana Ciencias Informáticas Query languages Relational databases Predicate logic |
title_short |
Un intérprete de consultas a bases de datos expresadas mediante lógica de primer orden con clausura transitiva |
title_full |
Un intérprete de consultas a bases de datos expresadas mediante lógica de primer orden con clausura transitiva |
title_fullStr |
Un intérprete de consultas a bases de datos expresadas mediante lógica de primer orden con clausura transitiva |
title_full_unstemmed |
Un intérprete de consultas a bases de datos expresadas mediante lógica de primer orden con clausura transitiva |
title_sort |
Un intérprete de consultas a bases de datos expresadas mediante lógica de primer orden con clausura transitiva |
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 Relational databases Predicate logic |
topic |
Ciencias Informáticas Query languages Relational databases Predicate logic |
dc.description.none.fl_txt_mv |
Este trabajo consiste en la descripción de un intérprete de consultas a Bases de Datos relacionales expresadas utilizando fórmulas de la lógica de Primer Orden (FO) extendida con cuantificadores de clausura transitiva (CT) y clausura transitiva determinística (CTD), que suponen iteraciones en su interpretación semántica, que están ausentes en FO. La motivación es aumentar el grado de expresividad del lenguaje de consulta. En [CH80] se demostró que la expresividad de FO está estrictamente contenida en (y es muy inferior a) LOGSPACE. Al extender FO, con dichos cuantificadores de clausura, se capturan las clases de complejidad que se mencionan, sobre estructuras finitas ordenadas [GMc95]: FO(CTD) captura LOGSPACE FO(CT) captura NLOGSPACE Así, al trabajar con estas extensiones de FO, se pueden analizar consultas a Bases de Datos que están en la clase NLOGSPACE. El intérprete permite la evaluación de consultas expresadas con las extensiones de FO planteadas, dentro de un ambiente que además permite operar sobre la Base de Datos. Área: Informática Teórica - Inteligencia Artificial - Lenguajes - Compiladores Red de Universidades con Carreras en Informática (RedUNCI) |
description |
Este trabajo consiste en la descripción de un intérprete de consultas a Bases de Datos relacionales expresadas utilizando fórmulas de la lógica de Primer Orden (FO) extendida con cuantificadores de clausura transitiva (CT) y clausura transitiva determinística (CTD), que suponen iteraciones en su interpretación semántica, que están ausentes en FO. La motivación es aumentar el grado de expresividad del lenguaje de consulta. En [CH80] se demostró que la expresividad de FO está estrictamente contenida en (y es muy inferior a) LOGSPACE. Al extender FO, con dichos cuantificadores de clausura, se capturan las clases de complejidad que se mencionan, sobre estructuras finitas ordenadas [GMc95]: FO(CTD) captura LOGSPACE FO(CT) captura NLOGSPACE Así, al trabajar con estas extensiones de FO, se pueden analizar consultas a Bases de Datos que están en la clase NLOGSPACE. El intérprete permite la evaluación de consultas expresadas con las extensiones de FO planteadas, dentro de un ambiente que además permite operar sobre la Base de Datos. |
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/23664 |
url |
http://sedici.unlp.edu.ar/handle/10915/23664 |
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_ |
1842260122401767424 |
score |
13.13397 |