How can I prove that a relation in BCNF is free of redundancies? (redundancies with respect to functional dependencies, not free of multi value redundancy)
