应用XSL验证XML的函数依赖  

Verification of XML Functional Dependencies through XSL

作　　者：胡立辉[1] 李波[1] 张宏[1] 

机构地区：[1]长沙理工大学计算机与通信工程学院,湖南长沙410076

出　　处：《长沙理工大学学报（自然科学版）》2004年第3期69-73,共5页Journal of Changsha University of Science and Technology:Natural Science

摘　　要：为了增加语义,把关系数据库理论中的函数依赖概念引入到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.

关 键 词：XSL 可扩展样式单语言 XML 可扩展标记语言 函数依赖 关系数据库 

分 类 号：TP311.132.3[自动化与计算机技术—计算机软件与理论]