【摘要】 对M.Arenas等人提出的基于树元组的XFD定义及相关概念进行了介绍。在这种XFD定义的基础上研究了XML的推理规则和逻辑蕴涵问题,提出了一组推理规则集并证明了推理规则的正确性和完备性,给出了求解路径闭包算法和成员籍算法。更多还原

【Abstract】 In this paper, the XFD definition and relative notations proposed by M. Arenas et al.are introduced. Based on the definition of XFD, the inference rules for XML and logical implication is studied and a set of inference rules is presented and in- ference rules’s correctnessand completeness is proved, as well as a path closurealgorithm and membership algorithm are presented.更多还原