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

Ejemplares similares

Ejemplares similares