Un intérprete de consultas a bases de datos expresadas mediante lógica de primer orden con clausura transitiva

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

Descripción completa

Guardado en:
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
Relational databases
Predicate logic
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23664
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-23664
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
Relational databases
Predicate logic
spellingShingle Ciencias Informáticas
Query languages
Relational databases
Predicate logic
Reyes, Nora Susana
Grosso, Alejandro
Maldocena, Paulino
Turull Torres, José María
Un intérprete de consultas a bases de datos expresadas mediante lógica de primer orden con clausura transitiva
topic_facet Ciencias Informáticas
Query languages
Relational databases
Predicate logic
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.
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 Un intérprete de consultas a bases de datos expresadas mediante lógica de primer orden con clausura transitiva
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
publishDate 2000
url http://sedici.unlp.edu.ar/handle/10915/23664
work_keys_str_mv AT reyesnorasusana uninterpretedeconsultasabasesdedatosexpresadasmediantelogicadeprimerordenconclausuratransitiva
AT grossoalejandro uninterpretedeconsultasabasesdedatosexpresadasmediantelogicadeprimerordenconclausuratransitiva
AT maldocenapaulino uninterpretedeconsultasabasesdedatosexpresadasmediantelogicadeprimerordenconclausuratransitiva
AT turulltorresjosemaria uninterpretedeconsultasabasesdedatosexpresadasmediantelogicadeprimerordenconclausuratransitiva
bdutipo_str Repositorios
_version_ 1764820466078318594

Ejemplares similares