Find a BCNF decomposition of functional dependencies! Just type your attributes and FDs in the format: attribtues, FDs i.e. ABCD, A->B, BC -> D
Please note that this computes 1 and not all possibilities.