Busque entre los 154933 recursos disponibles en el repositorio
Mostrar el registro sencillo del ítem
dc.date.accessioned | 2012-11-05T16:17:08Z | |
dc.date.available | 2012-11-05T16:17:08Z | |
dc.date.issued | 2000-10 | |
dc.identifier.uri | http://sedici.unlp.edu.ar/handle/10915/23664 | |
dc.description.abstract | 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. | es |
dc.language | es | es |
dc.subject | Query languages | es |
dc.subject | Relational databases | es |
dc.subject | Predicate logic | es |
dc.title | Un intérprete de consultas a bases de datos expresadas mediante lógica de primer orden con clausura transitiva | es |
dc.type | Objeto de conferencia | es |
sedici.creator.person | Reyes, Nora Susana | es |
sedici.creator.person | Grosso, Alejandro | es |
sedici.creator.person | Maldocena, Paulino | es |
sedici.creator.person | Turull Torres, José María | es |
sedici.description.note | Área: Informática Teórica - Inteligencia Artificial - Lenguajes - Compiladores | es |
sedici.subject.materias | Ciencias Informáticas | es |
sedici.description.fulltext | true | es |
mods.originInfo.place | Red de Universidades con Carreras en Informática (RedUNCI) | es |
sedici.subtype | Objeto de conferencia | es |
sedici.rights.license | Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) | |
sedici.rights.uri | http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
sedici.date.exposure | 2000-10 | |
sedici.relation.event | VI Congreso Argentino de Ciencias de la Computación | es |
sedici.description.peerReview | peer-review | es |