Added additional algorithms for calculating the base and checking whether a schema is in 3NF.
Minor changes.
Updated check for third normal form and theory view.