Inferring about function dependency based on tree tuples

• 基于树元组的函数依赖推理规则