Computes the closure of FDs and does a lossless decomposition to BCNF