En este trabajo se muestra la utilización de Subfamilias Finitas de Circuitos Booleanos como un modelo teórico adecuado para la expresión de consultas a una Base de Datos Relacional, cuyo fundamento se basa en la equivalencia demostrada entre Lógica de…

Este trabajo presenta resoluciones de queries a una base de datos que mantiene información acerca de redes de computadoras, utilizando Lógica de Primer Orden extendida con los cuantificadores Clausura Transitiva, Clausura Transitiva Determinística, Puntos fijos en sus variantes Inflaccionario y…

Considerando los lenguajes formales Cálculo Relacional y Álgebra Relacional para expresar consultas a bases de datos relacionales, y tomando en cuenta la equivalencia entre ambos, la motivación de este trabajo consistió en la generación de una herramienta que contuviera una…