Normalization and BCNF
A compact normalization book for readers who need the exact schema-design core: functional dependencies, attribute closure, superkeys, candidate keys, BCNF violations, lossless-join decomposition, and recomputed decomposition trees.