Information recovery through a simple epistemic logic from a relational database

Using a simple epistemic logic, as a special kind of a modal 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.