This application has been developed for students of Normalization Theory who want to check their solution to tests and exercises.
The author and current maintainer of this application is Renzo Orsini , at University Ca’ Foscari of Venice, which is in debt with Antonio Albano, at University of Pisa, for many suggestions aimed at improving the usability and functionalities of the system, as well as for testing the application.
The system is inspired to a previous normalizer written in Java by Giacomo del Rio, when he was student at the University of Pisa.
If you have comments and suggestions for improving the application, email them to the application's author.
This application is written in ANSI Common Lisp, and uses the Hunchentoot Web Server.