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.

Web Relational Normalizer

ORSINI, Renzo
2017

Abstract

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.
File in questo prodotto:
File Dimensione Formato  
Archive.zip

accesso aperto

Descrizione: Codice sorgente dell’applicazione in forma compressa
Tipologia: Altro materiale relativo al prodotto (file audio, video, ecc.)
Licenza: Creative commons
Dimensione 435.38 kB
Formato Formato zip del codice sorgente del software
435.38 kB Formato zip del codice sorgente del software Visualizza/Apri

I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/10278/3687995
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact