Definicion y construccion de un lenguaje relacional de interrogacion con capacidad para expresar inferencias recursivas.
Tesis doctoral de Eugenio Santos Menendez Uno de los problemas mas interesantes en bases de datos deductivas es la resolucion […]