Busque entre los 156805 recursos disponibles en el repositorio
Mostrar el registro sencillo del ítem
dc.date.accessioned | 2012-11-05T16:30:29Z | |
dc.date.available | 2012-11-05T16:30:29Z | |
dc.date.issued | 2000-10 | |
dc.identifier.uri | http://sedici.unlp.edu.ar/handle/10915/23665 | |
dc.description.abstract | 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. | es |
dc.language | es | es |
dc.subject | Query languages | es |
dc.subject | cuantificadores de punto fijo | es |
dc.subject | Predicate logic | es |
dc.title | Implementación de un lenguaje de consultas utilizando lógica de primer orden con cuantificadores de punto fijo | 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 |