应用XSL验证XML的函数依赖

Verification of XML Functional Dependencies through XSL

为了增加语义,把关系数据库理论中的函数依赖概念引入到XML约束中.由于XML的层次结构,XML函数依赖的描述与验证比关系模型要复杂得多.就两种函数依赖类型给出了一个基于XML样式单语言(XSL)的验证算法.对于XML文档实例,应用该算法实现的XSLT程序,可以直接由Web浏览器打开,并显示出是否满足给定的函数依赖的验证结果.

The concept of functional dependency in the relational database has been introduced into the extensible markup language constraints for their semantics.Because of the hierarchical structure of XML,the description and verification of XML functional dependency are much more complex than the case in the relational database model.The authors introduce firstly the concept of functional dependency based on DTDs,and then put forward a verifying algorithm for two kinds of functional dependency.For an XML document example,the XSLT program with the algorithm described in this paper can run directily at WEB browsers,and shows whether the XML document conforms to given functional depencencies.