So one of the problems I actually like to give in my database class is to create a theory of composition that's sort of a compliment to the theory of decomposition, figuring out when you can take multiple relations and combine them while still staying in a desirable normal form. 