I'm not sure what you're asking for, exactly. The basic concepts of normalisation are scattered all over the web (a search for
database normalization will give you a big list that will get you to at least 2nf pretty easily and maybe 3nf). Getting an entire database to 2nf is usually good enough; 3nf is nice, but not always sensible; beyond 3nf is more interesting than practical.
eg (simple introductions)
http://www.databasejournal.com/sqlet...6861_1428511_1
http://dev.mysql.com/tech-resources/...alization.html
The formal theory of normalisation is a fairly mathematical/programatic theory. If you want that, then you would probably be wise to start with Codd (Edgar F Codd) who first formalised normal forms. Subsequent normal forms all build on his original formulation.
eg (prtty simple introduction, but gives the names you need to search for)
http://en.wikipedia.org/wiki/Database_normalization