DTD的规范化

作     者：谈子敬 施伯乐 

作者机构：复旦大学计算机与信息技术系上海200433 

基　　金：国家自然科学基金重点项目 (6993 3 0 10 ) 国家"八六三"高技术研究发展计划基金项目 (2 0 0 2AA4Z3 43 0 ) 

出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)

年 卷 期：2004年第41卷第4期

页      码：594-600页

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

主 题 词：函数依赖 可扩展标记语言 规范化 

学科分类：0810[工学-土木类] 0808[工学-自动化类] 0839[0839] 08[工学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 081202[081202] 

核心收录：

馆 藏 号：203310158...