ABSTRACT
In [1], we present, in the framework of lattice theory, a new concept of operator, named non-deterministic ideal operator (briefly nd.ideal-o) that allows us the characterization of concepts frequently used in database. In particular, the nd.ideal-os allow us to formalize database redundancy in a more significant way than it was thought of in the literature. In this paper, we present the formalization of the generator of a nd.ideal-o that characterize the concept of minimal closure of a set of functional dependencies (FD) in database.
