Departamento de Computación

El objetivo de este trabajo es mostrar cómo expresar la información de una base de datos relacional dada mediante la formalización de sus componentes en una lógica de primer orden y cómo éstos pueden llevar a información inferida a partir de información inicial obtenida mediante consultas. Por lo tanto, la base de investigación de este trabajo es provista por la lógica formal, la interpretación de información, la deducción automática y las bases de datos relacionales. Para lograr la formalización a lógica de primer orden, fue necesario exponer la semántica y sintáxis de la misma, esquematizar todas las partes de una base de datos relacional respecto a la lógica de primer orden. Esto es, establecer el cómo denotar los atributos, los individuos dentro de la base de datos, el conjunto de valuación, la dependencia de atributos, etc. en el ámbito de la lógica. En lo que respecta a deducción automática analizamos en qué consiste, cómo surgen tanto la deducción automática como los demostradores automáticos, y las características esenciales de los principales demostradores automáticos desarrollados hasta el momento.

Abstract

Using first order logic we deal with the problem to extract knowledge from a relational database. The main steps of this process are: translation of the relational database to the logical language for a special signature built from the database by recognizing constants as object names in the database, predicates as relations in the database and function names as relational dependencies, either given explicitly in the database design or by discovering them through the analysis of the database; automatic reasoning tools on the translated knowledge base; and a tracking of known or newly discovered facts. The implementation of the logical system, whose main focus is in automatic deduction, is addressed thus to relational database applications.