【作者】 赵相国； 王国仁； 张恩德； 丁大斌； 霍欢；

【Author】 Zhao Xiangguo,Wang Guoren,Zhang Ende,Ding Dabin,and Huo Huan (School of Information Science and Engineering,Northeastern University,Shenyang 110004)

【机构】 东北大学信息科学与工程学院；

【摘要】 函数依赖是XML数据约束研究的重要组成部分.针对XML中存在的复杂的多种形式的函数依赖约束,分析了数据约束的特点,引入节点值相等的概念,提出了一种DTD的路径语言,进而提出了一种新的XML函数依赖(XFD)的定义,包括相对XFD和绝对XFD.其中,绝对键和相对键是XFD的特例.研究了XFD的逻辑蕴涵与闭包问题,给出一组相应的推理规则,并证明了推理规则的正确性及完备性.更多还原

【Abstract】 The function dependency is the most important part in the research of XML data constraint. According to the many types of existing complicated function dependency constraint,the features of the data constraint are analyzed,and the concept for the node value equality is introduced.The concept of the complex path is also presented and a new definition of the XML function dependency(XDF),including the relative XFD and the absolute XFD is proposed,in which absolute key and relative key are the particular case of XFD.Lots of researches are done on the logical implication and closure problems,and a group of inference rules are proposed.Finally some proves are given about the correctness and completeness.更多还原