输入任意函数依赖关系,输出符合BC范式的结果