XML上的函数依赖推理

摘要：

函数依赖是数据语义的重要组成部分,这一概念被引入到XML的领域中.基于DTD,XML的树模型和路径表达式,对节点的值相等和路径节点集作了定义.在此基础上,研究了XML中函数依赖、逻辑蕴涵和路径闭包的概念,证明了函数依赖在给定DTD上的可满足性.提出了一个XML上函数依赖的正确和完备的推理规则集,并给出了一个用于计算路径闭包的算法.

关键词：函数依赖、可扩展标记语言、逻辑蕴涵、推理规则

所属期刊栏目：14

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金69933010

在线出版日期：2003-10-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：1564-1570