| DTD的规范化 |
| |
| 引用本文： | 谈子敬,施伯乐. DTD的规范化[J]. 计算机研究与发展, 2004, 41(4): 594-600 |
| |
| 作者姓名： | 谈子敬 施伯乐 |
| |
| 作者单位： | 复旦大学计算机与信息技术系,上海,200433;复旦大学计算机与信息技术系,上海,200433 |
| |
| 基金项目： | 国家自然科学基金重点项目 (6993 3 0 10 )，国家“八六三”高技术研究发展计划基金项目 (2 0 0 2AA4Z3 43 0 ) |
| |
| 摘 要： | 一个设计良好的DTD对于XML应用来说是必须的，从消除文档内数据冗余的角度出发研究了这一问题。函数依赖是数据语义的重要组成部分，将它引入到XML的领域中。给出的函数依赖可以是绝对的，也可以是相对的，键只是它的一种特例。讨论了逻辑蕴涵及其相应的推理规则，并证明了推理规则集的正确性和完备性。基于函数依赖，提出了规范化的DTD概念，并给出了一个将DTD转化为规范化形式的算法。
|
| 关 键 词： | 函数依赖 可扩展标记语言 规范化 |
Normalization for DTD |
| |
| TAN Zi Jing and SHI Bai Le. Normalization for DTD[J]. Journal of Computer Research and Development, 2004, 41(4): 594-600 |
| |
| Authors: | TAN Zi Jing and SHI Bai Le |
| |
| Abstract: | A well designed DTD is very important for XML applications, which should avoid the occurrence of redundant information in documents In this paper XML is extended with functional dependencies, which are fundamental to semantic specification The functional dependency here can be both absolute and relative, and the key is just a special case of it The definition of logical implication is studied and a sound and complete set of inference rules are presented Based on functional dependency, the concept of normalized DTD is defined and an algorithm for converting DTD into a corresponding normalized one is provided |
| |
| Keywords: | functional dependency XML normalization |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
