XML函数依赖集的逻辑蕴含 (2006年)

【文件属性】：

文件名称：XML函数依赖集的逻辑蕴含 (2006年)

文件大小：330KB

文件格式：PDF

更新时间：2024-06-20 06:11:50

自然科学 论文

提出了一组适合于M. Arenas等人给定的XFD的推理规则并证明了推理规则集的正确性和完备性。在此基础上，研究了XFD的逻辑蕴含问题，提出了求解路径闭包算法和成员籍算法。