Added Definition definition in preamble.
Explained why are schemas are in BCNF.