Web Relational Normalizer

The system is a tool both for checking the properties of relational decompositions, as well as perform automatic normalization of relational tables, or performing specific operations related to normalization (e.g., canonical cover, key search, Third Normal Form, Boyce Codd Normal Form, etc.) The user inserts the definition of a relation schema, through attribute names and functional dependencies, and, for certain operations, additional data. The system applies the state of art algorithms of normalization theory to perform the analysis and to execute a comprehensive set of operations, including: - closure of a set of attributes; cover of the projection of the functional dependencies over a set of attributes, equivalance between sets of functional dependencies, finding of all the keys, test for and production of Boyce-Codd Normal Form and Third Normal Form, together with special checks and interactive guidance for the BCNF.