应用XSL验证XML的函数依赖

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

应用XSL验证XML的函数依赖

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

XML的函数依赖

为了表达引起数据冗余的XML函数依赖,研究了XML中存在的复杂的多种形式的函数依赖约束,提出了一种DTD的路径语言,对于导航和定位XML文档的内容具有较强的表达能力.提出了一套XML模式及文档的形式化描述方法,进而提出了一种XML函数依赖(XFD)的定义.与以前的XML函数依赖的定义进行比较,展示了XFD可以表达更多的XML上存在的函数依赖,可以概括以前的基于路径表达式定义的XML函数依赖的约束能力.     

XML数字签名原理及在电子商务中的应用

文章描述了利用XML数字签名技术对电子交易文档进行数字签名的过程,并结合对一个电子支付信息文档利用DSA算法进行数字签名的实例,进一步阐述了XML数字签名的生成和验证步骤,给出了XML数字签名技术在电子商务中的具体实现,最后探讨了XML数字签名技术在电子商务中的发展前景。     

一种XML文档树节点编码的动态调整算法的研究

结合局部编码思想和全局编码思想提出了一种支持动态调整的XML文档树节点编码方案,设计了节点的动态调整算法.在动态调整算法中引入了局部编码块增位的方式,有效地解决了现存编码在动态变化的XML数据的重新编码方面效率较低的问题.     

XML技术综述

作为数据表示的一个开放标准XML语言给Web应用乃至网络计算注入了新的活力.本文介绍了XML的定义,特点、相关技术标准,讨论了XML的用途及应用开发技术,探讨了XML与对象技术的协作及发展趋势.     

冗余XML模式到关系模式的规范化映射

从XML(extensible markup language)模式的语法分析冗余元素产生的原因,通过属性冗余的规范化规则消除属性冗余,元素冗余规范化算法消除元素冗余,嵌套冗余规范化算法消除嵌套冗余,从而实现XML模式到关系模式的关系映射.该算法不仅实现了一般关系的映射,而且实现了冗余XML模式到关系模式的规范化映射,具有不可逆性.     

基于XML最小覆盖算法的研究

提出了两个来自XML关键字的函数依赖的最小覆盖的计算算法。第一个算法需要花费指数级别的时间代价。第二个算法需要花费输入集合的多项式时间倍，此算法有效地计算来自XML关键字的函数依赖最小覆盖的算法。     

基于XML和J2EE的Web彩票发布系统

介绍了XML以及基于XML的3层C/S模型,分析了传统Web信息发布的缺点以及XML技术用于实现Web信息发布的优点.提出了应用XML技术实现Web信息发布的方法,给出了利用XML实现彩票发布系统的模型,并通过彩票发布实例展示了基于XML的Web信息发布的J2EE具体实现.     

基于XML和XACML的角色访问控制的实施

XML具有良好的扩展性、平台无关性、结构化数据描述能力,而XACML具有很强的访问控制策略描述能力.针对XML和XACML的特点,本文提出了使用XML和XACML实现基于角色的访问控制方案,使得RBAC系统具有了良好的灵活性、扩展性以及跨平台性.     

XML函数依赖等价的研究

近年来.人们已经提出了XML函数依赖多种定义方法.本文给出了基于树元组的XML函数依赖和基于路径的XML函数依赖的两种定义方法.一般说来,这两种方法是不可比较的,但是在DTD存在、XML文档没有信息缺失的情况下,这两种方法是可比较的, 并且是一致的.     

基于XML的产品信息建模研究

根据可扩展标记语言(XML)的基本理论,以劈柴机为实例对其物料清单数据结构进行了分析,给出了该产品的XML信息模型并进行了网络验证。     

函数依赖导致的XML路径冗余的判定和消除

XML数据冗余存在着很多种可能,其中路径冗余只是XML数据冗余的一种,消除XML数据冗余的方法也有很多种,如规范化的方法、基于函数依赖的方法等。本文将在已有研究的基础之上,结合XML层次结构特点,分析了路径冗余与XML树结构中结点之间语义约束的关系,并进一步给出了XML函数依赖（ FD）导致的数据冗余问题的判定定理及其消除算法。     

XML数据在关系数据库中存储和检索和研究和实现

论述了关系型数据库和XML数据之间的相互转换，给出了将XML数据存储在关系数据库和将存储在关系数据库的XML数据恢复的XML形式的算法，由于实际数据类型的复杂性，使用Schema来定义XML文档类型，试验结果表明算法具有较好的性能，讨论了将XML＿QL查询语句转换为SQL查询语句的设计，根据文中XML数据存储在关系型数据库中的算法，可以对XML＿QL查询语句的语法，语义进行分析以转换为相应形式的SQL语句来关系数据库中查询被存储的XML数据，并返回相应的结果集。     

XML与关系数据库相互转换中的语义约束完整性

采用Shared Inlining方法,提出基于函数依赖的XML到关系的无损映射算法,使得原XML文档的内容和结构信息及语义约束完整地映射到关系数据库中.在此基础上利用外键连接与路径映射规则,提出基于语义约束的关系模式向XML模式的转换算法,以重构出原XML文档.提出的新观点是：映射得到的关系或XML文档的范式不但与映射算法有关,而且与XML文档或关系的规范化程度有关.定义了XML范式,提出XML文档与关系的相互转换中XML范式与关系范式对应关系的相关命题,并给出了相应证明.     

基于XML的协议健壮性测试工具研究与设计

协议健壮性测试是提前规避畸形报文攻击导致设备安全问题的一种有效方式.着重介绍了协议的健壮性,以及协议健壮性测试方法.通过设计一个基于XML的协议健壮性测试工具,并在验证测试中发现网络设备中存在的一些安全漏洞,证明了该设计方法及实现的有效性.     

空值环境下XML函数依赖的研究

空值环境下的XML函数依赖是XML数据库理论和应用中的一类新的问题.本文首先给出空值环境下XML全树元组等价、全树元组相容、元素节点相等、元素节点相容和元素节点等价等概念,根据XML树型结构本身的特点.给出了空值环境下XML函数依赖的两个满足条件.     

基于DTD路径编码的XML逻辑蕴涵问题研究

由于DTD的复杂性,使得XFD的逻辑蕴涵问题研究比较困难.为了解决该问题,本文在M.Arenas等人给定的XFD定义基础上,提出了一种DTD路径编码方法,对它的性质进行了分析.编码后的DTD消除了部分XML平凡函数依赖,并能在线性时间内对XML函数依赖的逻辑蕴涵问题进行判定.提出了一个将XFD中的编码路径重新映射到DTD路径的算法,证明了它的正确性.     

XML语言及其扩展为Web提供全新的信息表示与处理技术

本对当今正在兴起的一种新的可扩展标记语言XML作了概述,在此基础上,结合实例讨论了与XML相关的扩展语言的功能,包括名域、查询和链接、XML Schema、可扩展样式表语言（SXL）等,最后说明了与XML有关的开发活动。     

XML局部函数依赖

函数依赖在关系数据库中起着基本的作用，尤其是用在完整性约束和数据库设计方面。同样地，这些约束在中XML也起基本的作用。近年来已定义了XML上的函数依赖。本文扩展了在XML中函数依赖以前的定义，使之成为XML局部函数依赖；同时给出了局部函数依赖的推理规则。