如何确定关系模式的F闭包