Abstract: This application facilitates the development of attribute and functional dependency sets in a relational database. The application tests for form normalization (second, third, and Boyce-Codd normal forms) and checks for minimality and nonredundancy. The application can also determine whether a designated set of attributes is a key for the attribute set, and the attributes that the set directly derives.

Version: 1.0 - last updated Tuesday, June 14, 2005

Links: Download (Contents: Executable (Windows), Source Code (Visual Basic.NET))

Screenshots: