路径闭包相关论文
提出了一组适合于M.Arenas等人给定的XFD的推理规则并证明了推理规则集的正确性和完备性.在此基础上,研究了XFD的逻辑蕴含问题,提......
对M.Arenas等人提出的基于树元组的XFD定义及相关概念进行了介绍.在这种XFD定义的基础上研究了XML的推理规则和逻辑蕴涵问题,提出......
