Added the definition of 3NF
Added simplified defition of BCNF