Implementación de un lenguaje de consultas utilizando lógica de primer orden con cuantificadores de punto fijo

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

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
cuantificadores de punto fijo
Predicate logic
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23665
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares