基于Schema标准的XML函数依赖及推理规则

Functional Dependency and Inference Rules for XML Based on Schema

针对DTD标准的一些局限性,国际互联网联盟推出了Schema标准.通过分析DTD标准和Schema标准的不同之处,并参考基于DTD标准的XML函数依赖的相关研究,提出了Schema的形式化定义等一系列基础概念,给出了基于Schema标准的XML函数依赖定义以及它的推理规则集,有助于规范化XML文档和今后的研究工作.

On account of certain shortage of DTD, World Wide Web Consortium proposed XML Schema. By analyzing the difference between DTD and Schema, and referring to the pertinent researches of functional dependency for XML based on DTD, a series of basic concepts such as the formulation of Schema are given, as well as functional dependency for XML based on Schema and its inference rules, which is helpful to normalizing XML documents and future work.