DTD的规范化

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:wangwenhu8
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
一个设计良好的DTD对于XML应用来说是必须的,从消除文档内数据冗余的角度出发研究了这一问题 .函数依赖是数据语义的重要组成部分,将它引入到XML的领域中 .给出的函数依赖可以是绝对的,也可以是相对的,键只是它的一种特例 .讨论了逻辑蕴涵及其相应的推理规则,并证明了推理规则集的正确性和完备性 .基于函数依赖,提出了规范化的DTD概念,并给出了一个将DTD转化为规范化形式的算法 .
其他文献
提出了定性映射诱导的属性计算网络,讨论了属性计算网络中定性基准的学习和反馈调节机制,给出了相应的调节算法,并给出了属性计算网络在模式识别中的应用实例.
本文将功的互等定理法(MRT)推广于求解线性分布简谐干扰力和X方向力矩作用下支板的稳态响应,给出了封闭解和有实用价值的图表。
目的建立一种先天性显性脊椎裂胎鼠宫内干细胞移植的新方法。方法选择孕16、17、18天的雌性大鼠各30、30、26只,制备先天性显性脊椎裂胎鼠模型。采用胎仔外科、显微外科和显
针对自主访问控制模型在数据库系统的安全缺陷,提出了多级安全DBMS的强制存取控制模型,对元组级安全标记、标签安全、隐蔽通道、多实例进行了探讨.该模型把安全级分为一分层
唐山一家企业想从人才市场上找一位研究生担当某项食品开发重任,但因薪水待遇问题没找到合适人选。公司管理人员无奈地说:“眼下食品开发人才十分紧俏,身价也高,如果长期聘用,像我
世界知名跨国公司都是在世界上处于领先地位的企业,在选人用人上也不例外,除了一些共性的条件外,他们有着各自独特的要求和标准。