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
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/23664

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