関数従属性保存分解