%0 Journal Article
%T XML上的函数依赖推理
%A 庞引明
%A 施伯乐
%A 谈子敬
%J -
%D 2003
%X 函数依赖是数据语义的重要组成部分,这一概念被引入到XML的领域中.基于DTD,XML的树模型和路径表达式,对节点的值相等和路径节点集作了定义.在此基础上,研究了XML中函数依赖、逻辑蕴涵和路径闭包的概念,证明了函数依赖在给定DTD上的可满足性.提出了一个XML上函数依赖的正确和完备的推理规则集,并给出了一个用于计算路径闭包的算法
%K 函数依赖 可扩展标记语言 逻辑蕴涵 推理规则
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=20030909&flag=1