DTD的规范化

摘要：

一个设计良好的DTD对于XML应用来说是必须的,从消除文档内数据冗余的角度出发研究了这一问题 .函数依赖是数据语义的重要组成部分,将它引入到XML的领域中 .给出的函数依赖可以是绝对的,也可以是相对的,键只是它的一种特例 .讨论了逻辑蕴涵及其相应的推理规则,并证明了推理规则集的正确性和完备性 .基于函数依赖,提出了规范化的DTD概念,并给出了一个将DTD转化为规范化形式的算法 .

关键词：函数依赖、可扩展标记语言、规范化

所属期刊栏目：41

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

资助基金：国家自然科学基金69933010;国家高技术研究发展计划863计划2002AA4Z3430

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

页数：共7页

页码：594-600