Implement the algorithm given in class to compute the BCNF decomposition of a given relation and a set of functional dependencies. Your program must output, in parenthesis, the attributes of each relation in BCNF. Even though the algorithm given in class is recursive, you can use a stack of relations instead.