Under the hood: lossless joins, 4NF and 5NF

The two tests every split must pass, lossless and dependency preserving, from Fagin's and Bernstein's papers; then the dependencies that are not functional, and the fourth and fifth normal forms Kent explains with skills, languages, agents and companies.