Added some notes of FD irreducibility, added an additional note to the definition of trivial FDs and also added note about 'if' being understood to mean 'if and only if'