This paper aims to contribute to the extension of classical Formal Concept Analysis (FCA),
allowing the management of unknown information. In a preliminary paper, we define a new …

Normalization is the most exercised technique for the analysis of relational databases. It
aims at creating a set of relational tables with minimum data redundancy that preserve …

Formal concept analysis (FCA) is a solid mathematical framework to manage information
based on logic and lattice theory. It defines two explicit representations of the knowledge …

The importance of the computation of direct bases of implications has been motivated by
several authors in different areas. They emphasize the use of direct bases in several …

The field of application of closure systems goes from theoretical areas as algebra or
geometry to practical areas as databases and artificial intelligence. In these practical areas …

Closure systems are usually characterized in terms of implications. The directness property
of implicational systems is a key issue in their computational usability. In this work we focus …

Formal Concept Analysis has become a real approach in the trend Information-Knowledge-
Wisdom. It turns around the mining of a data set to built a concept lattice which provides an …

In this paper, we propose the application of formal methods to Software Engineering. The
most used data model is the relational model and we present, within the general framework …

The use of rewriting systems to transform a given expression into a simpler one has
promoted the use of rewriting logic in several areas and, particularly, in Software …

Normalization is a process of analyzing the given relation schemas based on their
Functional dependencies and primary keys to achieve the desirable properties of minimizing …